Fix glitch in core-spec pdf
authorJan Stolarek <jan.stolarek@p.lodz.pl>
Wed, 29 Jan 2014 17:41:07 +0000 (18:41 +0100)
committerJan Stolarek <jan.stolarek@p.lodz.pl>
Wed, 29 Jan 2014 17:41:07 +0000 (18:41 +0100)
docs/core-spec/core-spec.mng
docs/core-spec/core-spec.pdf

index 4e134e0..28540ac 100644 (file)
@@ -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:
 
index b9a9f4b..5d9f29c 100644 (file)
Binary files a/docs/core-spec/core-spec.pdf and b/docs/core-spec/core-spec.pdf differ