Update array_checker.rs

audulus · Sep 24, 2023 · 65dcb15 · 65dcb15
1 parent 3180271
commit 65dcb15
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/src/array_checker.rs b/src/array_checker.rs
@@ -52,6 +52,19 @@ impl ArrayChecker {
 
     fn check_expr(&mut self, expr: ExprID, decl: &FuncDecl, decls: &DeclTable) -> IndexInterval {
         match &decl.arena[expr] {
+            Expr::Int(x) => {
+                IndexInterval { min: *x, max: *x }
+            }
+            Expr::Block(exprs) => {
+                let n = self.vars.len();
+                for e in exprs {
+                    self.check_expr(*e, decl, decls);
+                }
+                while self.vars.len() > n {
+                    self.vars.pop();
+                }
+                IndexInterval::default()
+            }
             Expr::Let(name, init, _) => {
                 self.check_expr(*init, decl, decls);
                 let ty = decl.types[expr];