Dear GHC,
Does ghci have a command of clearing out of all the currently defined values (like x set by `let x = 1') ? What about un-loading modules? Does the user need to exit and re-run ghci in order to reset the created environment? Such situation is not a tragedy, but still ...
:load with no arguments will unload all the currently loaded modules and bindings. Cheers, Simon
Ty my
Does ghci have a command of clearing out of all the currently defined values (like x set by `let x = 1') ? What about un-loading modules? Does the user need to exit and re-run ghci in order to reset the created environment? Such situation is not a tragedy, but still ...
Simon Marlow writes
:load with no arguments will unload all the currently loaded modules and bindings.
(so, the values go to garbage, and memory will be recovered?) Thank you. `:?' command of ghci does not tell this about :load I wonder whether it is explained in GHC Manual. ----------------- Serge Mechveliani mechvel@botik.ru
participants (2)
-
Serge D. Mechveliani -
Simon Marlow