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

Bug capture avec l'option -i #3128

Closed
vicuna opened this issue Jan 7, 2002 · 1 comment
Closed

Bug capture avec l'option -i #3128

vicuna opened this issue Jan 7, 2002 · 1 comment

Comments

@vicuna
Copy link

vicuna commented Jan 7, 2002

Original bug ID: 781
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Bonjour à tous,

Si je me donne les deux modules suivants:

(* a.ml *)

type t = T

(* bug.ml *)

open A

module A = struct
end

let f T = T

et si je compile comme suit:

ocamlc -c a.ml
ocamlc -c -i bug.ml

alors j'obtiens pour le module Bug la signature:

module A : sig end
val f : A.t -> A.t

qui n'est pas correcte -- elle est d'ailleurs mal formée. Plus grave, je ne
vois pas quelle signature on peut donner à ce module, dans la mesure où le
type `A.t' n'a plus de nom. Il faudrait disposer d'une syntaxe concrète pour
renommer un module, et que l'option -i emploie cette syntaxe pour éviter la
capture... Qu'en pensez-vous?

--
François Pottier
Francois.Pottier@inria.fr
http://pauillac.inria.fr/~fpottier/

@vicuna
Copy link
Author

vicuna commented Nov 7, 2002

Comment author: administrator

Signature cannot be expressed in current module system, so there isn't much that
we can do about it...

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