search

kosmikus / lhs2tex

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

Problem with data definition #12

Closed toothbrush closed 12 years ago

toothbrush commented 12 years ago

Maybe I'm doing something stupid here, but the following breaks:

\documentclass{beamer}
%include lhs2TeX.fmt

\begin{document}

\begin{frame}
\begin{spec}
data E   = Var N
         | Lam (Bind N E)
         | App E E
\end{spec}
\end{frame}
\end{document}
toothbrush commented 12 years ago

Never mind, solved it. I needed to 


%include beamer.fmt
kosmikus commented 12 years ago

That doesn't solve it. What solves it is to

%include polycode.fmt

which you should do anyway. This is also an FAQ. The answer is in the documentation.

toothbrush commented 12 years ago

Hm, that did indeed creep into my code at some point, not sure where. I'll head to the FAQ sooner in future, I guess.

On Sun, Dec 11, 2011 at 06:48:59 -0800, quoth kosmikus:

That doesn't solve it. What solves it is to

include polycode.fmt

which you should do anyway. This is also an FAQ. The answer is in the documentation.

Reply to this email directly or view it on GitHub: https://github.com/kosmikus/lhs2tex/issues/12#issuecomment-3097494