CSY/reowolf Changeset - e16722f0d0ac · Centrum Wiskunde & Informatica (CWI)

Changeset - e16722f0d0ac

Parent rev.

Child rev.

[Not reviewed]

2 1 1

Hans-Dieter Hiep - 5 years ago 2020-02-10 15:48:57
hdh@cwi.nl

Lift parser restriction on assignable expressions

3 files changed with 5 insertions and 8 deletions:

src/protocol/parser.rs

testdata/parser/negative/20.txt

testdata/parser/positive/20.pdl

rename

0 comments (0 inline, 0 general)

src/protocol/parser.rs

➞

Show inline comments

@@ @@ -1575,9 +1575,7 @@ struct IndexableExpressions { @@
+}
 impl IndexableExpressions {
     fn new() -> Self {
         IndexableExpressions { indexable: false }
+    }
     fn new() -> Self {  IndexableExpressions { indexable: false }  }
     fn error(&self, position: InputPosition) -> VisitorResult {
         Err(ParseError::new(position, "Unindexable expression"))
+    }
@@ @@ -1627,10 +1625,12 @@ impl Visitor for IndexableExpressions { @@
         expr: IndexingExpressionId,
     ) -> VisitorResult {
         let old = self.indexable;
-        self.indexable = false;
+        self.indexable = true;
         self.visit_expression(h, h[expr].subject)?;
         self.indexable = false;
         self.visit_expression(h, h[expr].index)?;
         self.indexable = old;
-        self.visit_expression(h, h[expr].index)
+        Ok(())
+    }
     fn visit_slicing_expression(
         &mut self,

testdata/parser/negative/20.txt

➞

Show inline comments

deleted file

testdata/parser/positive/20.pdl

➞

Show inline comments

file renamed from testdata/parser/negative/20.pdl to testdata/parser/positive/20.pdl

0 comments (0 inline, 0 general)