[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