You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4501 Reporter: jm Status: closed (set by @damiendoligez on 2012-09-15T10:01:20Z) Resolution: fixed Priority: normal Severity: minor Version: 3.10+dev Target version: 4.00.1+dev Category: typing Tags: recmod
Bug 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?
The text was updated successfully, but these errors were encountered:
Original bug ID: 4501
Reporter: jm
Status: closed (set by @damiendoligez on 2012-09-15T10:01:20Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.10+dev
Target version: 4.00.1+dev
Category: typing
Tags: recmod
Bug description
% ocaml
Objective Caml version 3.10.2+dev2 (2008-01-22)
(* This works: *)
module A
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
Unbound module type S
(* However, something like that works: *)
module rec C : sig module type S = sig type t 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?
The text was updated successfully, but these errors were encountered: