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: 2737 Reporter: administrator Status: closed (set by @damiendoligez on 2012-01-30T14:09:39Z) Resolution: fixed Priority: normal Severity: feature Fixed in version: 3.12.0 Category: ~DO NOT USE (was: OCaml general)
Feature wish:
It's impossible now to write code like:
module B =
struct
(* blah-blah-blah *)
end
module type A =
sig
(* blah-blah-blah *)
include (sig_of_struct B)
end
This is also a feature I would like to have.
However, there is a small "moral" problem: as the signature of B is
not given explicitly, you are relying on the type checker to produce,
and it could be for instance more general than you expected.
I.e. a function may be more polymorphic than expected, and as a result
the signature produced would be incompatible with the expected one.
I don't see it as a major problem, but it may be a religious issue for
some.
On the other hand, it should be possible at least to have a weaker
feature: have the .mli define a module type.
This would make easier providing a signature to an extended module.
Original bug ID: 2737
Reporter: administrator
Status: closed (set by @damiendoligez on 2012-01-30T14:09:39Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.12.0
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Evgeny Chukreev
Version:
OS:
Submission from: 81.176.98.115 (81.176.98.115)
Feature wish:
It's impossible now to write code like:
module B =
struct
(* blah-blah-blah *)
end
module type A =
sig
(* blah-blah-blah *)
end
The text was updated successfully, but these errors were encountered: