fix the Default instance for subs

we later rely on some variables always existing (numbers, empty record, empty tag union)
but the default instance did not insert those
This commit is contained in:
Folkert 2021-11-17 16:29:16 +01:00
parent aa4ee812fe
commit 237d8d1c0b
6 changed files with 27 additions and 20 deletions

View file

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