The following SDF2:

context-free syntax
    "\t" -> Tab {cons("Tab")}

is lifted by SDF3-coq-semantics Lift to SDF3 (templates) to (with a tab character between the angled brackets):

context-free syntax
    Tab.Tab = < >

which generates this this SDF2:

context-free syntax
      -> Tab {cons("Tab")}

I believe it should lift to this:

context-free syntax
    Tab.Tab = "\t"

In general, layout (or escaped layout characters) that have been written explicitly between double quotes shouldn’t be turned into templates.
The following SDF2 productions have the same issue:

context-free syntax
    " " -> Space {cons("Space")}
    "\n" -> Newline {cons("Newline")}

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