G: struct fields

3 files changed, 61 insertions, 7 deletions

diff --git a/src/parser/event_parser/grammar.rs b/src/parser/event_parser/grammar.rs
index be61483ec..77596fea6 100644
--- a/src/parser/event_parser/grammar.rs
+++ b/src/parser/event_parser/grammar.rs
@@ -1,4 +1,3 @@
-use super::Event;
 use super::parser::Parser;
 
 use syntax_kinds::*;
@@ -50,10 +49,26 @@ fn item(p: &mut Parser) -> Result {
     ERR
 }
 
-fn struct_item(p: &mut Parser) -> Result{
+fn struct_item(p: &mut Parser) -> Result {
     p.expect(IDENT)?;
-    p.expect(L_CURLY)?;
-    p.expect(R_CURLY)
+    p.curly_block(|p| {
+        comma_list(p, struct_field)
+    })
+}
+
+fn struct_field(p: &mut Parser) -> Result {
+    if !p.current_is(IDENT) {
+        return ERR;
+    }
+    p.start(STRUCT_FIELD);
+    p.bump();
+    ignore_errors(|| {
+        p.expect(COLON)?;
+        p.expect(IDENT)?;
+        OK
+    });
+    p.finish();
+    OK
 }
 
 // Paths, types, attributes, and stuff //
@@ -78,4 +93,19 @@ fn skip_one_token(p: &mut Parser) {
     p.start(ERROR);
     p.bump().unwrap();
     p.finish();
+}
+
+fn ignore_errors<F: FnOnce() -> Result>(f: F) {
+    drop(f());
+}
+
+fn comma_list<F: Fn(&mut Parser) -> Result>(p: &mut Parser, element: F) {
+    loop {
+        if element(p).is_err() {
+            return
+        }
+        if p.expect(COMMA).is_err() {
+            return
+        }
+    }
 }
\ No newline at end of file
diff --git a/src/parser/event_parser/mod.rs b/src/parser/event_parser/mod.rs
index 1228236a9..3c3654b6b 100644
--- a/src/parser/event_parser/mod.rs
+++ b/src/parser/event_parser/mod.rs
@@ -1,6 +1,5 @@
-use {Token, TextUnit, SyntaxKind};
+use {Token, SyntaxKind};
 
-use syntax_kinds::*;
 mod grammar;
 mod parser;
 
diff --git a/src/parser/event_parser/parser.rs b/src/parser/event_parser/parser.rs
index 36452ef67..04ef4fb28 100644
--- a/src/parser/event_parser/parser.rs
+++ b/src/parser/event_parser/parser.rs
@@ -1,7 +1,7 @@
 use {Token, SyntaxKind, TextUnit};
 use super::{Event};
 use super::super::is_insignificant;
-use syntax_kinds::{WHITESPACE, COMMENT};
+use syntax_kinds::{L_CURLY, R_CURLY, ERROR};
 
 pub struct Parser<'t> {
     text: &'t str,
@@ -10,6 +10,7 @@ pub struct Parser<'t> {
 
     pos: usize,
     events: Vec<Event>,
+    curly_level: i32,
 }
 
 impl<'t> Parser<'t> {
@@ -30,6 +31,7 @@ impl<'t> Parser<'t> {
 
             pos: 0,
             events: Vec::new(),
+            curly_level: 0,
         }
     }
 
@@ -64,6 +66,11 @@ impl<'t> Parser<'t> {
 
     pub(crate) fn bump(&mut self) -> Option<SyntaxKind> {
         let kind = self.current()?;
+        match kind {
+            L_CURLY => self.curly_level += 1,
+            R_CURLY => self.curly_level -= 1,
+            _ => (),
+        }
         self.pos += 1;
         self.event(Event::Token { kind, n_raw_tokens: 1 });
         Some(kind)
@@ -78,6 +85,24 @@ impl<'t> Parser<'t> {
         }
     }
 
+    pub(crate) fn curly_block<F: FnOnce(&mut Parser)>(&mut self, f: F) -> Result<(), ()> {
+        let level = self.curly_level;
+        self.expect(L_CURLY)?;
+        f(self);
+        assert!(self.curly_level > level);
+        if self.expect(R_CURLY).is_ok() {
+            return Ok(());
+        }
+        self.start(ERROR);
+        while self.curly_level > level {
+            if self.bump().is_none() {
+                break;
+            }
+        }
+        self.finish();
+        Ok(()) //???
+    }
+
     fn event(&mut self, event: Event) {
         self.events.push(event)
     }