Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004134OCamltypingpublic2006-10-12 07:482017-03-15 07:03
ReporterKeiko NAKATA 
Assigned To 
PlatformOSOS Version
Product Version3.09.3 
Target VersionlaterFixed in Version 
Summary0004134: A tiny bug in type checking recursive modules
DescriptionA 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,
Attached Files

- Relationships
related to 0005818acknowledgedlpw25 Function signatures be dropped out from recursive modules within higher order functor 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2006-10-12 07:48 Keiko NAKATA New Issue
2006-11-15 16:10 doligez Status new => acknowledged
2012-07-11 16:23 doligez Tag Attached: recmod
2012-07-11 16:23 doligez Target Version => 4.01.0+dev
2012-07-27 13:16 frisch Category OCaml general => OCaml typing
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-14 23:38 doligez Target Version 4.00.1+dev => later
2017-02-23 16:45 doligez Category OCaml typing => typing
2017-03-15 07:03 garrigue Relationship added related to 0005818

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker