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 | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'tests/lhs-test.latex') diff --git a/tests/lhs-test.latex b/tests/lhs-test.latex index d34c21090..f8851900a 100644 --- a/tests/lhs-test.latex +++ b/tests/lhs-test.latex @@ -5,6 +5,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} @@ -12,7 +13,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{verbatim} @@ -20,9 +21,9 @@ unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d unsplit = arr . uncurry -- arr (\op (x,y) -> x `op` y) \end{verbatim} -\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