search

mlutze / pub-utils

1 stars 0 forks source link

encoding error on Windows #18

Open mlutze opened 1 year ago

mlutze commented 1 year ago 
@inproceedings{madsen2023c,
  title       = {Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism},
  author      = {Magnus Madsen and Jaco van de Pol},
  year        = {2023},
  publisher   = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  doi         = {10.4230/LIPICS.ECOOP.2023.18},
  url         = {https://drops.dagstuhl.de/opus/volltexte/2023/18211/},
  keywords    = {type and effect systems, purity reflection, lazy evaluation, parallel evaluation, Theory of computation → Program semantics},
  language    = {en},
  copyright   = {Creative Commons Attribution 4.0 International license}
}

causes

UnicodeEncodeError: 'charmap' codec can't encode character '\u2192' in position 16853: character maps to <undefined>

on windows, due to the arrow being encoded poorly

mlutze commented 1 year ago

https://stackoverflow.com/questions/27092833/unicodeencodeerror-charmap-codec-cant-encode-characters