0004134: A tiny bug in type checking recursive modules

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004134

OCaml

OCaml typing

public

2006-10-12 07:48

2012-09-14 23:38

Reporter

Keiko NAKATA

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

3.09.3

Target Version

later

Fixed in Version

Summary

0004134: A tiny bug in type checking recursive modules

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.

Tags

recmod

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