Fix #198 - empty if (#217)

Co-authored-by: Nahuel Palumbo <[email protected]>
uqbar-project · Feb 28, 2024 · 6d9422c · 6d9422c
1 parent 2431dec
commit 6d9422c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/typeSystem/typeVariables.ts b/src/typeSystem/typeVariables.ts
@@ -199,8 +199,10 @@ const inferIf = (_if: If) => {
     typeVariableFor(_if)
       .beSupertypeOf(typeVariableFor(last(_if.elseBody.sentences)!))
   }
-  return typeVariableFor(_if) // TODO: only for if-expression
-    .beSupertypeOf(typeVariableFor(last(_if.thenBody.sentences)!))
+  if (_if.thenBody.sentences.length) {
+    return typeVariableFor(_if) // TODO: only for if-expression
+      .beSupertypeOf(typeVariableFor(last(_if.thenBody.sentences)!))
+  }
 }
 
 const inferReference = (r: Reference<Node>) => {