On Wed, 11 Apr 2007 02:08 am, Harrison, John R wrote:
> 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.

A new version of Poly ML also doesn't have the persistent storage system.

<quote>
The persistent storage system that has been a feature of Poly/ML almost since 
the beginning has finally reached its sell-by date and has been removed. In 
its place there is the facility to export ML functions as object files and 
link them to produce stand-alone executables.
</quote>

Michael