s/IndexOutOfBounds/OutOfBounds/g

This commit is contained in:
Richard Feldman 2020-04-22 08:32:31 -04:00
parent 632d4eca92
commit 9d37f7ae73
5 changed files with 20 additions and 8 deletions

View file

@ -2194,6 +2194,18 @@ mod test_solve {
);
}
#[test]
fn solve_list_get() {
infer_eq_without_problem(
indoc!(
r#"
List.get [ "a" ] 0
"#
),
"Result Str [ OutOfBounds ]*",
);
}
#[test]
fn type_more_general_than_signature() {
infer_eq_without_problem(
@ -2292,7 +2304,7 @@ mod test_solve {
List.get [ 10, 9, 8, 7 ] 1
"#
),
"Result (Num *) [ IndexOutOfBounds ]*",
"Result (Num *) [ OutOfBounds ]*",
);
}