I think I asked roughly this question several years ago, but I would
appreciate

a reminder.

 

In several read-eval-print loops for functional languages (e.g. Poly,
SML/NJ,

various LISPs), it's possible to save and restore the current state so
you can

start up again in an environment with all the same objects and name
bindings

present. OCaml does not currently allow this. How hard would it be to
modify

OCaml to support save/restore of sessions? At the moment I'm forced into

OS-specific checkpointing of processes.

 

John.