Commit 60699e12 authored by Joachim Breitner's avatar Joachim Breitner

Fix LaTeX in core-spec

where d49b2bb2 introduced some TeX
breakage, and re-generate core-spec.pdf.
parent 765a2e71
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment