aboutsummaryrefslogtreecommitdiff
path: root/latex-test/ref/LinearTypes
diff options
context:
space:
mode:
Diffstat (limited to 'latex-test/ref/LinearTypes')
-rw-r--r--latex-test/ref/LinearTypes/LinearTypes.tex26
1 files changed, 13 insertions, 13 deletions
diff --git a/latex-test/ref/LinearTypes/LinearTypes.tex b/latex-test/ref/LinearTypes/LinearTypes.tex
index d02b6aa7..cb583ca8 100644
--- a/latex-test/ref/LinearTypes/LinearTypes.tex
+++ b/latex-test/ref/LinearTypes/LinearTypes.tex
@@ -3,28 +3,28 @@
\haddockbeginheader
{\haddockverb\begin{verbatim}
module LinearTypes (
- unrestricted, linear, poly
+ unrestricted, linear, poly
) where\end{verbatim}}
\haddockendheader
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
-unrestricted\ ::\ a\ ->\ b
-\end{tabular}]\haddockbegindoc
-Does something unrestricted.\par
-
+unrestricted :: a -> b
+\end{tabular}]
+{\haddockbegindoc
+Does something unrestricted.\par}
\end{haddockdesc}
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
-linear\ ::\ a\ {\char '45}1\ ->\ b
-\end{tabular}]\haddockbegindoc
-Does something linear.\par
-
+linear :: a {\char '45}1 -> b
+\end{tabular}]
+{\haddockbegindoc
+Does something linear.\par}
\end{haddockdesc}
\begin{haddockdesc}
\item[\begin{tabular}{@{}l}
-poly\ ::\ a\ {\char '45}m\ ->\ b
-\end{tabular}]\haddockbegindoc
-Does something polymorphic.\par
-
+poly :: a {\char '45}m -> b
+\end{tabular}]
+{\haddockbegindoc
+Does something polymorphic.\par}
\end{haddockdesc} \ No newline at end of file