[GHC] #4472: Funny memory leak error with ghc-6.12.3 -debug in Agda-2.2.8

[GHC]

#4472: Funny memory leak error with ghc-6.12.3 -debug in Agda-2.2.8
------------------------------------------+---------------------------------
    Reporter:  wkahl                      |        Owner:               
        Type:  bug                        |       Status:  infoneeded   
    Priority:  normal                     |    Milestone:  7.0.2        
   Component:  Runtime System             |      Version:  6.12.3       
    Keywords:  block counts, memory leak  |     Testcase:               
   Blockedby:                             |   Difficulty:               
          Os:  Linux                      |     Blocking:               
Architecture:  x86_64 (amd64)             |      Failure:  Runtime crash
------------------------------------------+---------------------------------

Comment(by wkahl):

 I have not yet been able to reproduce this with 7.0.1, although I have
 been trying.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4472#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler