Merge pull request #579 from HigherOrderCO/578-undeclared-alias-crash

fix: remember to stop file processing on unknown alias
HigherOrderCO · Jun 5, 2023 · a495fa1 · a495fa1
2 parents 8c81e8b + 375f801
commit a495fa1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/crates/kind-driver/src/resolution.rs b/crates/kind-driver/src/resolution.rs
@@ -324,6 +324,10 @@ fn load_file_to_book(
     failed |= expand_uses(&mut module, tx.clone());
     failed |= expand_module(tx.clone(), &mut module);
 
+    if failed {
+        return failed;
+    }
+
     let mut state = UnboundCollector::new(tx.clone(), false);
     state.visit_module(&mut module);