aboutsummaryrefslogtreecommitdiff
path: root/latex-test/src/Example
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-09-09 14:25:57 -0700
committerAlec Theriault <alec.theriault@gmail.com>2019-03-09 11:22:55 -0800
commitae23b4f25a972620686617b5aab5375d5046b1c9 (patch)
treef6400b0853050caf7d54ec8945caf36ff78dd811 /latex-test/src/Example
parent747dfc712bd516b76342f2e17dada7a64d43c778 (diff)
Many LaTeX backend fixes
After this commit, we can run with `--latex` on all boot libraries without crashing (although the generated LaTeX still fails to compile in a handful of larger packages like `ghc` and `base`). * Add newlines after all block elements in LaTeX. This is important to prevent the final output from being more an more indented. See the `latext-test/src/Example` test case for a sample of this. * Support associated types in class declarations (but not yet defaults) * Several small issues for producing compiling LaTeX; - avoid empy `\haddockbeginargs` lists (ex: `type family Any`) - properly escape identifiers depending on context (ex: `Int#`) - add `vbox` around `itemize`/`enumerate` (so they can be in tables) * Several spacing fixes: - limit the width of `Pretty`-arranged monospaced code - cut out extra space characters in export lists - only escape spaces if there are _multiple_ spaces - allow type signatures to be multiline (even without docs) * Remove uninteresting and repetitive `main.tex`/`haddock.sty` files from `latex-test` test reference output. Fixes #935, #929 (LaTeX docs for `text` build & compile) Fixes #727, #930 (I think both are really about type families...)
Diffstat (limited to 'latex-test/src/Example')
-rw-r--r--latex-test/src/Example/Example.hs11
1 files changed, 11 insertions, 0 deletions
diff --git a/latex-test/src/Example/Example.hs b/latex-test/src/Example/Example.hs
new file mode 100644
index 00000000..42ff1646
--- /dev/null
+++ b/latex-test/src/Example/Example.hs
@@ -0,0 +1,11 @@
+module Example where
+
+-- | Example use.
+--
+-- >>> split 1
+-- ()
+--
+-- >>> split 2
+-- ()
+split :: Int -> ()
+split _ = ()