From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q09F3Tbh008404 for ; Mon, 9 Jan 2012 16:03:35 +0100 X-IronPort-AV: E=Sophos;i="4.71,480,1320620400"; d="scan'208";a="138437366" Received: from yquem.inria.fr ([128.93.8.37]) by mail1-relais-roc.national.inria.fr with ESMTP; 09 Jan 2012 16:03:35 +0100 Received: by yquem.inria.fr (Postfix, from userid 25991) id B71F8E19CB; Mon, 9 Jan 2012 16:03:35 +0100 (CET) Date: Mon, 9 Jan 2012 16:03:35 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Message-ID: <20120109150335.GA4324@yquem.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline User-Agent: Mutt/1.5.20 (2009-06-14) Subject: [Caml-list] Camlp5 new rel 6.03 -> compat with OCaml trunk Hello everybody! For the ones who want to use Camlp5 with the current OCaml SVN development (the 'trunk' directory), you can download the new version 6.03 of Camlp5 at: http://pauillac.inria.fr/~ddr/camlp5/ The gadt new feature is parsed but may not work. If you use it, please let me know. I made it work with OCaml gadt branch, but I did not check for the 'trunk' directory. Camlp5 is a pre-processor-pretty-printer for OCaml. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/