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

Glue 2-tag unions w/ no payloads (but aren't Bool)

Browse source
This commit is contained in:
Richard Feldman 2022-08-17 14:09:16 -04:00
parent 539429f16b
commit ace37cf613
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
1 changed files with 24 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

34
crates/glue/src/types.rs
View file

@ -1216,16 +1216,7 @@ fn add_tag_union<'a>(
}
}
Layout::Builtin(Builtin::Int(int_width)) => {
let tags: Vec<String> = union_tags
.iter_from_subs(subs)
.map(|(tag_name, _)| tag_name.0.as_str().to_string())
.collect();
RocTagUnion::Enumeration {
name: name.clone(),
tags,
size: int_width.stack_size(),
}
add_int_enumeration(union_tags, subs, &name, int_width)
}
Layout::Struct { field_layouts, .. } => {
let (tag_name, payload_fields) =
@ -1240,6 +1231,12 @@ fn add_tag_union<'a>(
payload_fields,
}
}
Layout::Builtin(Builtin::Bool) => {
// This isn't actually a Bool, but rather a 2-tag union with no payloads
// (so it has the same layout as a Bool, but actually isn't one; if it were
// a real Bool, it would have been handled elsewhere already!)
add_int_enumeration(union_tags, subs, &name, IntWidth::U8)
}
Layout::Builtin(builtin) => {
let type_id = add_builtin_type(env, builtin, var, opt_name, types, layout);
let (tag_name, _) = single_tag_payload(union_tags, subs);
@ -1280,6 +1277,23 @@ fn add_tag_union<'a>(
type_id
}
fn add_int_enumeration(
union_tags: &UnionLabels<TagName>,
subs: &Subs,
name: &String,
int_width: IntWidth,
) -> RocTagUnion {
let tags: Vec<String> = union_tags
.iter_from_subs(subs)
.map(|(tag_name, _)| tag_name.0.as_str().to_string())
.collect();
RocTagUnion::Enumeration {
name: name.clone(),
tags,
size: int_width.stack_size(),
}
}
fn union_tags_to_types(
name: &str,
union_tags: &UnionLabels<TagName>,