#1730: type families GHC "impossible happened"
------------------------------------+---------------------------------------
    Reporter:  guest                |        Owner:         
        Type:  bug                  |       Status:  new    
    Priority:  normal               |    Milestone:         
   Component:  Compiler             |      Version:  6.8    
    Severity:  normal               |   Resolution:         
    Keywords:  type families panic  |   Difficulty:  Unknown
          Os:  Unknown              |     Testcase:         
Architecture:  Unknown              |  
------------------------------------+---------------------------------------
Comment (by guest):

 Oh, and a slightly older build produces the following error on the same
 file:
 {{{
 $ ghci Foldable.hs
 GHCi, version 6.8.0.20070919: http://www.haskell.org/ghc/  :? for help
 Loading package base ... linking ... done.
 [1 of 1] Compiling Data.Collections.Foldable ( Foldable.hs, interpreted )

 Foldable.hs:131:10:
     Couldn't match expected type `FoldElem t'
            against inferred type `FoldElem t'
       Expected type: Maybe (FoldElem t)
                      -> FoldElem t
                      -> Maybe (FoldElem t)
       Inferred type: Maybe (FoldElem t)
                      -> FoldElem t
                      -> Maybe (FoldElem t)
     In the first argument of `foldl', namely `mf'
     In the second argument of `fromMaybe', namely
         `(foldl mf Nothing xs)'
 Failed, modules loaded: none.
 }}}

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