HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-08-16 11:50:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix: kdl inlinining that caused some problems on flattening

Browse Source
This commit is contained in:
felipegchi 2023-01-30 12:48:43 -03:00
parent ed50969216
commit c940719dfe
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
crates/kind-pass/src/inline/mod.rs
View File

@ -46,6 +46,7 @@ pub fn inline_book(book: &mut untyped::Book) {
for name in &to_remove {
book.entrs.remove(name);
book.names.remove(name);
}
let mut state = InlineState { funs };