Problem with parsing apostrophes
en utilisant la version polymorphe de CDuce:
opam pin add cduce-types
'git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce#polymorphic'
opam pin add cduce
'git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce#polymorphic'
on a un problème avec les apostrophes:
CDuce version 0.6.0-251-g97158a7b
# let nobreakspace = '\8239;' ;;
Characters 26-27:
Parsing error: Illegal character : '
Par contre ceci n'arrive pas avec la version monomorphe: