[GHC] #13034: clean memory in GHCi
GHC
ghc-devs at haskell.org
Sat Dec 24 16:04:08 UTC 2016
#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
More information about the ghc-tickets
mailing list