The following SDF2:

context-free syntax
    "\\~" -> JSPart{cons("JSTilde")}

is lifted by SDF3-coq-semantics’ Lift to SDF3 (templates) to:

context-free syntax
    JSPart.JSTilde = <\~>

which has a syntax error on the backslash and generates this this SDF2:

context-free syntax
    -> JSPart {cons("JSTilde")}

I believe it should lift to this, with a double backslash:

context-free syntax
    JSPart.JSTilde = <\\~>

Submitted by D. Pelsmaeker on 31 July 2014 at 10:38