#13034: clean memory in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: GHCi | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Suppose you have a program that fills all memory up so what GHCi crash by displaying the "out of memory" error. But you don't know. You run the programm and a few seconds after you stop it by pressing ctrl-c. Then you start another programm that is correct like computing a factorial and suddenly GHCi crash. GHCi crash because there is not enough memory. All the values of the first program remained in memory and have not been deleted. Can we have a command available from the prompt that clean the memory? For example, Prelude> :clean memory or Prelude> :clm in order to avoid restart GHCi. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13034 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler