Skip to content

Underscores in constructors #10

mvarela opened this Issue Jan 19, 2012 · 3 comments

2 participants

mvarela commented Jan 19, 2012

Hi, I believe this is a bug in lhs2Tex-hl.
When there is an underscore in a constructor declaration, e.g.:

data FOO = Bar_A | Bar_B

the formatting generated is

%format Bar_A = " {\lhsCHconstructor{Bar_{A}}}"

which causes LaTeX to choke, as the underscore is not in a math environment.
Maybe outputting an escaped underscore

%format Bar_A = " {\lhsCHconstructor{Bar\_{A}}}"

or formatting the whole thing as a subscript

%format Bar_A = " {\lhsCHconstructor{Bar$_{A}$}}"

would be possible solutions.


mvarela commented Jan 19, 2012

Btw, uncommenting line 14 in Language/LaTeX.hs seems to make it work, though I haven't been able to test whether it breaks something else.

. replace "_" "\\_"

spockz commented Jan 19, 2012

The idea is that the system takes care of some formatting for you when you insert a _. Apparently that is broken now, I will look into it.

mvarela commented Jan 19, 2012

Ok, I had understood that from the documentation as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.