Changes between Version 2 and Version 3 of Language/KindsAndTypes

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

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/KindsAndTypes

    v2 v3  
    3030ConstrainedType 
    3131    ::=  SimpleType 
    32      |   SimpleType      :-  Constraint  ,Constraint* 
    33      |   ClassConstraint => ConstrainedType 
    34      |  (ClassConstraint  ,ClassConstraint*) => ConstrainedType 
     32     |   SimpleType  :-  Constraint  ,Constraint* 
     33     |   Context     =>  ConstrainedType 
     34 
     35Context  
     36    ::=  ClassConstraint 
     37     |   ClassConstraint  =>ClassConstraint* 
     38     |   (  ClassConstraint  ,ClassConstraint*  ) 
    3539 
    3640SimpleType