language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-12-10 02:59:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Drop recursion var instantiation in the wrong spot

Browse source
This commit is contained in:
Ayaz Hafiz 2023-04-12 14:12:36 -05:00
parent 677d19d825
commit 40fc920b5e
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 0 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

16
crates/compiler/types/src/types.rs
View file

@ -3104,22 +3104,6 @@ fn instantiate_aliases<'a, F>(
actual.substitute(&substitution);
// instantiate recursion variable!
//if let Type::RecursiveTagUnion(rec_var, mut tags, mut ext) = actual {
// let new_rec_var = ctx.var_store.fresh();
// substitution.clear();
// substitution.insert(rec_var, Type::Variable(new_rec_var));
// for typ in tags.iter_mut().flat_map(|v| v.1.iter_mut()) {
// typ.substitute(&substitution);
// }
// if let TypeExtension::Open(ext, _) = &mut ext {
// ext.substitute(&substitution);
// }
// actual = Type::RecursiveTagUnion(new_rec_var, tags, ext);
//}
let alias = Type::Alias {
symbol: *symbol,
type_arguments: named_args,