Changes between Version 6 and Version 7 of GhcKinds/KindPolymorphism


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

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindPolymorphism

    v6 v7  
    6666{{{ 
    6767class C1 (f :: k1 -> *) (g :: k2 -> k1) where  -- forall k1 k2. (k1 -> *) -> (k2 -> k1) -> Constraint 
    68   foo :: f (g a) -> f b                        -- forall (a :: k2) (b :: k1). f (g a) -> f b 
     68  foo :: f (g a) -> (f :: k1 -> *) b           -- forall (a :: k2) (b :: k1). f (g a) -> f b 
     69          -- Note that k1 and k2 scope over the type signatures 
     70          -- just as f and g do. 
    6971 
    7072-- C2 looks much easier with defaulting