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

tests(solve_expr): try a mismatch

Browse source
This commit is contained in:
rvcas 2021-03-22 11:25:51 -04:00
parent 91d98d2463
commit eb4a6109d6
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -653,13 +653,16 @@ mod solve_expr {
#[test]
fn applied_tag_function_mismatch() {
infer_eq_without_problem(
infer_eq(
indoc!(
r#"
\foo -> { x: [ foo, Foo ], y: [ foo, \x -> Foo x ] }
x : List [ Foo Str ]
x = List.map [ 1, 2 ] Foo
x
"#
),
"",
"<type mismatch>",
)
}