diff options
| author |  Rustan Leino <unknown> | 2016-02-26 13:46:25 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2016-02-26 13:46:25 -0800 |
| commit | 0531b8772f4174d807caecc356ecaa41adca8c8c (patch) | |
| tree | d4de41e22112c1d043e477b2d4cc5efe4081cf81 /Source/Dafny/Dafny.atg | |
| parent | ad063dfd62db2b7f147e4f8abbcd7b8a7f575dae (diff) | |
| parent | b3d6306759e450a5d004b6581e0bf3b891b93fa5 (diff) | |
Merge
Diffstat (limited to 'Source/Dafny/Dafny.atg')
| -rw-r--r-- | Source/Dafny/Dafny.atg | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index 80792ce2..af7082a4 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -2064,9 +2064,10 @@ CaseStatement<out MatchCaseStmt/*!*/ c> "case" (. x = t; .)
( Ident<out id> (. name = id.val; .)
[ "("
- CasePattern<out pat> (. arguments.Add(pat); .)
- { "," CasePattern<out pat> (. arguments.Add(pat); .)
- }
+ [ CasePattern<out pat> (. arguments.Add(pat); .)
+ { "," CasePattern<out pat> (. arguments.Add(pat); .)
+ }
+ ]
")" ]
| "("
CasePattern<out pat> (. arguments.Add(pat); .)
@@ -2881,9 +2882,10 @@ CaseExpression<out MatchCaseExpr c, bool allowSemi, bool allowLambda> "case" (. x = t; .)
( Ident<out id> (. name = id.val; .)
[ "("
- CasePattern<out pat> (. arguments.Add(pat); .)
- { "," CasePattern<out pat> (. arguments.Add(pat); .)
- }
+ [ CasePattern<out pat> (. arguments.Add(pat); .)
+ { "," CasePattern<out pat> (. arguments.Add(pat); .)
+ }
+ ]
")" ]
| "("
CasePattern<out pat> (. arguments.Add(pat); .)
|