mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-10-26 08:09:22 +03:00
fix: Properly fail on expasion errors
This commit is contained in:
parent
1d5d055ba1
commit
b59b1d7933
@ -321,8 +321,8 @@ fn load_file_to_book(
|
|||||||
|
|
||||||
let (mut module, mut failed) = kind_parser::parse_book(tx.clone(), ctx_id, &input);
|
let (mut module, mut failed) = kind_parser::parse_book(tx.clone(), ctx_id, &input);
|
||||||
|
|
||||||
expand_uses(&mut module, tx.clone());
|
failed |= expand_uses(&mut module, tx.clone());
|
||||||
expand_module(tx.clone(), &mut module);
|
failed |= expand_module(tx.clone(), &mut module);
|
||||||
|
|
||||||
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