Fix terminal execution checking of exhaustive enums

aardappel · Dec 4, 2024 · 4e36b53 · 4e36b53
1 parent d5df797
commit 4e36b53
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dev/src/lobster/small_vector.h b/dev/src/lobster/small_vector.h
@@ -114,7 +114,7 @@ template<typename T, int N> class small_vector {
         return cap == N ? elems : buf;
     }
 
-    bool empty() {
+    bool empty() const {
         return len == 0;
     }
 

diff --git a/dev/src/lobster/typecheck.h b/dev/src/lobster/typecheck.h
@@ -3875,7 +3875,7 @@ bool Return::Terminal(TypeChecker &) const {
 }
 
 bool Block::Terminal(TypeChecker &tc) const {
-    return children.back()->Terminal(tc);
+    return children.empty() || children.back()->Terminal(tc);
 }
 
 bool IfElse::Terminal(TypeChecker &tc) const {