diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-01-29 18:41:07 +0100 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-01-29 18:41:07 +0100 |
| commit | 9f58cecad296b268d25eb5519bc274493e4a8164 (patch) | |
| tree | 1a12e2aa1b5312b13621147976a967dd63214255 | |
| parent | 24669fe3c033da8dafb2d547cc9f866b7b29d592 (diff) | |
| download | haskell-9f58cecad296b268d25eb5519bc274493e4a8164.tar.gz | |
Fix glitch in core-spec pdf
| -rw-r--r-- | docs/core-spec/core-spec.mng | 4 | ||||
| -rw-r--r-- | docs/core-spec/core-spec.pdf | bin | 339498 -> 339274 bytes |
2 files changed, 3 insertions, 1 deletions
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng index 4e134e0854..28540ac8e9 100644 --- a/docs/core-spec/core-spec.mng +++ b/docs/core-spec/core-spec.mng @@ -75,7 +75,9 @@ We also leave abstract the function \coderef{basicTypes/Literal.lhs}{literalType and the judgment \coderef{coreSyn/CoreLint.lhs}{lintTyLit} (written $[[G |-tylit lit : k]]$). \subsection{Variables} - +\enlargethispage{10pt} % without this first line of "z" definition is placed on + % second page and it becomes the only line of text on that + % page, resulting in whole page being empty. GHC uses the same datatype to represent term-level variables and type-level variables: diff --git a/docs/core-spec/core-spec.pdf b/docs/core-spec/core-spec.pdf Binary files differindex b9a9f4ba12..5d9f29c58b 100644 --- a/docs/core-spec/core-spec.pdf +++ b/docs/core-spec/core-spec.pdf |