mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-11 08:45:32 +03:00
merge: compiler crashes while flattening with inlines in the KDL backend (#489)
Kdl inlinining that caused some problems on flattening
This commit is contained in:
commit
d87ebba904
@ -46,6 +46,7 @@ pub fn inline_book(book: &mut untyped::Book) {
|
|||||||
|
|
||||||
for name in &to_remove {
|
for name in &to_remove {
|
||||||
book.entrs.remove(name);
|
book.entrs.remove(name);
|
||||||
|
book.names.remove(name);
|
||||||
}
|
}
|
||||||
|
|
||||||
let mut state = InlineState { funs };
|
let mut state = InlineState { funs };
|
||||||
|
Loading…
Reference in New Issue
Block a user