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: 1833 Reporter: administrator Status: closed (set by @xavierleroy on 2009-07-09T15:26:34Z) Resolution: fixed Priority: normal Severity: feature Fixed in version: 3.11.0 Category: ~DO NOT USE (was: OCaml general)
Bug description
Je continue mon mailing de masse :-)
Le programme suivant provoque l'erreur: "Unbound type constructor s"
====
module type S = sig type t end
module rec M :
sig
type s = C of int
include S with type t = s
end =
struct
type s = C of int
type t = s
end
Sans le "rec", ça passe.
-- Alain
Additional information
Appears fixed in 3.11.0...
The text was updated successfully, but these errors were encountered:
This is consistent with the typing algorithm used to elaborate rec sigs:
"include" statements that involve components of the rec sig are not allowed. I
doubt this will ever change, but leave this as a feature wish just in case.
-XL, 2003-09-15
Original bug ID: 1833
Reporter: administrator
Status: closed (set by @xavierleroy on 2009-07-09T15:26:34Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.11.0
Category: ~DO NOT USE (was: OCaml general)
Bug description
Je continue mon mailing de masse :-)
Le programme suivant provoque l'erreur: "Unbound type constructor s"
====
module type S = sig type t end
module rec M :
sig
type s = C of int
include S with type t = s
end =
struct
type s = C of int
type t = s
end
Sans le "rec", ça passe.
-- Alain
Additional information
Appears fixed in 3.11.0...
The text was updated successfully, but these errors were encountered: