Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] install_printer
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-01-25 (06:34)
From: Ian Zimmerman <itz@s...>
Subject: Re: [Caml-list] install_printer

itz> Hi, I can hook into the toplevel loop to modify printing of simple
itz> types like int with #install_printer, but what about polymorphic
itz> types?

Daniel> For a general printing of all values of all types, use the hook
Daniel> Toploop.print_out_value. You can change it to point to your function.

Daniel> This function must take a value of type Outcometree.out_value and
Daniel> print it. The module Outcometree is in the installed OCaml library
Daniel> directory.

Daniel> The default value of !Toploop.print_out_value is the function "print_outval"
Daniel> located in the OCaml sources file toplevel/ You can make your
Daniel> own version by copying this function and adapt it for your own usage.

Daniel> Another example is the "revised syntax" of Camlp4 in the OCaml
Daniel> sources, file "camlp4/top/". (use "camlp4r pr_o.cmo
Daniel> camlp4/top/" to see this file in normal syntax, if you
Daniel> prefer).

Thanks.  I take it that your answer is 3.04 specific; actually I am
working with 3.02.  I will just wait with this functionality until I

Pretty amazing that it _is_ now possible, really. :-)  Maybe because
you needed something like it for p4?

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.
Bug reports:  FAQ:
To unsubscribe, mail  Archives: