| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0005630 | OCaml | OCaml typing | public | 2012-05-31 20:50 | 2012-06-01 04:52 |
|
| Reporter | mottl | |
| Assigned To | frisch | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | resolved | Resolution | duplicate | |
| Platform | any | OS | any | OS Version | any |
| Product Version | 3.12.1 | |
| Target Version | | Fixed in Version | | |
|
| Summary | 0005630: "open" broken in signatures of recursive modules |
| Description | The code below demonstrates that "open" does not work in signatures of recursive modules when referring to another module in the recursion even though the latter is clearly in scope. The problem does not happen in module bodies.
---------------------------------------------
module rec A : sig
open B (* does not work *)
type s = B.t (* works *)
end = struct
open B (* works *)
type s = B.t
end
and B : sig type t end = struct type t end |
| Tags | No tags attached. |
|
| Attached Files | |
|
Relationships 
Relationships 