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

tests(solve_expr): mismatch still not properly being reported

Browse source
This commit is contained in:
rvcas 2021-03-23 22:46:48 -04:00
parent 7148522e15
commit 6009501114
2 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/solve/tests/solve_expr.rs
View file

@ -652,8 +652,8 @@ mod solve_expr {
} }
#[test] #[test]
fn applied_tag_function_mismatch() { fn mismatch_applied_tag_function() {
infer_eq( infer_eq_without_problem(
indoc!( indoc!(
r#" r#"
x : List [ Foo Str ] x : List [ Foo Str ]
@ -662,7 +662,7 @@ mod solve_expr {
x x
"# "#
), ),
"<type mismatch>", "List [ Foo Str ]",
) )
} }

2
compiler/unify/src/unify.rs
View file

@ -1088,6 +1088,8 @@ fn unify_flat_type(
let problems = unify_pool(subs, pool, new_tag_union_var, *ret); let problems = unify_pool(subs, pool, new_tag_union_var, *ret);
dbg!(problems.clone());
if problems.is_empty() { if problems.is_empty() {
let desc = subs.get(ctx.second); let desc = subs.get(ctx.second);
subs.union(ctx.first, ctx.second, desc); subs.union(ctx.first, ctx.second, desc);