[GHC] #1089: Somewhat bad type error message

[GHC]

#1089: Somewhat bad type error message
-------------------------------------+--------------------------------------
 Reporter:  kirsten                  |          Owner:          
     Type:  bug                      |         Status:  new     
 Priority:  lowest                   |      Milestone:          
Component:  Compiler (Type checker)  |        Version:  6.6     
 Severity:  trivial                  |     Resolution:          
 Keywords:                           |     Difficulty:  Unknown 
 Testcase:                           |   Architecture:  Multiple
       Os:  Multiple                 |  
-------------------------------------+--------------------------------------
Comment (by kirsten):

 Oops, ignore the error message in the comment there. The actual error
 message from ghc for the code as it is there is:
 {{{
 Small.hs:5:50:
     Couldn't match expected type `a' (a rigid variable)
            against inferred type `Maybe a1'
       `a' is bound by the type signature for `filterNothings'
         at Small.hs:4:26
       Expected type: [a] -> Bool
       Inferred type: [Maybe a1] -> Bool
     In the first argument of `filter', namely `someFun'
     In the expression: (filter someFun xs)
 }}}

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