From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id FAA04381; Tue, 27 Jul 2004 05:42:24 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA04781 for ; Tue, 27 Jul 2004 05:42:23 +0200 (MET DST) Received: from mg.ihep.su (mg.ihep.su [194.190.161.38]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i6R3gLSH004155; Tue, 27 Jul 2004 05:42:22 +0200 Received: by mg.ihep.su (Postfix, from userid 65436) id 58492B6AFA; Tue, 27 Jul 2004 07:42:21 +0400 (MSD) Received: from mg.ihep.su (localhost [127.0.0.1]) by mg.ihep.su (Postfix) with SMTP id E165AB6B0A; Tue, 27 Jul 2004 07:42:20 +0400 (MSD) X-Mailbox-Line: From vsl@ontil.ihep.su Tue Jul 27 07:42:20 2004 Received: from ontil.ihep.su (ontil.ihep.su [194.190.161.63]) by mg.ihep.su (Postfix) with ESMTP id 7B39AB6AFA; Tue, 27 Jul 2004 07:42:16 +0400 (MSD) Received: by ontil.ihep.su (Postfix, from userid 1001) id 7F35710463; Tue, 27 Jul 2004 07:39:51 +0400 (MSD) Received: from localhost (localhost [127.0.0.1]) by ontil.ihep.su (Postfix) with ESMTP id 7DB61736B; Tue, 27 Jul 2004 07:39:51 +0400 (MSD) Date: Tue, 27 Jul 2004 07:39:51 +0400 (MSD) From: Vitaly Lugovsky To: Xavier Leroy Cc: Cuihtlauac ALVARADO , caml-list@inria.fr Subject: Re: [Caml-list] CamlP4 bug, 3.08.0 In-Reply-To: <20040726164109.GA6618@yquem.inria.fr> Message-ID: References: <20040726160139.GA17634@rd.francetelecom.fr> <20040726164109.GA6618@yquem.inria.fr> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam-Status: No, hits=3.8 required=5.0 tests=IN_REP_TO,QL_SENT_FROM_MY_DOMAINS,RCVD_IN_ORBS version=2.20 X-Spam-Level: *** X-Miltered: at concorde with ID 4105CF1D.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; vitaly:01 lugovsky:01 ontil:01 ihep:01 caml-list:01 camlp:01 bug:01 grapevine:99 camlp:01 ocaml:01 coq:02 coq:02 patches:02 wrote:03 unusable:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, 26 Jul 2004, Xavier Leroy wrote: > I've heard through the grapevine that the development version > of Coq > has already been adapted to work with OCaml 3.08 and the new > Camp4 > locations. Maybe it's easier to ask the Coq developers for a > set of > patches, or extract them through the Coq anonymous CVS. Ok. Thank you, I will try it. But the problem with the completely unusable code generated by the default CamlP4 installation will remain? ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners