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

Merge pull request #5055 from roc-lang/abilities-bug-generic

Browse source 
Lambda set compaction must preserve unique specializations of concrete types
This commit is contained in:
Folkert de Vries 2023-02-21 15:24:23 +01:00 • committed by GitHub
commit bd6623dab4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
12 changed files with 1083 additions and 57 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -4038,6 +4038,33 @@ impl<'a> ProcLayout<'a> {
}
}
}
pub fn dbg_deep<'r, I: LayoutInterner<'a>>(&self, interner: &'r I) -> DbgProcLayout<'a, 'r, I> {
DbgProcLayout {
layout: *self,
interner,
}
}
}
pub struct DbgProcLayout<'a, 'r, I: LayoutInterner<'a>> {
layout: ProcLayout<'a>,
interner: &'r I,
}
impl<'a, 'r, I: LayoutInterner<'a>> std::fmt::Debug for DbgProcLayout<'a, 'r, I> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
let ProcLayout {
arguments,
result,
niche,
} = self.layout;
f.debug_struct("ProcLayout")
.field("arguments", &self.interner.dbg_deep_iter(arguments))
.field("result", &self.interner.dbg_deep(result))
.field("niche", &niche.dbg_deep(self.interner))
.finish()
}
}
fn specialize_naked_symbol<'a>(