[GHC] #4265: Sanity bug found by +RTS -DS in Agda

[GHC]

#4265: Sanity bug found by +RTS -DS in Agda
-------------------------------+--------------------------------------------
    Reporter:  wkahl           |        Owner:               
        Type:  bug             |       Status:  infoneeded   
    Priority:  normal          |    Milestone:               
   Component:  Runtime System  |      Version:  6.13         
    Keywords:                  |     Testcase:               
   Blockedby:                  |   Difficulty:               
          Os:  Linux           |     Blocking:               
Architecture:  x86_64 (amd64)  |      Failure:  Runtime crash
-------------------------------+--------------------------------------------

Comment(by wkahl):

 Sorry, for installing Agda, change

 {{{
 cd main/src
 }}}

 to

 {{{
 cd src/main
 }}}


 Wolfram

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