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 EAA27893; Fri, 25 Jan 2002 04:57:02 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA27820 for ; Fri, 25 Jan 2002 04:57:01 +0100 (MET) Received: from mail12.speakeasy.net (mail12.speakeasy.net [216.254.0.212]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g0P3v0901242 for ; Fri, 25 Jan 2002 04:57:00 +0100 (MET) Received: (qmail 23025 invoked from network); 25 Jan 2002 03:56:58 -0000 Received: from unknown (HELO kronstadt) ([64.81.49.223]) (envelope-sender ) by mail12.speakeasy.net (qmail-ldap-1.03) with SMTP for ; 25 Jan 2002 03:56:58 -0000 Received: from itz by kronstadt with local (Exim 3.33 #1 (Debian)) id 16TxU2-00034F-00 for ; Thu, 24 Jan 2002 19:56:58 -0800 To: caml-list@inria.fr (OCAML) Subject: [Caml-list] install_printer From: Ian Zimmerman Date: 24 Jan 2002 19:56:58 -0800 Message-ID: <86bsfj6q2d.fsf@speakeasy.org> User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, I can hook into the toplevel loop to modify printing of simple types like int with #install_printer, but what about polymorphic types? Say I want the toplevel to do this: # [1; 2] ;; - : int list = List (1, 2) so I started to write my printer function: let list_printer ppf l = pp_open_box ppf 6; (* if break needed, indent to the paren *) pp_print_string ppf "List ("; (* now what??? *) Basically, I am looking for a hook into the toploop that I can _call_ (not modify) to make it print a value (of any type) according to its current printers. Is that possible? -- Ian Zimmerman, Oakland, California, U.S.A. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087 In his own soul a man bears the source from which he draws all his sorrows and his joys. Sophocles. ------------------- 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