From 8f1bd7f322078b7143c0f0fe3dab33753475e016 Mon Sep 17 00:00:00 2001
From: Iain McGinniss <iainmcgin@gmail.com>
Date: Thu, 21 Feb 2013 23:25:07 +0000
Subject: Over-wide line fix for types grammar

The ExistentialClause definition was slightly too large to
fit within the text width of the PDF, so a manual line break
has been added.
---
 05-types.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/05-types.md b/05-types.md
index 1d6fe8579f..cad806eeeb 100644
--- a/05-types.md
+++ b/05-types.md
@@ -4,9 +4,10 @@ Types
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ {.grammar}
   Type              ::=  FunctionArgTypes ‘=>’ Type
                       |  InfixType [ExistentialClause]
-  FunctionArgTypes  ::= InfixType
-                      | ‘(’ [ ParamType {‘,’ ParamType } ] ‘)’
-  ExistentialClause ::=  ‘forSome’ ‘{’ ExistentialDcl {semi ExistentialDcl} ‘}’
+  FunctionArgTypes  ::=  InfixType
+                      |  ‘(’ [ ParamType {‘,’ ParamType } ] ‘)’
+  ExistentialClause ::=  ‘forSome’ ‘{’ ExistentialDcl 
+                             {semi ExistentialDcl} ‘}’
   ExistentialDcl    ::=  ‘type’ TypeDcl 
                       |  ‘val’ ValDcl
   InfixType         ::=  CompoundType {id [nl] CompoundType}
-- 
cgit v1.2.3