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

Correct ircheck of nullable-wrapped unions

Browse source
This commit is contained in:
Ayaz Hafiz 2022-12-29 12:10:23 -06:00
parent d6c32ded7d
commit 58930cc96c
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
crates/compiler/mono/src/debug/checker.rs
View file

@ -746,8 +746,13 @@ fn get_tag_id_payloads(union_layout: UnionLayout, tag_id: TagIdIntType) -> TagPa
if tag_id == nullable_id {
TagPayloads::Payloads(&[])
} else {
check_tag_id_oob!(other_tags.len());
let payloads = other_tags[tag_id as usize];
check_tag_id_oob!(other_tags.len() + 1);
let tag_id_idx = if tag_id > nullable_id {
tag_id - 1
} else {
tag_id
};
let payloads = other_tags[tag_id_idx as usize];
TagPayloads::Payloads(payloads)
}
}