language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 04:08:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Reproduce recursive lambda set inference

Browse source
This commit is contained in:
Ayaz Hafiz 2022-08-09 14:09:57 -07:00
parent d22bd274fd
commit e1fb21fc59
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 30 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

30
crates/compiler/solve/tests/solve_expr.rs
View file

@ -7657,4 +7657,34 @@ mod solve_expr {
"Num *",
);
}
#[test]
fn issue_3444() {
infer_queries!(
indoc!(
r#"
combine = \a, b -> (\x -> x |> a |> b )
const = \x -> (\_y -> x)
list = []
res : Str -> Str
res = List.walk list (const "z") (\c1, c2 -> combine c1 c2)
# ^^^^^ ^^^^^^^
# ^^^^^^^^^^^^^^^^^^^^^^^^
#^^^{-1}
res "hello"
#^^^{-1}
"#
),
@r###"
const : Str -[[const(2)]]-> (Str -[[7(7) (Str -a-> Str) (Str -[[]]-> Str), 10(10) Str] as a]-> Str)
combine : (Str -a-> Str), (Str -[[]]-> Str) -[[combine(1)]]-> (Str -a-> Str)
\c1, c2 -> combine c1 c2 : (Str -a-> Str), (Str -[[]]-> Str) -[[11(11)]]-> (Str -a-> Str)
res : Str -[[7(7) (Str -a-> Str) (Str -[[]]-> Str), 10(10) Str] as a]-> Str
res : Str -[[7(7) (Str -a-> Str) (Str -[[]]-> Str), 10(10) Str] as a]-> Str
"###
);
}
}