resetting in ghci

Simon Marlow
Tue, 30 Apr 2002 11:39:12 +0100

> Simon Marlow writes=20
> > :load with no arguments will unload all the currently=20
> loaded modules and
> > bindings.
> (so, the values go to garbage, and memory will be recovered?)

All the memory will be recovered except for object files (it turns out
to be difficult to do this safely, so we just didn't tackle it).

> Thank you.
> `:?' command of ghci does not tell this about  :load
> I wonder whether it is explained in GHC Manual.

Well, it's just a degenerate case of the :load command when the list of
modules to load is empty.  The manual doesn't mention this use
explicitly, but I'll add a note to it.