add List.splitAt

This commit is contained in:
Isaac Van Doren 2024-11-09 14:16:41 -06:00
parent b7c2cb084e
commit 45b50bd131
No known key found for this signature in database
GPG key ID: CFA524CD470E5B94
54 changed files with 1479 additions and 1469 deletions

View file

@ -3863,7 +3863,7 @@ mod solve_expr {
#[test]
fn list_split() {
infer_eq_without_problem(
indoc!("List.split"),
indoc!("List.splitAt"),
"List elem, U64 -> { before : List elem, others : List elem }",
);
}