diff options
| author | buraq <buraq@epfl.ch> | 2003-10-09 14:09:33 +0000 |
|---|---|---|
| committer | buraq <buraq@epfl.ch> | 2003-10-09 14:09:33 +0000 |
| commit | c17ef940fd97cf548e0540e4e92d3b07a902a142 (patch) | |
| tree | f1914c8f9ef4154399e4db155bd8224b848cd22f | |
| parent | a54029cbf9efc10d2d2d1e3d060344ba4d863ffd (diff) | |
| download | scala-c17ef940fd97cf548e0540e4e92d3b07a902a142.tar.gz scala-c17ef940fd97cf548e0540e4e92d3b07a902a142.tar.bz2 scala-c17ef940fd97cf548e0540e4e92d3b07a902a142.zip | |
changes to grammar, fixing () for empty sequenc...
changes to grammar, fixing () for empty sequence in patterns
| -rw-r--r-- | doc/reference/ScalaReference.tex | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/doc/reference/ScalaReference.tex b/doc/reference/ScalaReference.tex index caec1424e7..25f14455c8 100644 --- a/doc/reference/ScalaReference.tex +++ b/doc/reference/ScalaReference.tex @@ -4208,14 +4208,13 @@ grammar. Pattern1 ::= varid `:' Type | `_' `:' Type | Pattern2 - Pattern2 ::= SimplePattern [ '*' | '?' | '+' ] + Pattern2 ::= [varid `@'] Pattern3 + Pattern3 ::= SimplePattern [ '*' | '?' | '+' ] | SimplePattern { id SimplePattern } - SimplePattern ::= varid [ '@' SimplePattern ] - | `_' + SimplePattern ::= `_' | literal | StableId [ `(' [Patterns] `)' ] - | `(' Patterns `)' - | + | `(' [Patterns] `)' Patterns ::= Pattern {`,' Pattern} TypeParamClause ::= `[' TypeParam {`,' TypeParam} `]' |