Skip to content
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

Closed
vicuna opened this issue Jul 28, 2004 · 6 comments
Closed

module_type_of_sig #3013

vicuna opened this issue Jul 28, 2004 · 6 comments

Comments

@vicuna
Copy link

vicuna commented Jul 28, 2004

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)

val new_value : ...

end

@vicuna
Copy link
Author

vicuna commented Nov 14, 2008

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.

@vicuna
Copy link
Author

vicuna commented Nov 17, 2008

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.

@vicuna
Copy link
Author

vicuna commented Nov 20, 2008

Comment author: dario

I'll add my voice to those who have encountered this problem before and wished for this feature...

@vicuna
Copy link
Author

vicuna commented May 26, 2009

Comment author: jm

I want this feature too. Please.

@vicuna
Copy link
Author

vicuna commented May 27, 2009

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

@vicuna
Copy link
Author

vicuna commented Apr 30, 2010

Comment author: @garrigue

You wish was granted by Xavier Leroy.
You can write "module type of " since revision 10227.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant