You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
modulerecM : sigtype t =N.s =Aend=structtype t =N.s =AendandN : sigtype s =Aend=structtype s =Aend;;
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.
The text was updated successfully, but these errors were encountered:
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.
The type checker reports :
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.
The text was updated successfully, but these errors were encountered: