Changes between Version 4 and Version 5 of GhcKinds/KindPolymorphism


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

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/KindPolymorphism

    v4 v5  
    1111    * no implicit foralls even for kind variables 
    1212    * no kind generalization, which means defaulting flexi meta kind variables to `*` 
    13   * When there is no explicit foralls, we add an implicit forall for not-in-scope ''type'' variables in the renamer and we kind generalize in the type checker 
     13  * When there is no explicit `forall`, we add an implicit forall for not-in-scope ''type'' variables in the renamer and we kind generalize in the type checker 
     14  * Kind variable mentioned in types must always be bound by an explicit `forall`, unlike type variables for which Haskell adds an implicit `forall`. 
    1415  * In the context of a function signature, an explicit forall binds its variables (type or kind) in the function equations (as it is currently the case for type variables). 
    1516