From 0cf2a631e8d51d59096faeb9497da85baf80d925 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 22 Jul 2011 12:19:34 -0700 Subject: LaTeX writer: Use \texttt and escapes instead of \verb!..!. \verb is simply too fragile; it doesn't work inside command arguments. --- tests/lhs-test.latex+lhs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'tests/lhs-test.latex+lhs') diff --git a/tests/lhs-test.latex+lhs b/tests/lhs-test.latex+lhs index 29237f820..6222866ea 100644 --- a/tests/lhs-test.latex+lhs +++ b/tests/lhs-test.latex+lhs @@ -7,6 +7,7 @@ \usepackage[breaklinks=true,unicode=true,pdfborder={0 0 0}]{hyperref} \setlength{\parindent}{0pt} \setlength{\parskip}{6pt plus 2pt minus 1pt} +\setlength{\emergencystretch}{3em} -- prevent overfull lines \setcounter{secnumdepth}{0} @@ -14,7 +15,7 @@ \section{lhs test} -\verb!unsplit! is an arrow that takes a pair of values and combines them to +\texttt{unsplit} is an arrow that takes a pair of values and combines them to return a single value: \begin{code} @@ -22,9 +23,9 @@ unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d unsplit = arr . uncurry -- arr (\op (x,y) -> x `op` y) \end{code} -\verb!(***)! combines two arrows into a new arrow by running the two arrows on -a pair of values (one arrow on the first item of the pair and one arrow on the -second item of the pair). +\texttt{(***)} combines two arrows into a new arrow by running the two arrows +on a pair of values (one arrow on the first item of the pair and one arrow on +the second item of the pair). \begin{verbatim} f *** g = first f >>> second g -- cgit v1.2.3