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.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 4338EBC69 for ; Mon, 1 Oct 2007 18:59:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAPbDAEfZDAs/jGdsb2JhbACOMgIJBAYHBho X-IronPort-AV: E=Sophos;i="4.21,217,1188770400"; d="scan'208";a="2169422" Received: from smtp009.mail.ukl.yahoo.com ([217.12.11.63]) by mail2-smtp-roc.national.inria.fr with SMTP; 01 Oct 2007 18:59:16 +0200 Received: (qmail 14746 invoked from network); 1 Oct 2007 16:59:16 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Received:X-YMail-OSG:In-Reply-To:References:Mime-Version:Content-Type:Message-Id:Cc:Content-Transfer-Encoding:From:Subject:Date:To:X-Mailer; b=hZGJ9ROha5AXa3deFAuCFCnNPUKVSFqSc+fZlE9SKqRKC3xQ/B7k1qMoSvxCIiSiUACaC8RSZSFuD69FFZjZLQuRC7L7qVgSlOXn0jrLvA9zNBIeURplTCC/nHL4j9V0lGHFRqIL3+iGCHX9iItlCGq+uU11Op7KMjVFf1wIB5c= ; Received: from unknown (HELO ?192.168.0.10?) (vincent.aravantinos@82.229.199.66 with plain) by smtp009.mail.ukl.yahoo.com with SMTP; 1 Oct 2007 16:59:16 -0000 X-YMail-OSG: eZtx9.UVM1lpP2MBtq.2U2_5K_EV3qjM30dlGYmKuvZNKN5BKL3BtE7g5iixWz3SkO5S.H4e9wlA7WcLglYLITZzcxps7Nyivk_u5hQmcmaX7uCM In-Reply-To: <470125F1.5000205@univ-savoie.fr> References: <470125F1.5000205@univ-savoie.fr> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: Cc: caml-list@yquem.inria.fr Content-Transfer-Encoding: quoted-printable From: Vincent Aravantinos Subject: Re: [Caml-list] Is this a known bug or change in 3.10 Date: Mon, 1 Oct 2007 18:59:13 +0200 To: Christophe Raffalli X-Mailer: Apple Mail (2.752.2) X-Spam: no; 0.00; bug:01 christophe:01 raffalli:01 ocaml:01 testbug:01 sig:01 val:01 struct:01 struct:01 ocamlc:01 -pp:01 camlp:01 testbug:01 functor:01 camlp:01 I've got the same with a compiled from source 3.10 on OSX; so this =20 this does not come from the unstable state of the fink package. Le 1 oct. 07 =E0 18:53, Christophe Raffalli a =E9crit : > 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 > --------------------------------------------- > > > > _______________________________________________ > 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 > > > _______________________________________________ > 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