Changes between Version 1 and Version 2 of Language/KindsAndTypes

Show
Ignore:
Timestamp:
06/25/09 02:43:06 (4 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/KindsAndTypes

    v1 v2  
    1515     |   (  Kind  )  
    1616}}} 
     17 
     18 
     19Types 
     20 
     21{{{ 
     22Type 
     23    ::=  SimpleType 
     24     |   forall  TyVarKind+  .  ConstrainedType 
     25 
     26TyVarKind  
     27    ::=  TyVar   
     28     |   (  TyVar  ::  Kind  )               -- check this 
     29   
     30ConstrainedType 
     31    ::=  SimpleType 
     32     |   SimpleType      :-  Constraint  ,Constraint* 
     33     |   ClassConstraint => ConstrainedType 
     34     |  (ClassConstraint  ,ClassConstraint*) => ConstrainedType 
     35 
     36SimpleType 
     37    ::=   
     38     
     39 
     40}}}