Non-ideal error with a kind error in a tuple
|Reported by:||monoidal||Owned by:|
|Component:||Compiler (Type checker)||Version:||7.6.3|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||typecheck/should_fail/T8514||Blocked By:|
type T a = (a, Maybe)
gives an error:
Expecting one more argument to ‛a’ The first argument of a tuple should have kind ‛*’, but ‛a’ has kind ‛* -> *’
However, obviously that's not the problem - the error should point to the Maybe part.
Change History (3)
Note: See TracTickets for help on using tickets.