[GHC] #4969: regression: core-lint failure in agda

[GHC]

#4969: regression: core-lint failure in agda
---------------------------------+------------------------------------------
    Reporter:  igloo             |        Owner:              
        Type:  bug               |       Status:  new         
    Priority:  high              |    Milestone:  7.0.2       
   Component:  Compiler          |      Version:  7.0.1       
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by simonpj):

 Great!  I'm on this.  Hopefully this is the cause of #4893, #4972

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