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 NAA23796; Mon, 28 Jan 2002 13:32:02 +0100 (MET) 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 NAA22584 for ; Mon, 28 Jan 2002 13:32:01 +0100 (MET) Received: from hod.void.org (pD9E5C123.dip.t-dialin.net [217.229.193.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0SCVxH28536; Mon, 28 Jan 2002 13:31:59 +0100 (MET) Received: (from mamous@localhost) by hod.void.org (8.9.3/8.9.3) id MAA01100; Mon, 28 Jan 2002 12:31:31 GMT X-Authentication-Warning: hod.void.org: mamous set sender to leypold@informatik.uni-tuebingen.de using -f From: "M E Leypold @ labnet" MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15445.17571.612360.584595@hod.void.org> Date: Mon, 28 Jan 2002 13:31:31 +0100 To: Daniel de Rauglaudre Cc: OCAML Subject: Re: [Caml-list] install_printer In-Reply-To: <20020125105315.A28698@verdot.inria.fr> References: <86bsfj6q2d.fsf@speakeasy.org> <20020125065814.A28494@verdot.inria.fr> <868zaney5u.fsf@speakeasy.org> <20020125105315.A28698@verdot.inria.fr> X-Mailer: VM 7.00 under Emacs 20.4.1 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Daniel de Rauglaudre writes: > 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. I'd like you to know that I really appreciate that. I've long hold the opinion that a proper data type must come with a printer and a parser (the least thing you can say here is, that it simplifies debugging a lot), and this is a real incentive to upgrade to 3.04. Thanks again :-) -- Markus ------------------- 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