mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-10-26 13:38:47 +03:00
fix: resolution of use expansions
This commit is contained in:
parent
523b8f2963
commit
d1c536db01
@ -216,6 +216,8 @@ fn parse_and_store_book_by_path<'a>(
|
||||
let (mut module, mut failed) =
|
||||
kind_parser::parse_book(session.diagnostic_sender.clone(), ctx_id, &input);
|
||||
|
||||
expand_uses(&mut module, session.diagnostic_sender.clone());
|
||||
|
||||
let mut state = UnboundCollector::new(session.diagnostic_sender.clone(), false);
|
||||
state.visit_module(&mut module);
|
||||
|
||||
@ -224,8 +226,6 @@ fn parse_and_store_book_by_path<'a>(
|
||||
failed = true;
|
||||
}
|
||||
|
||||
expand_uses(&mut module, session.diagnostic_sender.clone());
|
||||
|
||||
module_to_book(&mut failed, session, module, book);
|
||||
|
||||
for idents in state.unbound_top_level.values() {
|
||||
|
Loading…
Reference in New Issue
Block a user