[GHC] #674: Bad error message: varying arguments

GHC trac at galois.com
Sat Jan 28 04:21:10 EST 2006


#674: Bad error message: varying arguments
----------------------------------------+-----------------------------------
    Reporter:  guest                    |        Owner:         
        Type:  feature request          |       Status:  new    
    Priority:  normal                   |    Milestone:         
   Component:  Compiler (Type checker)  |      Version:  6.4.1  
    Severity:  normal                   |     Keywords:         
          Os:  Unknown                  |   Difficulty:  Unknown
Architecture:  Unknown                  |  
----------------------------------------+-----------------------------------
A function definition like
 {{{
 f :: Maybe () -> Char
 f Nothing = 'a'
 f Just () = 'b'
 }}}
 yields the error message

   Varying number of arguments for function `f'

 under 6.4.1 (pointing to the line with Nothing as containing the error).
 The following error message would be easier to understand for beginners
 (pointing to the line with Just):

   The type signature for f specifies that the function should take one
 argument, but you have given it two arguments.

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


More information about the Glasgow-haskell-bugs mailing list