allow test to work without #10364

ocaml · Jun 22, 2022 · 2b2bd86 · 2b2bd86
1 parent 6c0a3ba
commit 2b2bd86
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/testsuite/tests/typing-gadts/packed-module-recasting.ml b/testsuite/tests/typing-gadts/packed-module-recasting.ml
@@ -407,8 +407,6 @@ let f (type a b) (w1 : (a, b -> b) eq) (w2 : (a, int -> int) eq) (g : a) =
   let module M = struct let g = g end in
   let Refl = w1 in let Refl = w2 in M.g 3;;
 [%%expect {|
-val f : ('a, 'b -> 'b) eq -> ('a, int -> int) eq -> 'a -> 'b = <fun>
-|}, Principal{|
 Line 3, characters 36-41:
 3 |   let Refl = w1 in let Refl = w2 in M.g 3;;
                                         ^^^^^
@@ -442,11 +440,6 @@ let f (type a b) (w1 : (a, b -> b) eq) (w2 : (a, int -> int) eq)
   let Refl = w1 in let Refl = w2 in M.g 3
 [%%expect {|
 module type S = sig type a val g : a end
-val f :
-  ('a, 'b -> 'b) eq ->
-  ('a, int -> int) eq -> (module S with type a = 'a) -> 'b = <fun>
-|}, Principal{|
-module type S = sig type a val g : a end
 Line 7, characters 36-41:
 7 |   let Refl = w1 in let Refl = w2 in M.g 3
                                         ^^^^^
@@ -478,8 +471,6 @@ let f (type a b) (w1 : (a, b -> b) eq) (w2 : (a, int -> int) eq) (g : a) =
   let module M = struct let res = g 3 end in
   M.res;;
 [%%expect {|
-val f : ('a, 'b -> 'b) eq -> ('a, int -> int) eq -> 'a -> 'b = <fun>
-|}, Principal{|
 Line 4, characters 2-7:
 4 |   M.res;;
       ^^^^^