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

Chase recursive layouts as appropriate

Browse source
This commit is contained in:
Ayaz Hafiz 2023-01-25 15:10:56 -06:00
parent 673ca9a02f
commit 3382be6cb9
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 10 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

11
crates/compiler/mono/src/ir.rs
View file

@ -5927,7 +5927,7 @@ fn convert_tag_union<'a>(
layout_cache.from_var(env.arena, variant_var, env.subs),
"Wrapped"
);
let union_layout = match layout_cache.get_in(variant_layout) {
let union_layout = match layout_cache.interner.chase_recursive(variant_layout) {
Layout::Union(ul) => ul,
other => internal_error!(
"unexpected layout {:?} for {:?}",
@ -9466,10 +9466,11 @@ fn from_can_pattern_help<'a>(
// problems down the line because we hash layouts and an unrolled
// version is not the same as the minimal version.
let whole_var_layout = layout_cache.from_var(env.arena, *whole_var, env.subs);
let layout = match whole_var_layout.map(|l| layout_cache.get_in(l)) {
Ok(Layout::Union(ul)) => ul,
_ => unreachable!(),
};
let layout =
match whole_var_layout.map(|l| layout_cache.interner.chase_recursive(l)) {
Ok(Layout::Union(ul)) => ul,
_ => internal_error!(),
};
use WrappedVariant::*;
match variant {