roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 00:09:33 +03:00
Code Issues Packages Projects Releases Wiki Activity

feat(unify): basic tag functions seem to work

Browse Source
This commit is contained in:
rvcas 2021-03-21 00:17:20 -04:00
parent 1ca7172a4d
commit 7f7386c639
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
compiler/unify/src/unify.rs
View File

@ -1072,7 +1072,7 @@ fn unify_flat_type(
(TagUnion(tags, ext), Func(args, closure, ret)) if tags.len() == 1 => {
let (tag, payload) = tags.iter().next().unwrap();
if payload.len() == 0 {
if payload.is_empty() {
let mut new_payload = vec![];
let mut new_tags = MutMap::default();
@ -1082,7 +1082,20 @@ fn unify_flat_type(
new_tags.insert(tag.clone(), new_payload);
vec![]
let content = Structure(TagUnion(new_tags, *ext));
let new_tag_union_var = fresh(subs, pool, ctx, content);
let problems = unify_pool(subs, pool, new_tag_union_var, *ret);
if problems.is_empty() {
let desc = subs.get(ctx.second);
subs.union(ctx.first, ctx.second, desc);
vec![]
} else {
problems
}
} else {
mismatch!(
"Trying to unify two flat types that are incompatible: {:?} ~ {:?}",
@ -1091,6 +1104,9 @@ fn unify_flat_type(
)
}
}
(Func(_args, _closure, _ret), TagUnion(tags, _ext)) if tags.len() == 1 => {
todo!("other way")
}
(other1, other2) => mismatch!(
"Trying to unify two flat types that are incompatible: {:?} ~ {:?}",
other1,