Changes between Version 4 and Version 5 of Language/KindsAndTypes

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

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/KindsAndTypes

    v4 v5  
    3030ConstrainedType 
    3131    ::=  SimpleType 
    32      |   SimpleType  :-  Constraint  ,Constraint* 
    33      |   Context     =>  ConstrainedType 
     32     |   SimpleType      :-  Constraint  ,Constraint* 
     33     |   ClassConstraint =>  ConstrainedType 
     34     |   HsContext       =>  SimpleType 
    3435 
    35 Context  
     36HsContext  
    3637    ::=  ClassConstraint 
    37      |   ClassConstraint  =>ClassConstraint* 
    3838     |   (  ClassConstraint  ,ClassConstraint*  ) 
    3939