Changes between Version 3 and Version 4 of GhcKinds/KindPolymorphism
 Timestamp:
 Aug 31, 2011 1:20:26 PM (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

GhcKinds/KindPolymorphism
v3 v4 26 26 27 27 f5 :: forall f (a :: k). f a > Int  Not in scope: kind variable `k' 28  We are a little unsure about this. Mabye we 29  should kindgeneralise 28 30 29 31 f6 :: forall k f a. f a > Int  Warning: Unused quantified type variable `k' 30 32  forall k (f :: * > *) (a :: *). f a > Int 31 33 32 f7 :: forall k f (a :: k). f a > Int  forall k (f :: k > *) (a :: k). f a > Int33 34 f7 :: forall k f (a :: k). f a > Int  forall k (f :: k > *) (a :: k). f a > Int 35 f8 :: forall k. forall f (a :: k). f a > Int  forall k (f :: k > *) (a :: k). f a > Int 34 36 35 37 g1 :: (f a > Int) > Int  forall (f :: k > *) (a :: k). (f a > Int) > Int