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

WIP

Browse source
This commit is contained in:
Folkert 2024-01-19 14:51:00 +01:00 • committed by David Dunn
parent ae1ee44de8
commit d95bc02145
No known key found for this signature in database
GPG key ID: 99F10972153A72B0
1 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

15
crates/compiler/mono/src/layout.rs
View file

@ -3788,6 +3788,17 @@ trait Label: subs::Label + Ord + Clone + Into<TagOrClosure> {
Self: 'r;
}
impl Label for TagOrClosure{
fn semantic_repr<'a, 'r>(
arena: &'a Bump,
labels: impl ExactSizeIterator<Item = &'r Self>,
) -> SemanticRepr<'a> {
SemanticRepr::tag_union(
arena.alloc_slice_fill_iter(labels.map(|x| &*arena.alloc_str(x.0.as_str()))),
)
}
}
impl Label for TagName {
fn semantic_repr<'a, 'r>(
arena: &'a Bump,
@ -4340,12 +4351,14 @@ where
let mut tag_layouts = Vec::with_capacity_in(tags.len(), env.arena);
tag_layouts.extend(tags.iter().map(|r| r.1));
let tag_names = TagOrClosure::semantic_repr(env.arena, tags.iter());
let layout = Layout {
repr: LayoutRepr::Union(UnionLayout::NonRecursive(
tag_layouts.into_bump_slice(),
))
.direct(),
semantic: SemanticRepr::NONE,
semantic: SemanticRepr::tag_union(tag_names.into_bump_slice()),
};
env.cache.put_in(layout)
}