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=1.2 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id A678EBC6B for ; Thu, 10 Jan 2008 10:36:30 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAEZ2hUfAXQImh2dsb2JhbACQHAEBAQgKKZh5 X-IronPort-AV: E=Sophos;i="4.24,266,1196636400"; d="scan'208";a="6483496" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Jan 2008 10:36:30 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0A9aUCa017514 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 10 Jan 2008 10:36:30 +0100 X-IronPort-AV: E=Sophos;i="4.24,266,1196636400"; d="scan'208";a="5896099" Received: from peray.inria.fr (HELO ausone.inria.fr) ([128.93.8.98]) by mail2-relais-roc.national.inria.fr with SMTP; 10 Jan 2008 10:36:29 +0100 Received: by ausone.inria.fr (sSMTP sendmail emulation); Thu, _d Jan 2008 10:35:31 +0100 From: "Nicolas Pouillard" Content-Type: text/plain; charset=UTF-8 Cc: caml-list Subject: Re: [Caml-list] Camlp4 + toplevel ? To: "david.teller" References: <1199916972.7153.4.camel@Blefuscu> In-Reply-To: <1199916972.7153.4.camel@Blefuscu> Date: Thu, 10 Jan 2008 10:35:31 +0100 Message-Id: <1199957506-sup-4015@ausone.local> User-Agent: Sup/0.3 X-Miltered: at discorde with ID 4785E71E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 toplevel:01 camlp:01 toplevel:01 outcometree:01 rprint:01 caml-list:01 aka:04 wed:06 nicolas:08 nicolas:08 hth:09 top:89 i've:12 0100:12 Excerpts from david.teller's message of Wed Jan 09 23:16:12 +0100 2008: > > Dear list, > > I've seen that question pop-up a few times but no answer. Assuming I > have a Camlp4 pretty-printer, how can I get the toplevel to use it ? In fact it's a pain, since the top-printer is not the same. It has to print a so called Outcometree. You can look at the source code camlp4/Camlp4Top/Rprint.ml HTH, -- Nicolas Pouillard aka Ertai