Update tests

This commit is contained in:
Ayaz Hafiz 2022-07-29 14:59:24 -04:00
parent e830ed281f
commit 922f2f5683
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -2362,7 +2362,7 @@ pub mod test_constrain {
\f -> (\a, b -> f b a)
"#
),
"(a, b -> c) -> (b, a -> c)",
"(a, b -> d) -> (b, a -> d)",
);
}
@ -2400,7 +2400,7 @@ pub mod test_constrain {
\{} -> x
"#
),
"{}* -> Num *",
"{}* -> Num a",
)
}