[GHC] #1089: Somewhat bad type error message

GHC trac at galois.com
Tue Jan 9 14:33:45 EST 2007


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

  * resolution:  => wontfix
  * status:  new => closed

Comment:

 Thanks for the suggestions, but I don't really see how to improve this.
 Sometimes it's really, really heplful to have the localised mis-match,
 rather than
 {{{
 Can't match (Tree Int -> [[Maybe a]] -> [Tree (Maybe a)])
 with (Tree Int -> [[a]] -> [Tree (Maybe a)}
 }}}
 when it's hard to do a visual diff.  I suppose I could leave out the
 "rigid" part if that would be less confusing.

 Simon

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


More information about the Glasgow-haskell-bugs mailing list