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
two names for same module are (wrongly) distinguished by the typechecker #5302
Comments
Comment author: pascal_cuoq The error message I get: $ ocamlc a.ml |
Comment author: @xclerc In this example, it is sufficient to give the signature of "Util" explicitly. module Util : sig |
Comment author: rgrig The following also compiles. module Util = struct |
Comment author: rgrig Silly question: Does the current status (feedback) mean that you are waiting for me (the reporter) to answer some question? If so, I have no idea what the question is. |
Comment author: @xclerc Well, the implicit question is whether you still regard this as a bug. As shown by the examples in the notes your very problem can be |
Comment author: rgrig Yes, I still regard it as a bug, although one with a simple-to-use workaround. I do not want to think about how the compiler works; I want to think about what the program should mean. If the program looks like Similarly, if the program looks like |
Comment author: @xclerc Just added some relationships to this bug to both classify it, |
Comment author: rgrig Thank you! It does look like a limitation-by-design. |
Original bug ID: 5302
Reporter: rgrig
Status: closed (set by @xclerc on 2011-08-01T12:42:34Z)
Resolution: won't fix
Priority: normal
Severity: minor
Version: 3.13.0+dev
Category: ~DO NOT USE (was: OCaml general)
Duplicate of: #3775
Related to: #4049
Parent of: #3476
Bug description
The attached file does not compile.
Two simple variations of the same code do compile:
File attachments
The text was updated successfully, but these errors were encountered: