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
RE: [Caml-list] Dumping the OCaml state
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-09-29 (23:57)
From: Harrison, John R <johnh@i...>
Subject: RE: [Caml-list] Dumping the OCaml state
Bob Solovay wrote:

| There used to be a command in Common Lisp "dump" which would store
| an executable image to a file that could then be restarted. My
| question is: is there something like this in OCaml.

As Carl Witty pointed out to me recently, there are quite a few
checkpointing programs that can dump an arbitrary process so that
it can be restarted later in the same state. I've recently been
using "ckpt" to save an OCaml toplevel session with HOL Light
preloaded, and it works very well. Maybe other OCaml users would
find the same thing useful. See:

The only drawback is that this program is Linux-specific. There's
a long list of alternatives at, but I
haven't found a suitable one for Windows. If anybody knows of one
(even if it only works under Cygwin) I'd be very interested.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: