search

kosmikus / lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX
Other
99 stars 28 forks source link

Handle DataKinds tick #45

Open phadej opened 8 years ago

phadej commented 8 years ago

~First two commits are related to now deprecated \tt and \bf which break hard with some config.~ edit: cherry-picked https://www.tug.org/pipermail/tex-live/2016-July/038990.html

The second, tries to be more strict while parsing characters, so DataKinds could be parsed:

With

%format ':  = "\mathbin{{}^\backprime{}\!\!:}" 
%format '[  = "{}^\backprime["

I get something like screen shot 2016-09-05 at 12 01 20

Not super pretty, but at least not b0rked.

asr commented 6 years ago

I got the following error when installing upstream

$ cabal install
...
! Class scrartcl Error: undefined old font command `\bf'.

See the scrartcl class documentation for explanation.
Type  H <return>  for immediate help.
 ...                                              

l.333 

?

It seems this PR fix this problem, so could you merge it, please.

kosmikus commented 6 years ago

@phadej I cherry-picked the bf/tt changes to make a new release that builds with current TeX installations. Thanks.

phadej commented 6 years ago

rebased on top of current master.

EDIT I'm 100% sure I saw some paper with a \backprime in DataKinds code. I wonder if they used lhs2TeX or not... (but I don't remember what paper it was)