expr stmt

3 files changed, 21 insertions, 1 deletions

diff --git a/src/grammar.ron b/src/grammar.ron
index 9383abd19..a8c922040 100644
--- a/src/grammar.ron
+++ b/src/grammar.ron
@@ -146,7 +146,9 @@ Grammar(
         "NAME_REF",
         "VALUE_PARAMETER",
         "BLOCK",
+
         "LET_STMT",
+        "EXPR_STMT",
 
         "TYPE_PARAM",
         "LIFETIME_PARAM",
diff --git a/src/parser/grammar/items/mod.rs b/src/parser/grammar/items/mod.rs
index d059833a0..c88e39596 100644
--- a/src/parser/grammar/items/mod.rs
+++ b/src/parser/grammar/items/mod.rs
@@ -223,6 +223,11 @@ fn fn_item(p: &mut Parser) {
     fn_ret_type(p);
     block(p);
 
+    // test block
+    // fn a() {}
+    // fn b() { let _ = 1; }
+    // fn c() { 1; 2; }
+    // fn d() { 1; 2 }
     fn block(p: &mut Parser) {
         if !p.at(L_CURLY) {
             p.error("expected block");
@@ -232,7 +237,18 @@ fn fn_item(p: &mut Parser) {
         while !p.at(EOF) && !p.at(R_CURLY) {
             match p.current() {
                 LET_KW => let_stmt(p),
-                _ => p.err_and_bump("expected statement"),
+                _ => {
+                    let expr_stmt = p.start();
+                    expressions::expr(p);
+                    if p.eat(SEMI) {
+                        expr_stmt.complete(p, EXPR_STMT);
+                        if p.at(R_CURLY) {
+                            break;
+                        }
+                    } else {
+                        expr_stmt.abandon(p);
+                    }
+                }
             }
         }
         p.expect(R_CURLY);
diff --git a/src/syntax_kinds/generated.rs b/src/syntax_kinds/generated.rs
index dc391c4a7..c49ad9a59 100644
--- a/src/syntax_kinds/generated.rs
+++ b/src/syntax_kinds/generated.rs
@@ -137,6 +137,7 @@ pub enum SyntaxKind {
     VALUE_PARAMETER,
     BLOCK,
     LET_STMT,
+    EXPR_STMT,
     TYPE_PARAM,
     LIFETIME_PARAM,
     TYPE_PARAM_LIST,
@@ -287,6 +288,7 @@ impl SyntaxKind {
             VALUE_PARAMETER => &SyntaxInfo { name: "VALUE_PARAMETER" },
             BLOCK => &SyntaxInfo { name: "BLOCK" },
             LET_STMT => &SyntaxInfo { name: "LET_STMT" },
+            EXPR_STMT => &SyntaxInfo { name: "EXPR_STMT" },
             TYPE_PARAM => &SyntaxInfo { name: "TYPE_PARAM" },
             LIFETIME_PARAM => &SyntaxInfo { name: "LIFETIME_PARAM" },
             TYPE_PARAM_LIST => &SyntaxInfo { name: "TYPE_PARAM_LIST" },