Type $t is not included in type $t #6634
Description
Original bug ID: 6634
Reporter: @yallop
Status: acknowledged (set by @damiendoligez on 2014-12-22T21:08:51Z)
Resolution: open
Priority: normal
Severity: feature
Target version: later
Category: typing
Tags: patch
Related to: #4791 #7458
Monitored by: @gasche @hcarty
Bug description
This may be subsumed by another report, but I thought it worth noting:
# type t = int;;
type t = int
# module M : sig type t end with type t = [`T of t] = struct type t = [`T of t] end;;
Characters 52-81:
module M : sig type t end with type t = [`T of t] = struct type t = [`T of t] end;;
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Signature mismatch:
Modules do not match:
sig type t = [ `T of t ] end
is not included in
sig type t = [ `T of t ] end
Type declarations do not match:
type t = [ `T of t ]
is not included in
type t = [ `T of t ]