Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

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.
  • Loading branch information...
commit 8f1bd7f322078b7143c0f0fe3dab33753475e016 1 parent 9cee383
@iainmcgin iainmcgin authored
Showing with 4 additions and 3 deletions.
  1. +4 −3 05-types.md
View
7 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}
Please sign in to comment.
Something went wrong with that request. Please try again.