How to highlight particular ranges of lhs2TeX code in beamer?
Naive example (to be preprocessed with lhs2TeX --agda
):
\documentclass{beamer}
%include agda.fmt
\begin{document}
\begin{frame}
\begin{spec}
somefunction : {-"\begin{alertenv}"-}importantaspect{-"\end{alertenv}"-}
secondline
\end{spec}
\end{frame}
\end{document}
Compiling such a snippet fails with:
./test.tex:308: Incompatible glue units.
\reset@color ->\beamer@lastskip =\lastskip
\edef \beamer@lastskiptexta {\the...
l.308 \end{frame}