upadate tests

ocaml-gospel · Jun 5, 2022 · 640dae0 · 640dae0
1 parent c015925
commit 640dae0
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 19 deletions.
diff --git a/src/patmat.ml b/src/patmat.ml
@@ -568,4 +568,4 @@ let checks ~loc ty cases =
     let tyl = ty :: bools in
     check_exhaustive ~loc tyl pmat q bools;
     check_redundancy ~loc tyl pmat
-  with W.Warning e -> Fmt.epr "%a@." W.pp_warn e
+  with W.Warning e -> Fmt.pr "%a@." W.pp_warn e
diff --git a/test/patterns/negative/redundant1.mli b/test/patterns/negative/redundant1.mli
@@ -4,11 +4,12 @@ val f : int -> int
     | _ -> true
     | 1i -> false *)
 (* {gospel_expected|
-   [125] File "redundant1.mli", line 3, characters 12-58:
-         3 | ............match x with
-         4 |     | _ -> true
-         5 |     | 1i -> false...
-         Error: The pattern-matching is redundant.
+   [0] File "redundant1.mli", line 3, characters 12-58:
+       3 | ............match x with
+       4 |     | _ -> true
+       5 |     | 1i -> false...
+       Warning: The pattern-matching is redundant.
                 Here is a case that is unused:
                   1i.
+       OK
    |gospel_expected} *)
diff --git a/test/patterns/negative/redundant2.mli b/test/patterns/negative/redundant2.mli
@@ -8,13 +8,14 @@ val f : t -> int
     | B (B A) -> false
     | _ -> true *)
 (* {gospel_expected|
-   [125] File "redundant2.mli", line 5, characters 12-103:
-         5 | ............match x with
-         6 |     | A -> false
-         7 |     | B (B _) -> false
-         8 |     | B (B A) -> false
-         9 |     | _ -> true...
-         Error: The pattern-matching is redundant.
+   [0] File "redundant2.mli", line 5, characters 12-103:
+       5 | ............match x with
+       6 |     | A -> false
+       7 |     | B (B _) -> false
+       8 |     | B (B A) -> false
+       9 |     | _ -> true...
+       Warning: The pattern-matching is redundant.
                 Here is a case that is unused:
                   B B A.
+       OK
    |gospel_expected} *)
diff --git a/test/patterns/negative/redundant3.mli b/test/patterns/negative/redundant3.mli
@@ -7,12 +7,13 @@ val f : t -> int
     | B (B A) -> false
     | _ -> true *)
 (* {gospel_expected|
-   [125] File "redundant3.mli", line 5, characters 12-86:
-         5 | ............match x with
-         6 |     | A | B _ -> false
-         7 |     | B (B A) -> false
-         8 |     | _ -> true...
-         Error: The pattern-matching is redundant.
+   [0] File "redundant3.mli", line 5, characters 12-86:
+       5 | ............match x with
+       6 |     | A | B _ -> false
+       7 |     | B (B A) -> false
+       8 |     | _ -> true...
+       Warning: The pattern-matching is redundant.
                 Here is a case that is unused:
                   B B A.
+       OK
    |gospel_expected} *)