diff options
| author | Iain McGinniss <iainmcgin@gmail.com> | 2013-02-21 23:25:07 +0000 |
|---|---|---|
| committer | Iain McGinniss <iainmcgin@gmail.com> | 2013-02-21 23:25:07 +0000 |
| commit | 8f1bd7f322078b7143c0f0fe3dab33753475e016 (patch) | |
| tree | e9963d59219d593b5d02fdd4c4f50e9499f38f29 | |
| parent | 9cee3832d2285c562c3aa88f9c0c847f6f9e1ef5 (diff) | |
| download | scala-8f1bd7f322078b7143c0f0fe3dab33753475e016.tar.gz scala-8f1bd7f322078b7143c0f0fe3dab33753475e016.tar.bz2 scala-8f1bd7f322078b7143c0f0fe3dab33753475e016.zip | |
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.
| -rw-r--r-- | 05-types.md | 7 |
1 files 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} |