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
3.02 compiler overflows stack on *.mli #2871
Comments
Comment author: administrator
That's a very interesting bug, and I believe it's been around for (One reason I'm asking you to test is that the fix renders module Best wishes,
Index: typing/env.mlRCS file: /net/pauillac/caml/repository/csl/typing/env.ml,v
@@ -591,18 +591,6 @@
|
Comment author: administrator
I have noticed a significant slowdown, but it is a slowdown I can live : nr@labrador 13072 ; /usr/bin/time ocamlc -I ../lib -g -c luainterp.ml I'll happily send the files if you wish to investigate. Norman |
Comment author: administrator Fixed 2001-07-31 by XL. |
Original bug ID: 460
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Related to: #6600
Bug description
Dear OCaml implementors,
the OCaml 3.02 compiler does not like to compile this interface if a
compiled interface already exists:
/tmp > cat test.mli
module type MM = sig
end
module A : sig
module type T = sig
module T : MM
end
end
module EmptyT : A.T
/tmp > ocamlc -c -g test.mli # first time - works ok
/tmp > ocamlc -c -g test.mli # opens test.cmi over and over
Uncaught exception: Stack overflow
/tmp > ocamlc -c -g test.mli
Uncaught exception: Stack overflow
/tmp > rm test.cmi # remove test.cmi
/tmp > ocamlc -c -g test.mli # works again
/tmp > ocamlc -c -g test.mli # does not work
Uncaught exception: Stack overflow
Although I don't believe that this problem is system dependent, here is
my configuration from ./configure:
The following gcc was used to compile OCaml:
-- Christian
--
Christian Lindig Harvard University - DEAS
lindig@eecs.harvard.edu 33 Oxford St, MD 242, Cambridge MA 02138
phone: +1 (617) 496-7157 http://www.eecs.harvard.edu/~lindig/
The text was updated successfully, but these errors were encountered: