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

fix some very incorrect tests

Browse source
This commit is contained in:
Folkert 2020-10-28 01:12:57 +01:00
parent e176385169
commit 1921b74ebb
1 changed files with 10 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1369,7 +1369,7 @@ mod solve_expr {
indoc!(
r#"
int : Num Integer
int = 5.5
int = 5
int
"#
@ -1384,7 +1384,7 @@ mod solve_expr {
indoc!(
r#"
int : Num.Num Num.Integer
int = 5.5
int = 5
int
"#
@ -2039,16 +2039,17 @@ mod solve_expr {
infer_eq(
indoc!(
r#"
Peano : [ S Peano, Z ]
app Test provides [ main ] imports []
map : Peano -> Peano
map = \peano ->
when peano is
Z -> Z
S rest ->
map rest |> S
Peano : [ S Peano, Z ]
map : Peano -> Peano
map = \peano ->
when peano is
Z -> Z
S rest -> S (map rest)
main =
map
"#
),