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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 0818BBC69 for ; Mon, 1 Oct 2007 18:53:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJHCAEfUGypBkGdsb2JhbACOMgICBwQGDxg X-IronPort-AV: E=Sophos;i="4.21,217,1188770400"; d="asc'?txt'?vcf'?scan'208";a="17109914" Received: from smtp8-g19.free.fr ([212.27.42.65]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Oct 2007 18:53:11 +0200 Received: from smtp8-g19.free.fr (localhost [127.0.0.1]) by smtp8-g19.free.fr (Postfix) with ESMTP id 6294817F5DD for ; Mon, 1 Oct 2007 18:53:11 +0200 (CEST) Received: from Tocksi.local (unknown [82.249.45.167]) by smtp8-g19.free.fr (Postfix) with ESMTP id 2B7B717F572 for ; Mon, 1 Oct 2007 18:53:10 +0200 (CEST) Message-ID: <470125F1.5000205@univ-savoie.fr> Date: Mon, 01 Oct 2007 18:53:05 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.6 (Macintosh/20070728) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: [Caml-list] Is this a known bug or change in 3.10 X-Enigmail-Version: 0.95.3 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigF28464F37768DFA4A5440A6E" X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 bug:01 ocaml:01 testbug:01 sig:01 val:01 struct:01 struct:01 ocamlc:01 -pp:01 camlp:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" name="file:///tmp/nsmail-1.txt" name="file:///tmp/nsmail-1.txt" 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) --------------enigF28464F37768DFA4A5440A6E Content-Type: multipart/mixed; boundary="------------020902070209040507050201" This is a multi-part message in MIME format. --------------020902070209040507050201 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Here is the correct one: When I try to compile the following file (under OS X with ocaml 3.10 from fink unstable, This is my only 3.10 installed ...) --- File testbug.ml --- module type Var =3D sig type t val compare: t -> t -> int end module PathVar =3D struct type t =3D string list let compare =3D compare end module Make(Var: Var) =3D struct type prop =3D True | False end module Prop =3D Make(PathVar) let _ =3D Prop.True --------------------------- I get $ ocamlc -pp camlp4o -c testbug.ml File "testbug.ml", line 21, characters 8-17: Unbound constructor Prop. True This seems to be related to the conjunction of three things: - constant constructor - functor and - camlp4o ? --=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 can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------020902070209040507050201 Content-Type: application/pgp-signature; name="signature.asc" Content-Transfer-Encoding: base64 Content-Disposition: inline; filename="signature.asc" LS0tLS1CRUdJTiBQR1AgU0lHTkFUVVJFLS0tLS0KVmVyc2lvbjogR251UEcgdjEuNC43IChE YXJ3aW4pCkNvbW1lbnQ6IFVzaW5nIEdudVBHIHdpdGggTW96aWxsYSAtIGh0dHA6Ly9lbmln bWFpbC5tb3pkZXYub3JnCgppRDhEQlFGSEFTSGFpOWpyL1JnWUFTNFJBc1NwQUtDazZrUDdM Wi9YV0oyU2NoczdCK09pUnJPaTVBQ2RIUXZjCjNsdFNIanZKbzR3cVpBOThJaW4ySHRVPQo9 L3pvVwotLS0tLUVORCBQR1AgU0lHTkFUVVJFLS0tLS0KCg== --------------020902070209040507050201 Content-Type: text/plain; name="file:///tmp/nsmail-1.txt" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline; filename="file:///tmp/nsmail-1.txt" _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs --------------020902070209040507050201 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 --------------020902070209040507050201-- --------------enigF28464F37768DFA4A5440A6E 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 iD8DBQFHASX2i9jr/RgYAS4RAkPXAJ0dh9y/q9LcyOAr3wFBQOBPzQzapwCgz8nx klw2YfOu++G5/qckEDDu7lk= =PwyR -----END PGP SIGNATURE----- --------------enigF28464F37768DFA4A5440A6E--