search

kosmikus / lhs2tex

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

Line pragmas incorrect for subsequent code / spec blocks #81

Closed kosmikus closed 4 years ago

kosmikus commented 4 years ago

Input:

%include lhs2TeX.fmt

> x
> y

> z

Output:

{-# LINE 3 "lineno-test.lhs" #-}
  x
  y
{-# LINE 7 "lineno-test.lhs" #-}
  z

But z is on line 6, not 7.