[commit: ghc] master: Fix LaTeX in core-spec (60699e1)
git at git.haskell.org
git at git.haskell.org
Tue Apr 18 20:19:28 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/60699e120bfd3455fbdb957b28667e6ba9b4df0a/ghc
>---------------------------------------------------------------
commit 60699e120bfd3455fbdb957b28667e6ba9b4df0a
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Tue Apr 18 16:18:33 2017 -0400
Fix LaTeX in core-spec
where d49b2bb21691892ca6ac8f2403e31f2a5e53feb3 introduced some TeX
breakage, and re-generate core-spec.pdf.
>---------------------------------------------------------------
60699e120bfd3455fbdb957b28667e6ba9b4df0a
docs/core-spec/core-spec.mng | 2 +-
docs/core-spec/core-spec.pdf | Bin 348416 -> 349621 bytes
2 files changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng
index 623ba0e..0b147f9 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
index a06ffd0..f45e871 100644
Binary files a/docs/core-spec/core-spec.pdf and b/docs/core-spec/core-spec.pdf differ
More information about the ghc-commits
mailing list