1. camlspotter
  2. mutated_ocaml

Source

mutated_ocaml / testsuite / tests / typing-poly / poly.ml.principal.reference

Diff from to

File testsuite/tests/typing-poly/poly.ml.principal.reference

 Warning 11: this match case is unused.
 - : int * [< `B ] -> int = <fun>
 #       Characters 69-135:
-  type ('a, 'b) a = 'a -> unit constraint 'a = [> `B of ('a, 'b) b as 'b] 
+  type ('a, 'b) a = 'a -> unit constraint 'a = [> `B of ('a, 'b) b as 'b]
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 Error: Constraints are not satisfied in this type.
        Type