[GHC] #5285: Core lint error in T3001-2 [7.0 regression]

[GHC]

#5285: Core lint error in T3001-2 [7.0 regression]
---------------------------------+------------------------------------------
    Reporter:  simonmar          |        Owner:  simonpj           
        Type:  bug               |       Status:  new               
    Priority:  highest           |    Milestone:  7.2.1             
   Component:  Compiler          |      Version:  7.0.3             
    Keywords:                    |     Testcase:                    
   Blockedby:                    |   Difficulty:                    
          Os:  Unknown/Multiple  |     Blocking:                    
Architecture:  Unknown/Multiple  |      Failure:  Compile-time crash
---------------------------------+------------------------------------------

Comment(by simonpj@…):

 commit 0971055c2745b0cb2e167167ceb7a614ea5f8aca
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Thu Jul 21 12:54:51 2011 +0100

     Eta expand partial applications

     When we have
          x = \v -> map g
     we want to eta-expand to
          x = \v y -> map g y

     We weren't doing so, and that led to worse code and,
     perhaps, #5285.  I need to check the latter, but I
     was certainly seeing one similar error.  Anyway
     this looks like a definite improvement

  compiler/simplCore/SimplUtils.lhs |   28 ++++++++++++++++++++++++----
  1 files changed, 24 insertions(+), 4 deletions(-)
 }}}

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