mirror of
https://github.com/roc-lang/roc.git
synced 2025-10-03 00:24:34 +00:00
Failed attempt
This commit is contained in:
parent
394cce74ef
commit
d05f9e67e7
1 changed files with 7 additions and 5 deletions
|
@ -634,8 +634,6 @@ impl<'a> Env<'a> {
|
|||
self.add_type(var, &mut types);
|
||||
}
|
||||
|
||||
self.resolve_pending_recursive_types(&mut types);
|
||||
|
||||
types
|
||||
}
|
||||
|
||||
|
@ -645,12 +643,16 @@ impl<'a> Env<'a> {
|
|||
.from_var(self.arena, var, self.subs)
|
||||
.expect("Something weird ended up in the content");
|
||||
|
||||
add_type_help(self, layout, var, None, types)
|
||||
let type_id = add_type_help(self, layout, var, None, types);
|
||||
|
||||
self.resolve_pending_recursive_types(types);
|
||||
|
||||
type_id
|
||||
}
|
||||
|
||||
fn resolve_pending_recursive_types(&mut self, types: &mut Types) {
|
||||
// TODO if VecMap gets a drain() method, use that instead of doing take() and into_iter
|
||||
let pending = core::mem::take(&mut self.pending_recursive_types);
|
||||
// TODO if VecMap gets a drain() method, use that instead of doing replace() and into_iter
|
||||
let pending = core::mem::replace(&mut self.pending_recursive_types, Default::default());
|
||||
|
||||
for (type_id, layout) in pending.into_iter() {
|
||||
let actual_type_id = self.known_recursive_types.get(&layout).unwrap_or_else(|| {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue