Re: CDuce package

[Thomas Petazzoni <thomas.petazzoni@enix.org>]

Hello again,

Thomas Petazzoni a écrit :

> make[1]: Entering directory `/home/thomas/demexp/cduce-0.2.2/ocamliface'
> Build cmi2ml
> File "cmi2ml.ml", line 2, characters 11-29:
> Unbound value Env.read_signature

Well, I've traced down this issue a bit further. First of all, here is 
the real compilation line that was hidden behing the "Build cmi2ml" 
message (my mail client wraps it to 80 chars, assume it's on a single 
line) :

make[1]: Entering directory `/home/thomas/demexp/cduce-0.2.2/ocamliface'
Build cmi2ml
ocamlc -o cmi2ml -I debian/ocaml-3.08.2//utils -I 
debian/ocaml-3.08.2//parsing -I debian/ocaml-3.08.2//typing 
debian/ocaml-3.08.2//utils/misc.cmo debian/ocaml-3.08.2//utils/tbl.cmo 
debian/ocaml-3.08.2//utils/config.cmo 
debian/ocaml-3.08.2//utils/clflags.cmo 
debian/ocaml-3.08.2//utils/consistbl.cmo 
debian/ocaml-3.08.2//parsing/longident.cmo 
debian/ocaml-3.08.2//typing/ident.cmo 
debian/ocaml-3.08.2//typing/path.cmo 
debian/ocaml-3.08.2//typing/primitive.cmo 
debian/ocaml-3.08.2//typing/types.cmo 
debian/ocaml-3.08.2//typing/btype.cmo 
debian/ocaml-3.08.2//typing/oprint.cmo 
debian/ocaml-3.08.2//typing/subst.cmo 
debian/ocaml-3.08.2//typing/predef.cmo 
debian/ocaml-3.08.2//typing/datarepr.cmo 
debian/ocaml-3.08.2//typing/env.cmo 
debian/ocaml-3.08.2//typing/ctype.cmo 
debian/ocaml-3.08.2//typing/printtyp.cmo cmi2ml.ml
File "cmi2ml.ml", line 2, characters 11-29:
Unbound value Env.read_signature

I took a look at typing/env.mli, and a read_signature function is 
defined in this module, so I don't see why ocamlc says that 
Env.read_signature is unbound.

Any idea ?

Thomas
--
PETAZZONI Thomas - thomas.petazzoni@enix.org
http://thomas.enix.org - Jabber: thomas.petazzoni@jabber.dk
KOS: http://kos.enix.org/ - SOS: http://sos.enix.org
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E  1624 F653 CB30 98D3 F7A7

Attachment: signature.asc
Description: OpenPGP digital signature