Changes between Version 15 and Version 16 of KindSystem


Ignore:
Timestamp:
Oct 17, 2008 9:07:47 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • KindSystem

    v15 v16  
    183183{{{ 
    184184  kind variable ::= k, ... etc 
    185   kind ::= * | kind -> kind | forall k. kind | k 
     185  monokind ::= * | monokind -> monokind | k 
     186  polykind ::= forall k1.. kn. monokind 
    186187 
    187188  sort ::= ** | sort -> sort 
     
    196197 * Do we have sort polymorphism?  No! 
    197198 
     199 * Do we have higher ranked kinds?  No (for now)!  Only a monokind on either side of an `(->)` in a kind.  The things that have polykinds are (top-level) type constructors and type functions. 
     200 
     201 * Impredicative kinds?  No! 
     202 
    198203== Examples ==  
    199204