diff options
author | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-02-08 15:33:23 +0100 |
---|---|---|
committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-02-08 15:33:23 +0100 |
commit | 6a73bfff8499eb7a128de01c20488a9f53e397c7 (patch) | |
tree | 1958510741be38d9972453b2ad42ab265270fb43 /Source/Dafny/Dafny.atg | |
parent | bc0e2a5f6ef893c549c3a244faa17e7f235a2de0 (diff) |
Changed calc syntax (custom operators are now written before the hint)
Diffstat (limited to 'Source/Dafny/Dafny.atg')
-rw-r--r-- | Source/Dafny/Dafny.atg | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index daf3cc67..79d4cb64 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -1328,10 +1328,9 @@ CalcStmt<out Statement/*!*/ s> .)
]
"{"
- [ Expression<out e> (. lines.Add(e); .)
+ [ Expression<out e> (. lines.Add(e); customOp = null; .)
";"
{
- Hint<out h> (. hints.Add(h); customOp = null; .)
[ CalcOp<out opTok, out op> (. maybeOp = Microsoft.Dafny.CalcStmt.ResultOp(resOp, op);
if (maybeOp == null) {
SemErr(opTok, "this operator cannot continue this calculation");
@@ -1341,7 +1340,8 @@ CalcStmt<out Statement/*!*/ s> }
.)
] (. customOps.Add(customOp); .)
- Expression<out e> (. lines.Add(e); .)
+ Hint<out h> (. hints.Add(h); .)
+ Expression<out e> (. lines.Add(e); customOp = null; .)
";"
}
]
|