[GHC] #2587: Optimiser bug with extistentials and GADT's

GHC trac at galois.com
Mon Sep 15 11:28:14 EDT 2008


#2587: Optimiser bug with extistentials and GADT's
-------------------------------------------------------------------------------------+
 Reporter:  NeilMitchell                                                             |          Owner:         
     Type:  bug                                                                      |         Status:  closed 
 Priority:  normal                                                                   |      Milestone:         
Component:  Compiler                                                                 |        Version:  6.9    
 Severity:  normal                                                                   |     Resolution:  fixed  
 Keywords:  neil.mitchell.2 at credit-suisse.com, ganesh.sittampalam at credit-suisse.com  |     Difficulty:  Unknown
 Testcase:  gadt/T2587                                                               |   Architecture:  Unknown
       Os:  Unknown                                                                  |  
-------------------------------------------------------------------------------------+
Changes (by simonpj):

  * testcase:  => gadt/T2587
  * difficulty:  => Unknown
  * status:  new => closed
  * resolution:  => fixed

Comment:

 Excellent example, thank you.  Fixed by
 {{{
 Sun Sep 14 04:34:34 PDT 2008  simonpj at microsoft.com
   * Fix Trac #2587: take account of type lets
 }}}
 Simon

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


More information about the Glasgow-haskell-bugs mailing list