mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-08-16 02:30:40 +03:00
Merge pull request #579 from HigherOrderCO/578-undeclared-alias-crash
fix: remember to stop file processing on unknown alias
This commit is contained in:
commit
a495fa105f
@ -324,6 +324,10 @@ fn load_file_to_book(
|
|||||||
failed |= expand_uses(&mut module, tx.clone());
|
failed |= expand_uses(&mut module, tx.clone());
|
||||||
failed |= expand_module(tx.clone(), &mut module);
|
failed |= expand_module(tx.clone(), &mut module);
|
||||||
|
|
||||||
|
if failed {
|
||||||
|
return failed;
|
||||||
|
}
|
||||||
|
|
||||||
let mut state = UnboundCollector::new(tx.clone(), false);
|
let mut state = UnboundCollector::new(tx.clone(), false);
|
||||||
state.visit_module(&mut module);
|
state.visit_module(&mut module);
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user