Non-compatibility assumed between concrete types with same constructor #5997
Original bug ID: 5997
type (_, _) comp =
module U = struct type t = T end
module M : sig
match M.comp with | Diff -> false;;
I checked this example against both the trunk (in particular after the recent "incompatibility check" fixes) and the non-vanishing branch.
The text was updated successfully, but these errors were encountered:
Comment author: @garrigue
Fix in trunk and 4.00, commits 13586 and 13587.
This was a particularly stupid bug: