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: 5630 Reporter:@mmottl Assigned to:@alainfrisch Status: closed (set by @xavierleroy on 2015-12-11T18:04:47Z) Resolution: duplicate Priority: normal Severity: minor Platform: any OS: any OS Version: any Version: 3.12.1 Category: typing Duplicate of:#4610 Monitored by:@jberdine@mmottl
Bug 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
The text was updated successfully, but these errors were encountered:
Original bug ID: 5630
Reporter: @mmottl
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2015-12-11T18:04:47Z)
Resolution: duplicate
Priority: normal
Severity: minor
Platform: any
OS: any
OS Version: any
Version: 3.12.1
Category: typing
Duplicate of: #4610
Monitored by: @jberdine @mmottl
Bug 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
The text was updated successfully, but these errors were encountered: