#5224: Improve consistency checking for family instances
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:                              
        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 performance bug
---------------------------------+------------------------------------------

Comment(by simonmar):

 Replying to [comment:2 daniel.is.fischer]:
 > Didn't find this soon enough: as reported in #5232, T3064 and T4801 now
 use less than the minimum allowed, additionally, I got an unexpected pass
 for !IndTypesPerf. So the issue might be fixed already. Definitely worth a
 check, IMO.

 There is a temporary workaround in place, Igloo removed the `deriving
 Generics` from `Data.Tuple` due to #5227.  This accounts for some
 unexpected passes and/or failures, some of which I just fixed.

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

_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to