logo       

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

lang.haskell.glasgow.bugs

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

#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_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise