fix comments/warnings

This commit is contained in:
Folkert 2020-09-08 14:18:55 +02:00
parent 77eb20f9ce
commit ad8e9db896
3 changed files with 4 additions and 13 deletions

View file

@ -2220,7 +2220,7 @@ mod solve_uniq_expr {
}
#[test]
fn list_walkRight_sum() {
fn list_walk_right_sum() {
infer_eq(
indoc!(
r#"
@ -2290,14 +2290,6 @@ mod solve_uniq_expr {
);
}
#[test]
fn list_walkRight() {
infer_eq(
"List.walkRight",
"Attr * (Attr (* | b) (List (Attr b a)), Attr Shared (Attr b a, c -> c), c -> c)",
);
}
#[test]
fn list_push_singleton() {
infer_eq(
@ -2313,7 +2305,7 @@ mod solve_uniq_expr {
}
#[test]
fn list_walkRight_reverse() {
fn list_walk_right_reverse() {
infer_eq(
indoc!(
r#"