roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-21 15:59:20 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix bug in resolving layout

Browse Source
This commit is contained in:
Ayaz Hafiz 2022-12-03 22:18:15 -06:00
parent 7b21936d4f
commit b0300e4e90
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
crates/compiler/mono/src/debug/checker.rs
View File

@ -194,8 +194,16 @@ impl<'a, 'r> Ctx<'a, 'r> {
r
}
fn resolve(&mut self, layout: Layout<'a>) -> Layout<'a> {
layout.runtime_representation(self.interner)
fn resolve(&mut self, mut layout: Layout<'a>) -> Layout<'a> {
// Note that we are more aggressive than the usual `runtime_representation`
// here because we need strict equality, and so cannot unwrap lambda sets
// lazily.
loop {
match layout {
Layout::LambdaSet(ls) => layout = ls.runtime_representation(self.interner),
layout => return layout,
}
}
}
fn insert(&mut self, symbol: Symbol, layout: Layout<'a>) {