Original bug ID: 4134
Reporter: Keiko NAKATA
Status: acknowledged (set by @damiendoligez on 2006-11-15T15:10:34Z)
Resolution: open
Priority: normal
Severity: minor
Version: 3.09.3
Target version: later
Category: typing
Tags: recmod
Related to: #5818

Bug description

A tiny bug in type checking recursive modules.

module rec M : sig type t = N.s = A end = struct type t = N.s = A end
and N : sig type s = A end = struct type s = A end;;

The type checker reports :

   module rec M : sig type t = N.s = A end = struct type t = N.s = A end
                      ^^^^^^^^^^^^^^^^
   The variant or record definition does not match that of type N.s

This seems easy to fix.
When building signatures of recursive modules for the fist time
with approximated signatures in the type environment,
you need not to check re-exportation when calling typing.transl_type_decl.
The type system checks that re-exportation is correct
when building the signatures for the second time, anyway.

Best regards,
Keiko.