0004501: "Unbound module type" within the signature of a recursive module.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004501

OCaml

OCaml typing

public

2008-02-10 05:55

2012-09-15 12:01

Reporter

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.10+dev

Target Version

4.00.1+dev

Fixed in Version

Summary

0004501: "Unbound module type" within the signature of a recursive module.

Description

% ocaml
        Objective Caml version 3.10.2+dev2 (2008-01-22)

(* This works: *)
# module A
    : sig module type S = sig type t end
          include S end
    = struct module type S = sig type t end
             type t end;;
module A : sig module type S = sig type t end type t end
(* But this doesn't: *)
# module rec B : sig module type S = sig type t end
                     include S end
    = struct module type S = sig type t end
             type t end;;
Unbound module type S
(* However, something like that works: *)
# module rec C : sig module type S = sig type t end
                     module type R = S
                     module Q : S end
    = struct module type S = sig type t end
             module type R = S
             module Q = struct type t end end;;
module rec C :
  sig module type S = sig type t end module type R = S module Q : S end

The behaviour for B is quite strange, is it a bug?

Tags

recmod

Attached Files

Relationships

Notes
(0008079) doligez (manager) 2012-09-15 12:01	Not sure exactly when this was fixed, but all three are accepted in 4.00.0.

Issue History
Date Modified	Username	Field	Change
2008-02-10 05:55	jm	New Issue
2008-02-19 14:46	doligez	Status	new => acknowledged
2012-07-11 15:54	doligez	Target Version	=> 4.01.0+dev
2012-07-12 06:12	frisch	Tag Attached: recmod
2012-07-27 12:52	frisch	Category	OCaml general => OCaml typing
2012-07-31 13:37	doligez	Target Version	4.01.0+dev => 4.00.1+dev
2012-09-15 12:01	doligez	Note Added: 0008079
2012-09-15 12:01	doligez	Status	acknowledged => closed
2012-09-15 12:01	doligez	Resolution	open => fixed