Remove migrated test

This commit is contained in:
Ayaz Hafiz 2023-03-31 14:35:21 -05:00
parent d39a329e28
commit fadd3e7e4a
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -8317,36 +8317,4 @@ mod solve_expr {
"###
);
}
//#[test]
//fn disjoint_nested_lambdas_result_in_disjoint_parents_issue_4712() {
// infer_queries!(
// indoc!(
// r#"
// "#
// ),
// @r###"
// v1 = {}
// v2 = ""
// apply = \fnParser, valParser -> \{} -[9]-> (fnParser {}) valParser
// map = \simpleParser, transform -> apply \{} -[12]-> transform simpleParser
// parseInput = \{} ->
// when [
// map v1 \{} -[13]-> "",
// map v2 \s -[14]-> s,
// ] is
// _ -> ""
// main = Bool.isEq (parseInput {}) ""
// [ map v1 (\{} -> ""), map v2 (\s -> s) ] : List (({} -[[9 (({} -[[12 (Str -[[14]]-> Str)]]-> (Str -[[14]]-> Str))) Str, 9 (({} -[[12 ({} -[[13]]-> Str)]]-> ({} -[[13]]-> Str))) {}]]-> Str))
// "###
// print_only_under_alias: true
// print_can_decls: true
// );
//}
}