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
ocamlc diverges #3192
Comments
Comment author: administrator From: sacerdot@cs.unibo.it
After looking desesparately for a bug, I have now the feeling that Why such a strange behaviour? Since module G is defined locally, all If I'm not wrong, we will have to do something about that. Jacques Garrigue |
Comment author: administrator The divergence problem due to mutually recursive definitions in Note that the fix is only partial, and is just a side-effect on an optimization Jacques Garrigue |
Comment author: administrator Partially solved by caching of expansions. |
Original bug ID: 873
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Claudio Sacerdoti Coen
Version: 3.04
OS: Linux debian stable
Submission from: a-bo44-24.tin.it (213.45.192.23)
Retrieve http://www.cs.unibo.it/~sacerdot/divergence.tgz.
You will find:
make will compile all the .mli files; then ocamlc will try to make the .cmo and
it will diverge (or at least require hundreds of megabytes of RAM)
Notes:
files
construct
and mutual recursive classes.
avoided. The line just replaces G.element_of_node with
Gdome.element_of_node
where G is bound by "let module G = Gdome in"
The text was updated successfully, but these errors were encountered: