FREEZE!: ocaml compiler bug in debian?
[ FREEZE is about waiting a moment before uploading a new ocaml package
and thinking about a possible bug, not about our mini-freeze :-]
Just because we are talking about uploading a new ocaml package ...
This is a bug report I've submitted last week to caml-bugs along with
response that Xavier send me.
He is unable to reproduce the bug, please test if you are able to
reproduce the bug, if this is the case we probably have a problem with
debian shipped ocaml compiler.
Cheers.
----- Forwarded message from Stefano Zacchiroli <zack@cs.unibo.it> -----
Date: Sat, 23 Nov 2002 16:41:43 +0100
From: Stefano Zacchiroli <zack@cs.unibo.it>
To: caml-bugs@caml.inria.fr
Subject: missing caml_curry8 during linking while using -pack && .cmxa
To produce the bug I've used Gerd Stoplmann's Shell module, but I'm able
to reproduce the bug also with other packages which are not part of the
ocaml distribution, actually all other external modules I've tried
manifest this behaviour.
Shell module is available at http://www.ocaml-programming.de/
(*** File: a.ml ***)
ignore (Shell.command);; (* just to use an external findlib module *)
let foo () = prerr_endline "Hello, world!";;
(*** END ***)
(*** File: test.ml ***)
B.A.foo ();;
(*** END ***)
$ ocamlopt -I +shell -c a.ml
File "a.ml", line 1, characters 8-21:
Warning: this function application is partial,
maybe some arguments are missing.
$ ocamlopt -pack -o b.cmx a.cmx
$ ocamlopt -o b.cmxa -a b.cmx
$ ocamlopt -I +shell str.cmxa unix.cmxa shell.cmxa b.cmxa test.ml
/usr/lib/ocaml/shell/shell.a(shell_sys.o)(.data+0x144): In function `Shell_sys__2':
: undefined reference to `caml_curry8'
collect2: ld returned 1 exit status
Error during linking
Cheers.
--
Stefano Zacchiroli - undergraduate student of CS @ Uni. Bologna, Italy
zack@cs.unibo.it | ICQ 33538863 | http://www.cs.unibo.it/~zacchiro
"I know you believe you understood what you think I said, but I am not
sure you realize that what you heard is not what I meant!" -- G.Romney
----- End forwarded message -----
----- Forwarded message from Xavier Leroy <xavier.leroy@inria.fr> -----
Date: Mon, 25 Nov 2002 11:48:10 +0100
From: Xavier Leroy <xavier.leroy@inria.fr>
To: zack@CS.UniBO.IT
Cc: Caml bug tracking system <caml-bugs@pauillac.inria.fr>
Subject: Re: missing caml_curry8 during linking while using -pack &&
.cmxa (PR#1480)
> To produce the bug I've used Gerd Stoplmann's Shell module, but I'm
> able
> to reproduce the bug also with other packages which are not part of
> the > ocaml
> distribution, actually all other external modules I've tried
> > manifest this behaviour.
I ran your test case exactly as provided, but the error you mention
did not appear, with OCaml 3.06 nor with the development version.
- Xavier Leroy
----- End forwarded message -----
--
Stefano Zacchiroli - undergraduate student of CS @ Uni. Bologna, Italy
zack@cs.unibo.it | ICQ 33538863 | http://www.cs.unibo.it/~zacchiro
"I know you believe you understood what you think I said, but I am not
sure you realize that what you heard is not what I meant!" -- G.Romney
Reply to: