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

Migrate couple more tests

Browse source
This commit is contained in:
Ayaz Hafiz 2023-04-02 12:53:06 -05:00
parent 8148f5d570
commit 2dcafffb46
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 36 additions and 62 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -254,41 +254,6 @@ mod solve_expr {
);
}
#[test]
fn choose_correct_recursion_var_under_record() {
infer_queries!(
indoc!(
r#"
Parser : [
Specialize Parser,
Record (List {parser: Parser}),
]
printCombinatorParser : Parser -> Str
printCombinatorParser = \parser ->
when parser is
# ^^^^^^
Specialize p ->
printed = printCombinatorParser p
if Bool.false then printed else "foo"
Record fields ->
fields
|> List.map \f ->
printed = printCombinatorParser f.parser
if Bool.false then printed else "foo"
|> List.first
|> Result.withDefault ("foo")
printCombinatorParser (Record [])
"#
),
@r###"
parser : [Record (List { parser : a }), Specialize a] as a
"###
print_only_under_alias: true
);
}
// LIST
#[test]
@ -6007,33 +5972,6 @@ mod solve_expr {
)
}
#[test]
fn intermediate_branch_types() {
infer_queries!(
indoc!(
r#"
app "test" provides [foo] to "./platform"
foo : [True, False] -> Str
foo = \ob ->
# ^^
when ob is
# ^^
True -> "A"
# ^^^^
False -> "B"
# ^^^^^
"#
),
@r###"
ob : [False, True]
ob : [False, True]
True : [False, True]
False : [False, True]
"###
)
}
#[test]
fn nested_open_tag_union() {
infer_eq_without_problem(