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

Serious ocamlc-bug: segfaulting executables #2639

Closed
vicuna opened this issue Jun 2, 2004 · 2 comments
Closed

Serious ocamlc-bug: segfaulting executables #2639

vicuna opened this issue Jun 2, 2004 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Jun 2, 2004

Original bug ID: 2639
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Hi,

there is a serious bug in the byte code compiler and/or runtime which
leads to crashing executables. I have tested the following example
code on Linux with both version 3.07+2 and 3.07+19 (segfault and illegal
instruction respectively):


module type S = sig
val f1 : unit -> unit
end

module MakeA (S : sig end) = struct
let f1 () = ()
let f2 () = ()
let f3 () = ()
let f4 () = ()
let f5 () = ()
end

module MakeB (S : sig end) = struct end

module rec A : S = MakeA (B)
and B : sig end = MakeB (struct end)

Note that removing "f1" from signature "S" solves the problem as well
as removing any of the dummy functions in functor "MakeA".

I'd be very grateful if this could be fixed soon in the CVS!

Best regards,
Markus

--
Markus Mottl http://www.oefai.at/~markus markus@oefai.at

@vicuna
Copy link
Author

vicuna commented Jun 11, 2004

Comment author: administrator

Dear Markus,

there is a serious bug in the byte code compiler and/or runtime which
leads to crashing executables.

It's an unexpected interaction between the compilation of module
thinning (code unchanged since 1995 :-) and the new "module rec" stuff.
The bug is fixed in the CVS.

Thanks for the report,

  • Xavier Leroy

@vicuna
Copy link
Author

vicuna commented Jun 11, 2004

Comment author: administrator

module rec / module thinning issue. Fixed 2004-06-11 by XL.

@vicuna vicuna closed this as completed Jun 11, 2004
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant