From 0cf2a631e8d51d59096faeb9497da85baf80d925 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
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

