update testsuite

ocaml · Jul 17, 2018 · d7edc97 · d7edc97
1 parent 2d09e12
commit d7edc97
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/testsuite/tests/typing-misc/pat_type_sharing.ml b/testsuite/tests/typing-misc/pat_type_sharing.ml
@@ -13,11 +13,5 @@ let foo (type a) (ty : a ty) (x : a r) =
   | Int, { a = 3; b } -> b
   | _ -> assert false;;
 [%%expect{|
-Line _, characters 25-26:
-    | Int, { a = 3; b } -> b
-                           ^
-Error: This expression has type a = int
-       but an expression was expected of type 'a
-       This instance of int is ambiguous:
-       it would escape the scope of its equation
+val foo : 'a ty -> 'a r -> 'a = <fun>
 |}]