search

spockz / lhs2texhl

http://alessandrovermeulen.me/lhs2texhl
MIT License
4 stars 2 forks source link

8000.0 :: Float is displayed as "8000 % 1" #1

Closed spockz closed 13 years ago

spockz commented 13 years ago

8000.0 :: Float is displayed as "8000 % 1"

spockz commented 13 years ago

The tool does not generate any formatting statements for literals anymore. Use the substitution directives provided by lhs2TeX, i.e.:

%subst char a        = "\color{char}\text{\tt ''" a "''}"
%subst string a      = "\color{string}\text{\tt \char34 " a "\char34}"
%subst numeral a   =  "\color{numeral}{ " a " }"