diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syntax-summary.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/syntax-summary.txt b/docs/syntax-summary.txt index 04e149de6..fe0ebc89c 100644 --- a/docs/syntax-summary.txt +++ b/docs/syntax-summary.txt @@ -95,8 +95,8 @@ grammar. | [id '.'] `super' [ClassQualifier] `.' id ClassQualifier ::= `[' id `]' - Type ::= FunArgTypes `=>' Type Function(ts, t) - | HkTypeParamClause `=>' Type TypeLambda(ps, t) + Type ::= [`implicit'] FunArgTypes `=>' Type Function(ts, t) + | HkTypeParamClause `=>' Type TypeLambda(ps, t) | InfixType FunArgTypes ::= InfixType | `(' [ FunArgType {`,' FunArgType } ] `)' |