GADT constructors can be re-exposed with an incompatible type => segfault #7378
Original bug ID: 7378
module X = struct type t = | A : 'a * 'b * ('a -> unit) -> t end module Y = struct type t = X.t = | A : 'a * 'b * ('b -> unit) -> t end let () = match Y.A (1, "", print_string) with | X.A (x, y, f) -> f x
The definition for Y.t should be rejected, but it's not, leading to a segfault further down.
The text was updated successfully, but these errors were encountered: