Bad error message: varying arguments
|Reported by:||guest||Owned by:|
|Component:||Compiler (Type checker)||Version:||6.4.1|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||Blocked By:|
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.
Change History (5)
comment:1 Changed 8 years ago by simonmar
- Resolution set to wontfix
- Status changed from new to closed