From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL,RCVD_IN_NJABL_PROXY autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id AFB4EBC6B for ; Sat, 12 Jan 2008 13:27:51 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAB5BiEfUGyocimdsb2JhbACBVo40AQEBCAIIIgeXOg X-IronPort-AV: E=Sophos;i="4.24,275,1196636400"; d="asc'?vcf'?scan'208";a="7730416" Received: from smtp2-g19.free.fr ([212.27.42.28]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Jan 2008 13:27:51 +0100 Received: from smtp2-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp2-g19.free.fr (Postfix) with ESMTP id 29D3D12B6AF for ; Sat, 12 Jan 2008 13:27:51 +0100 (CET) Received: from etu-im-pc3.local.univ-savoie.fr (lns-bzn-52-82-65-108-138.adsl.proxad.net [82.65.108.138]) by smtp2-g19.free.fr (Postfix) with ESMTP id D72F512B6C1 for ; Sat, 12 Jan 2008 13:27:50 +0100 (CET) Message-ID: <4788B246.4060000@univ-savoie.fr> Date: Sat, 12 Jan 2008 13:27:50 +0100 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.9 (Macintosh/20071031) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: bug with 3.09 ... how to avoid ? X-Enigmail-Version: 0.95.5 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigA202A52A90DC0E3889C87CDE" X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 bug:01 camlp:01 camlp:01 bug:01 ocamlc:01 -pp:01 mli:01 mli:01 expr:01 uncaught:01 X-Attachments: cset="utf-8" name="Christophe_Raffalli.vcf" name="Christophe_Raffalli.vcf" type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigA202A52A90DC0E3889C87CDE Content-Type: multipart/mixed; boundary="------------000700060200000705000205" This is a multi-part message in MIME format. --------------000700060200000705000205 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable The following file works with 3.10 camlp4 but not 3.09 camlp4 (it works in 3.09.2 without camlp4) ... Does anyone knows a way to avoid the bug if I want my code to compile with the default installation of 3.09 ? Here is the error: raffalli@d45:~/Caml/pml/src$ ocamlc -pp camlp4o -c iset.mli File "iset.mli", line 31, characters 57-70: Failure: bad module expr long ident Uncaught exception: Failure("bad module expr long ident") Preprocessor error ------------- iset.mli ------------- (* Finite of Cofinite set library by C. Raffalli *) (* Meaningless for a finite type for elt !!! *) module type S =3D sig module FSet : Set.S type elt =3D FSet.elt type t =3D In of FSet.t | Out of FSet.t val empty: t val all : t val is_empty: t -> bool val is_all: t -> bool val mem: elt -> t -> bool val add: elt -> t -> t val singleton: elt -> t val remove: elt -> t -> t val complement:t -> t val union: t -> t -> t val inter: t -> t -> t val diff: t -> t -> t val compare: t -> t -> int val equal: t -> t -> bool val subset: t -> t -> bool end module Make(Ord: Set.OrderedType) : S with module FSet =3D Set.Make(Ord) and type elt =3D Ord.t ------------------------------- Thanks for any help --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution=20 can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------000700060200000705000205 Content-Type: text/x-vcard; charset=utf-8; name="Christophe_Raffalli.vcf" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="Christophe_Raffalli.vcf" begin:vcard fn:Christophe Raffalli n:Raffalli;Christophe org:LAMA (UMR 5127) email;internet:christophe.raffalli@univ-savoie.fr title;quoted-printable:Ma=3DC3=3DAEtre de conf=3DC3=3DA9rences tel;work:+33 4 79 75 81 03 note:http://www.lama.univ-savoie.fr/~raffalli x-mozilla-html:TRUE version:2.1 end:vcard --------------000700060200000705000205-- --------------enigA202A52A90DC0E3889C87CDE Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFHiLJGi9jr/RgYAS4RAnG2AKDA7ZadgKAOW5OPBNoUrdKLWQAvBwCfc7CW RsyxDrBewV2TooEK76r8U8Q= =19Ah -----END PGP SIGNATURE----- --------------enigA202A52A90DC0E3889C87CDE--