Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004501OCamlOCaml typingpublic2008-02-10 05:552012-09-15 12:01
Reporterjm 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.10+dev 
Target Version4.00.1+devFixed in Version 
Summary0004501: "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?
Tagsrecmod
Attached Files

- Relationships

-  Notes
(0008079)
doligez (administrator)
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker