introduce LambaSet variables

This commit is contained in:
Folkert 2021-05-05 13:54:21 +02:00
parent a43778ffe1
commit 61ffe687ce
2 changed files with 19 additions and 9 deletions

View file

@ -26,7 +26,7 @@ pub fn run_solve(
aliases,
};
let mut subs = Subs::new(var_store.into());
let mut subs = Subs::new(var_store);
for (var, name) in rigid_variables {
subs.rigid_var(var, name);