19 Mar
2007
19 Mar
'07
12:58 p.m.
On Mon, 19 Mar 2007, Ian Lynagh wrote:
On Sun, Mar 18, 2007 at 05:47:21PM +0000, C Rodrigues wrote:
Type synonyms aren't applied as I would expect during kind checking. What's going on here?
type WithList a b = b [a] type FooPair a b = (b, a -> b)
-- error: `WithList' is applied to too many type arguments ints1 :: WithList Int FooPair [Int] ints1 = ([1], id)
That's caused by kind defaulting, as bulat said.
In Haskell 98 it is not allowed to define type synonymes in a partially applied manner. That is, there is no alternative to type WithList a b c = b [a] c