diff options
| author |  leino <unknown> | 2014-10-09 18:36:30 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-09 18:36:30 -0700 |
| commit | db5b38bdaa2aeaf6358aa5f92534ecb4a3d6a0a2 (patch) | |
| tree | 95cbc5d8d9efb21b83e4b087aa2ebe9e3eef453a /Test/dafny0/ParseErrors.dfy.expect | |
| parent | 5eed95df25123cb5a335f686b4cb576ce9ca450c (diff) | |
Fixed parsing crash on malformed chaining with == and !!
Diffstat (limited to 'Test/dafny0/ParseErrors.dfy.expect')
| -rw-r--r-- | Test/dafny0/ParseErrors.dfy.expect | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/Test/dafny0/ParseErrors.dfy.expect b/Test/dafny0/ParseErrors.dfy.expect index e1acb035..30898479 100644 --- a/Test/dafny0/ParseErrors.dfy.expect +++ b/Test/dafny0/ParseErrors.dfy.expect @@ -6,10 +6,12 @@ ParseErrors.dfy(18,18): error: this operator cannot be part of a chain ParseErrors.dfy(19,19): error: this operator cannot be part of a chain
ParseErrors.dfy(20,18): error: this operator cannot be part of a chain
ParseErrors.dfy(21,18): error: chaining not allowed from the previous operator
-ParseErrors.dfy(49,8): error: the main operator of a calculation must be transitive
-ParseErrors.dfy(65,2): error: this operator cannot continue this calculation
-ParseErrors.dfy(66,2): error: this operator cannot continue this calculation
-ParseErrors.dfy(71,2): error: this operator cannot continue this calculation
-ParseErrors.dfy(72,2): error: this operator cannot continue this calculation
-ParseErrors.dfy(78,2): error: this operator cannot continue this calculation
-14 parse errors detected in ParseErrors.dfy
+ParseErrors.dfy(28,19): error: chaining not allowed from the previous operator
+ParseErrors.dfy(31,20): error: can only chain disjoint (!!) with itself.
+ParseErrors.dfy(58,8): error: the main operator of a calculation must be transitive
+ParseErrors.dfy(74,2): error: this operator cannot continue this calculation
+ParseErrors.dfy(75,2): error: this operator cannot continue this calculation
+ParseErrors.dfy(80,2): error: this operator cannot continue this calculation
+ParseErrors.dfy(81,2): error: this operator cannot continue this calculation
+ParseErrors.dfy(87,2): error: this operator cannot continue this calculation
+16 parse errors detected in ParseErrors.dfy
|