Hi,

On Wed, Jan 23, 2002 at 12:36:23PM -0800, Ian Zimmerman wrote:

> My question was, _how_ you do it - that's why I labelled it "nosy"

The function which parses the input is a hook (a reference) which
can be modified: it is Toploop.parse_toplevel_phrase. I just lay
my eggs there.

Same for pretty printing. The main hook is Toploop.print_out_value.

-- 
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