aboutsummaryrefslogtreecommitdiff
path: root/latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-07-20 04:50:00 -0700
committerAlexander Biehl <alexbiehl@gmail.com>2018-07-20 13:50:00 +0200
commitf3e76a50eec28d17ddd0fe8e965c15c19c4ef3cf (patch)
tree8e32e6e12b45ce35be502e3b67fbb061175a18b2 /latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex
parent8ac6ac1097f2ec2bc9a7f9bdd765abf71164bfcb (diff)
Misc tests (#858)
* More tests * spliced types * constructor/pattern argument docs * strictness marks on fields with argument docs * latex test cases need seperate directory * Accept tests
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex')
-rw-r--r--latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex25
1 files changed, 25 insertions, 0 deletions
diff --git a/latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex b/latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex
new file mode 100644
index 00000000..7aaf5512
--- /dev/null
+++ b/latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex
@@ -0,0 +1,25 @@
+\haddockmoduleheading{GadtConstructorArgs}
+\label{module:GadtConstructorArgs}
+\haddockbeginheader
+{\haddockverb\begin{verbatim}
+module GadtConstructorArgs (
+ Boo(Fot, Fob, x, y, w, z)
+ ) where\end{verbatim}}
+\haddockendheader
+
+\begin{haddockdesc}
+\item[\begin{tabular}{@{}l}
+data\ Boo\ where
+\end{tabular}]\haddockbegindoc
+\enspace \emph{Constructors}\par
+\haddockbeginconstrs
+& \haddockdecltt{Fot} & \\
+ & \qquad \haddockdecltt{:: \{} \enspace \haddockdecltt{x :: Int} & an \haddockid{x} \\
+ & \qquad \haddockdecltt{\ \ \ \ ,} \enspace \haddockdecltt{y :: Int} & a \haddockid{y} \\
+ & \qquad \haddockdecltt{\ \ \ \ \} ->} \enspace \haddockdecltt{Boo} & \\
+& \haddockdecltt{Fob} & Record GADT with docs \\
+ & \qquad \haddockdecltt{:: \{} \enspace \haddockdecltt{w :: Int} & a \haddockid{w} \\
+ & \qquad \haddockdecltt{\ \ \ \ ,} \enspace \haddockdecltt{z :: Int} & a \haddockid{z} \\
+ & \qquad \haddockdecltt{\ \ \ \ \} ->} \enspace \haddockdecltt{Boo} & a \haddockid{Boo} \\
+\end{tabulary}\par
+\end{haddockdesc} \ No newline at end of file