Version française
Home     About     Download     Resources     Contact us    
Browse thread
RE: [Caml-list] toplevel with pre-installed printers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Harrison, John R <johnh@i...>
Subject: RE: [Caml-list] toplevel with pre-installed printers
| Sorry, I was not clear enough. I know about .ocamlinit. I am going to
| have several custom ocamltop's and they can't all share the same
| .ocamlinit. What now?

You could always checkpoint the OCaml toplevel process. This is what
I do with HOL Light, since it would take several minutes to reload all
the code at startup. Under Linux, I've found "ckpt" very good. However
I don't know of a comparable solution for Windows.

John.