HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-10-04 00:18:23 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix: remember to stop file processing on unknown alias

Browse Source
This commit is contained in:
Nicolas Abril 2023-06-05 17:18:26 +02:00
parent 8c81e8b7b2
commit 375f801b3e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/kind-driver/src/resolution.rs
View File

@ -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);