Original bug ID: 5333
Reporter: jm
Assigned to: @protz
Status: closed (set by @xavierleroy on 2013-08-31T10:44:03Z)
Resolution: duplicate
Priority: normal
Severity: crash
Platform: GNU/Linux
OS: Debian
OS Version: squeeze/amd64
Version: 3.12.1
Category: ~DO NOT USE (was: OCaml general)
Duplicate of: #4080
Monitored by: mehdi "Julien Signoles" @hcarty

Bug description

% ocamlopt -v
The OCaml native-code compiler, version 3.13.0+dev6 (2011-07-29)
Standard library directory: /usr/local/lib/ocaml
% make # using the attached Makefile
mkdir -p p
echo >p/p.ml "let f () = ()"
cd p; ocamlc -c p.ml
mkdir -p p
echo >p/pp.ml "let f () = ()"
cd p; ocamlc -c pp.ml
cd p; ocamlc -pack -o ../p.cmo p.cmo pp.cmo
echo >t.ml "let () = P.Pp.f (); print_endline "P.Pp.f ()""
echo >>t.ml "let () = P.P .f (); print_endline "P.P .f ()""
ocamlc -o t.byte p.cmo t.ml
cd p; ocamlopt -c -for-pack P p.ml
cd p; ocamlopt -c -for-pack P pp.ml
cd p; ocamlopt -pack -o ../p.cmx p.cmx pp.cmx
ocamlopt -o t.native p.cmx t.ml
./t.byte
P.Pp.f ()
P.P .f ()
./t.native
P.Pp.f ()
make: *** [all] Segmentation fault

File attachments

• Makefile