parser(error): detects compexpr in if statement

Jaredanwolfgang · Dec 8, 2024 · e4eaf2e · e4eaf2e
1 parent 126c1ef
commit e4eaf2e
Showing 1 changed file with 15 additions and 1 deletion.
diff --git a/src/parser/src/grammar.lalrpop b/src/parser/src/grammar.lalrpop
@@ -380,7 +380,21 @@ OpenExpr: tree::Expr = {
             )
         )
     },
-
+    // if ( error ) { ... }
+    "if" "(" <l:@L> <cond:CompExpr> ")" <body:Expr> => {
+        let error = ErrorRecovery {
+            error: ParseError::User {
+                error: LexicalError::StatementError(Span {
+                    source: source.to_string(),
+                    start: l - 1,
+                    end: l + 1
+                }, "Must be condition".to_string())
+            },
+            dropped_tokens: Vec::new(),
+        };
+        errors.push(error);
+        tree::Expr::Error
+    },
     // if error Condition ) { ... }
     "if" <l:@L> ! <r:@R> CondExpr ")" Expr => {
         let error = ErrorRecovery {