diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2017-04-18 16:18:33 -0400 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2017-04-18 16:18:58 -0400 |
| commit | 60699e120bfd3455fbdb957b28667e6ba9b4df0a (patch) | |
| tree | a45f3f6bcbcce681257034c3ccadd96f2bafea98 | |
| parent | 765a2e71f3dcc35fbe4b70677a67613c285dce60 (diff) | |
| download | haskell-60699e120bfd3455fbdb957b28667e6ba9b4df0a.tar.gz | |
Fix LaTeX in core-spec
where d49b2bb21691892ca6ac8f2403e31f2a5e53feb3 introduced some TeX
breakage, and re-generate core-spec.pdf.
| -rw-r--r-- | docs/core-spec/core-spec.mng | 2 | ||||
| -rw-r--r-- | docs/core-spec/core-spec.pdf | bin | 348416 -> 349621 bytes |
2 files changed, 1 insertions, 1 deletions
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng index 623ba0e596..0b147f9c23 100644 --- a/docs/core-spec/core-spec.mng +++ b/docs/core-spec/core-spec.mng @@ -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 diff --git a/docs/core-spec/core-spec.pdf b/docs/core-spec/core-spec.pdf Binary files differindex a06ffd07df..f45e8711b1 100644 --- a/docs/core-spec/core-spec.pdf +++ b/docs/core-spec/core-spec.pdf |