Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004134OCamlOCaml typingpublic2006-10-12 07:482012-09-14 23:38
ReporterKeiko NAKATA 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
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,
Keiko.
Tagsrecmod
Attached Files

- Relationships

-  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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker