#2639: Core lint failure with type families, data families, and typeclasses
---------------------------------+------------------------------------------
    Reporter:  ryani             |        Owner:                  
        Type:  bug               |       Status:  new             
    Priority:  normal            |    Milestone:                  
   Component:  Compiler          |      Version:  6.9             
    Severity:  normal            |   Resolution:                  
    Keywords:                    |     Testcase:                  
Architecture:  Unknown/Multiple  |           Os:  Unknown/Multiple
---------------------------------+------------------------------------------
Changes (by ryani):

  * version:  6.8.3 => 6.9

Comment:

 This is on GHC head as of 9/29.

 The problem doesn't seem to manifest in the program; everything still runs
 fine.  It's possible the typechecker just isn't producing the correct
 evidence for the correct cast.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2639#comment:1>
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