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-related wish #3050
Comments
Comment author: administrator
Sans vouloir donner l'impression de critiquer les mécanismes de
|
Comment author: administrator From: Xavier Leroy xavier.leroy@inria.fr
Sauf que, alors qu'un .mli definit clairement une signature, il Donc, meme sans chercher a Jacques |
Comment author: administrator While foo.ml defines implicitly a module named Foo, foo.mli does not define |
Original bug ID: 649
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
Alors que class c = ... definit automatiquement un type de classe
correspondant, evitant d'avoir a
ecrire class type c = ... a
lamain, module M = ... ne le fait pas.
Comme il me semble que cette information est disponible de facon
interne (on a besoin de connaitre le type du module de toutes facons),
ne pourrait-on pas la rendre accessible dans la syntaxe.
Ca permettrait d'ecrire
module M2 = struct
include M1
...
end
module M2 : sig
include M1
...
end
de la meme facon qu'on ecrit
class d = object
inherit c
...
end
class d : object
inherit c
...
end
avec les classes.
Ca peut etre bien pratique quand la signature en question fait
plusieurs pages.
D'un autre cote', il est possible que certains utilisent deja
la separation des espaces de noms pour definir un type de module qui n'a rien a
voir avec le module du meme nom...Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp
JG
The text was updated successfully, but these errors were encountered: