impl of EnvDisplay for LispKind prints extra backslashes.

digama0 / mm0

Metamath Zero specification language

Creative Commons Zero v1.0 Universal

315 stars 40 forks source link

impl of EnvDisplay for LispKind prints extra backslashes. #42

Closed ammkrn closed 4 years ago

ammkrn commented 4 years ago

I'm on d916d7.

mwe:

do {
  (print "rare banana")
};

the LSP output (both the hover, and the text that appears in the problems output) shows "\ra\re ba\na\na"

Removing the extra backslashes in the format strings seems to work fine, but I'm not sure whether that would interfere with the escape facilities you want to provide.