diff options
author | 2013-02-08 15:33:23 +0100 | |
---|---|---|
committer | 2013-02-08 15:33:23 +0100 | |
commit | 6a73bfff8499eb7a128de01c20488a9f53e397c7 (patch) | |
tree | 1958510741be38d9972453b2ad42ab265270fb43 /Source/Dafny/Parser.cs | |
parent | bc0e2a5f6ef893c549c3a244faa17e7f235a2de0 (diff) |
Changed calc syntax (custom operators are now written before the hint)
Diffstat (limited to 'Source/Dafny/Parser.cs')
-rw-r--r-- | Source/Dafny/Parser.cs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 62898785..72b0a3f9 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -1835,11 +1835,9 @@ List<Expression/*!*/>/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo Expect(6);
if (StartOf(14)) {
Expression(out e);
- lines.Add(e);
+ lines.Add(e); customOp = null;
Expect(15);
while (StartOf(19)) {
- Hint(out h);
- hints.Add(h); customOp = null;
if (StartOf(18)) {
CalcOp(out opTok, out op);
maybeOp = Microsoft.Dafny.CalcStmt.ResultOp(resOp, op);
@@ -1852,8 +1850,10 @@ List<Expression/*!*/>/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo }
customOps.Add(customOp);
+ Hint(out h);
+ hints.Add(h);
Expression(out e);
- lines.Add(e);
+ lines.Add(e); customOp = null;
Expect(15);
}
}
|