Update spec for lambda params

scala · Feb 26, 2023 · c05c1ba · c05c1ba
1 parent abb224a
commit c05c1ba
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/spec/06-expressions.md b/spec/06-expressions.md
@@ -1182,8 +1182,8 @@ for  `try { try { ´b´ } catch ´e_1´ } finally ´e_2´`.
 ## Anonymous Functions
 
 ```ebnf
-Expr            ::=  (Bindings | [‘implicit’] id | ‘_’) ‘=>’ Expr
-ResultExpr      ::=  (Bindings | ([‘implicit’] id | ‘_’) ‘:’ CompoundType) ‘=>’ Block
+Expr            ::=  (Bindings | [‘implicit’] (id | ‘_’) [‘:’ CompoundType]) ‘=>’ Expr
+ResultExpr      ::=  (Bindings | [‘implicit’] (id | ‘_’) [‘:’ CompoundType]) ‘=>’ Block
 Bindings        ::=  ‘(’ Binding {‘,’ Binding} ‘)’
 Binding         ::=  (id | ‘_’) [‘:’ Type]
 ```

diff --git a/spec/13-syntax-summary.md b/spec/13-syntax-summary.md
@@ -144,7 +144,7 @@ grammar:
                       |  ‘:’ Annotation {Annotation}
                       |  ‘:’ ‘_’ ‘*’
 
-  Expr              ::=  (Bindings | [‘implicit’] id | ‘_’) ‘=>’ Expr
+  Expr              ::=  (Bindings | [‘implicit’] (id | ‘_’) [‘:’ CompoundType]) ‘=>’ Expr
                       |  Expr1
   Expr1             ::=  ‘if’ ‘(’ Expr ‘)’ {nl} Expr [[semi] ‘else’ Expr]
                       |  ‘while’ ‘(’ Expr ‘)’ {nl} Expr
@@ -188,7 +188,7 @@ grammar:
                       |  Expr1
                       |
   ResultExpr        ::=  Expr1
-                      |  (Bindings | ([‘implicit’] id | ‘_’) ‘:’ CompoundType) ‘=>’ Block
+                      |  (Bindings | [‘implicit’] (id | ‘_’) [‘:’ CompoundType]) ‘=>’ Block
 
   Enumerators       ::=  Generator {semi Generator}
   Generator         ::=  [‘case’] Pattern1 ‘<-’ Expr {[semi] Guard | semi Pattern1 ‘=’ Expr}