New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
module_type_of_sig #3013
Comments
Comment author: Yoric Every so often, I need that feature. The workaround of getting a .mli to be generated by the Makefile and then building a module type from it is, well, messy. |
Comment author: @mmottl I, too, would like to see some feature that allowed me to access/bind the module type of the inferred signature of a module (including module files). I don't think that this would require a new keyword, because it should be clear from the context that the signature is requested. |
Comment author: dario I'll add my voice to those who have encountered this problem before and wished for this feature... |
Comment author: jm I want this feature too. Please. |
Comment author: lavi A simpler solution would be to make file.mli generate signature File, or to make things less ambiguous with module, signature FILE |
Comment author: @garrigue You wish was granted by Xavier Leroy. |
Original bug ID: 3013
Reporter: administrator
Status: closed (set by @garrigue on 2010-04-30T04:54:07Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.12.0+dev
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @diml dario @glondu till lavi "Julien Signoles" jm @hcarty hirokawa yminsky @yakobowski @mmottl
Bug description
Full_Name: Evgeny Chukreev
Version:
OS:
Submission from: host134.t3n.sotline.ru (81.1.200.134)
In addition to #2737.
Another one copy&past killer feature.
Useful becouse 'include' works only with module types, not signatures.
module ExtString :
sig
include (module_type_of_sig String)
end
The text was updated successfully, but these errors were encountered: