language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Fixing comparing runtime representations of layouts

Browse source
This commit is contained in:
Ayaz Hafiz 2023-01-04 12:40:57 -06:00
parent 03ece6e274
commit f321369f4d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

13
crates/compiler/gen_llvm/src/llvm/compare.rs
View file

@ -155,7 +155,8 @@ fn build_eq<'a, 'ctx, 'env>(
rhs_layout: InLayout<'a>,
when_recursive: WhenRecursive<'a>,
) -> BasicValueEnum<'ctx> {
let lhs_layout_raw = &layout_interner.runtime_representation(lhs_layout);
let lhs_layout = &layout_interner.runtime_representation_in(lhs_layout);
let rhs_layout = &layout_interner.runtime_representation_in(rhs_layout);
if lhs_layout != rhs_layout {
panic!(
"Equality of different layouts; did you have a type mismatch?\n{:?} == {:?}",
@ -163,14 +164,14 @@ fn build_eq<'a, 'ctx, 'env>(
);
}
match lhs_layout_raw {
match layout_interner.get(*lhs_layout) {
Layout::Builtin(builtin) => build_eq_builtin(
env,
layout_interner,
layout_ids,
lhs_val,
rhs_val,
builtin,
&builtin,
when_recursive,
),
@ -191,7 +192,7 @@ fn build_eq<'a, 'ctx, 'env>(
layout_interner,
layout_ids,
when_recursive,
union_layout,
&union_layout,
lhs_val,
rhs_val,
),
@ -201,8 +202,8 @@ fn build_eq<'a, 'ctx, 'env>(
layout_interner,
layout_ids,
when_recursive,
lhs_layout,
*inner_layout,
*lhs_layout,
inner_layout,
lhs_val,
rhs_val,
),