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

Toss out unneeded test

Browse source
This commit is contained in:
Ayaz Hafiz 2022-12-14 17:14:20 -06:00
parent 4315a36e90
commit 70c27943fa
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 0 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -8471,41 +8471,6 @@ mod solve_expr {
);
}
#[test]
fn issue_4733() {
infer_queries!(
indoc!(
r#"
app "test" provides [main] to "./platform"
fn = \{} ->
#^^{-1}
instr : [ Op (U64, U64 -> U64) ]
instr = if Bool.true then (Op Num.mul) else (Op Num.add)
# ^^^^^
Op op = instr
# ^^
\a -> op a a
# ^^
main = (fn {}) 3u64
# ^^
# ^^^^^
"#
),
@r###"
fn : {}* -[[fn(1)]]-> (U64 -[[6(6) (U64, U64 -[[Num.add(19), Num.mul(21)]]-> U64)]]-> U64)
instr : [Op (U64, U64 -[[Num.add(19), Num.mul(21)]]-> U64)]*
op : U64, U64 -[[Num.add(19), Num.mul(21)]]-> U64
op : U64, U64 -[[Num.add(19), Num.mul(21)]]-> U64
fn : {} -[[fn(1)]]-> (U64 -[[6(6) (U64, U64 -[[Num.add(19), Num.mul(21)]]-> U64)]]-> U64)
fn {} : U64 -[[6(6) (U64, U64 -[[Num.add(19), Num.mul(21)]]-> U64)]]-> U64
"###
);
}
#[test]
fn disjoint_nested_lambdas_result_in_disjoint_parents_issue_4712() {
infer_queries!(