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 KAA32543; Fri, 25 Jan 2002 10:53:17 +0100 (MET) 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 KAA00840 for ; Fri, 25 Jan 2002 10:53:16 +0100 (MET) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0P9rFf09157 for ; Fri, 25 Jan 2002 10:53:15 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id KAA31384 for caml-list@inria.fr; Fri, 25 Jan 2002 10:53:15 +0100 Date: Fri, 25 Jan 2002 10:53:15 +0100 From: Daniel de Rauglaudre To: OCAML Subject: Re: [Caml-list] install_printer Message-ID: <20020125105315.A28698@verdot.inria.fr> References: <86bsfj6q2d.fsf@speakeasy.org> <20020125065814.A28494@verdot.inria.fr> <868zaney5u.fsf@speakeasy.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <868zaney5u.fsf@speakeasy.org>; from itz@speakeasy.org on Thu, Jan 24, 2002 at 10:34:53PM -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Thu, Jan 24, 2002 at 10:34:53PM -0800, Ian Zimmerman wrote: > Thanks. I take it that your answer is 3.04 specific Right. > Pretty amazing that it _is_ now possible, really. :-) Maybe because > you needed something like it for p4? Right, also. One user of my "revised syntax" complained that his output was in the "old" syntax. You can also customize the printed types, the printed signature items and the result of a toplevel phrase. Jean-Marc Eber wrote a version to print the output values in XML format. What is missing now is to be able to use that in the compilers ocamlc and ocamlopt, to customize the output of the types in the error messages and of the -i option. -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr