Changes between Version 3 and Version 4 of GhcKinds/KindPolymorphism


Ignore:
Timestamp:
Aug 31, 2011 1:20:26 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindPolymorphism

    v3 v4  
    2626 
    2727f5 :: 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 kind-generalise 
    2830 
    2931f6 :: forall k f a. f a -> Int         -- Warning: Unused quantified type variable `k' 
    3032                                       -- forall k (f :: * -> *) (a :: *). f a -> Int 
    3133 
    32 f7 :: forall k f (a :: k). f a -> Int  -- forall k (f :: k -> *) (a :: k). f a -> Int 
    33  
     34f7 :: forall k f (a :: k). f a -> Int           -- forall k (f :: k -> *) (a :: k). f a -> Int 
     35f8 :: forall k. forall f (a :: k). f a -> Int  -- forall k (f :: k -> *) (a :: k). f a -> Int 
    3436 
    3537g1 :: (f a -> Int) -> Int                      -- forall (f :: k -> *) (a :: k). (f a -> Int) -> Int