From 7320ca34aad20a1c47715d265a85da7274b0eaf4 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 2 Sep 2004 16:19:06 +0000
Subject: *** empty log message ***

---
 doc/reference/ReferencePartAppendix.tex | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'doc/reference/ReferencePartAppendix.tex')

diff --git a/doc/reference/ReferencePartAppendix.tex b/doc/reference/ReferencePartAppendix.tex
index a7a100699d..f5f6a74c78 100644
--- a/doc/reference/ReferencePartAppendix.tex
+++ b/doc/reference/ReferencePartAppendix.tex
@@ -76,6 +76,7 @@ grammar.
                     |  [SimpleExpr `.'] id `=' Expr
                     |  SimpleExpr ArgumentExprs `=' Expr
                     |  PostfixExpr [`:' Type1]
+                    |  MethodClosure
   PostfixExpr     ::=  InfixExpr [id]
   InfixExpr       ::=  PrefixExpr
                     |  InfixExpr id PrefixExpr
@@ -89,8 +90,9 @@ grammar.
                     |  SimpleExpr TypeArgs
                     |  SimpleExpr ArgumentExprs
                     |  XmlExpr
-  ArgumentExprs    ::=  `(' [Exprs] ')'
+  ArgumentExprs   ::=  `(' [Exprs] ')'
                     |  BlockExpr
+  MethodClosure   ::=  `.' Id {`.' Id | TypeArgs | ArgumentExprs}
   BlockExpr       ::=  `{' CaseClause {CaseClause} `}'
                     |  `{' Block `}'
   Block           ::=  {BlockStat `;'} [ResultExpr]
@@ -132,7 +134,9 @@ grammar.
   VarTypeParam    ::=  [`+' | `-'] TypeParam
   TypeParam       ::=  id [>: Type] [<: Type | <% Type]
   ParamClause     ::=  `(' [Param {`,' Param}] `)'
-  Param           ::=  [def] id `:' Type [`*']
+  ClassParamClause::=  `(' [ClassParam {`,' ClassParam}] `)'
+  Param           ::=  id `:' [`=>' Type [`*']
+  ClassParam      ::=  [{Modifier} `val'] Param
   Bindings        ::=  id [`:' Type1]
                     |  `(' Binding {`,' Binding `)'
   Binding         ::=  id [`:' Type]
-- 
cgit v1.2.3

