Fix LaTeX in core-spec
authorJoachim Breitner <mail@joachim-breitner.de>
Tue, 18 Apr 2017 20:18:33 +0000 (16:18 -0400)
committerJoachim Breitner <mail@joachim-breitner.de>
Tue, 18 Apr 2017 20:18:58 +0000 (16:18 -0400)
where d49b2bb21691892ca6ac8f2403e31f2a5e53feb3 introduced some TeX
breakage, and re-generate core-spec.pdf.

docs/core-spec/core-spec.mng
docs/core-spec/core-spec.pdf

index 623ba0e..0b147f9 100644 (file)
@@ -101,7 +101,7 @@ There are a few key invariants about expressions:
 \begin{itemize}
 \item The right-hand sides of all top-level and recursive $[[let]]$s
 must be of lifted type, with one exception: the right-hand side of a top-level
-$[[let]]$ may be of type \texttt{Addr#} if it's a primitive string literal.
+$[[let]]$ may be of type \texttt{Addr\#} if it's a primitive string literal.
 See \verb|#top_level_invariant#| in \ghcfile{coreSyn/CoreSyn.hs}.
 \item The right-hand side of a non-recursive $[[let]]$ and the argument
 of an application may be of unlifted type, but only if the expression
index a06ffd0..f45e871 100644 (file)
Binary files a/docs/core-spec/core-spec.pdf and b/docs/core-spec/core-spec.pdf differ