diff options
author | John MacFarlane <jgm@berkeley.edu> | 2011-07-22 12:19:34 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2011-07-22 12:19:34 -0700 |
commit | 0cf2a631e8d51d59096faeb9497da85baf80d925 (patch) | |
tree | 3a3110bc5276eae321f29c7dab5988b65d610ca0 /tests/lhs-test.latex+lhs | |
parent | e3e9225ab3229548a40b2e93caec4ee44088a759 (diff) |
LaTeX writer: Use \texttt and escapes instead of \verb!..!.
\verb is simply too fragile; it doesn't work inside command
arguments.
Diffstat (limited to 'tests/lhs-test.latex+lhs')
-rw-r--r-- | tests/lhs-test.latex+lhs | 9 |
1 files changed, 5 insertions, 4 deletions
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 |