Changes between Version 5 and Version 6 of Language/KindsAndTypes

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

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/KindsAndTypes

    v5 v6  
    2929   
    3030ConstrainedType 
    31     ::=  SimpleType 
    32      |   SimpleType      :-  Constraint  ,Constraint* 
    33      |   ClassConstraint =>  ConstrainedType 
    34      |   HsContext       =>  SimpleType 
     31    ::=                SimpleType      (:-  Constraint  ,Constraint*)? 
     32     |   Context   =>  SimpleType      (:-  Constraint  ,Constraint*)? 
     33     |   HsContext =>  SimpleType      (:-  Constraint  ,Constraint*)? 
     34 
     35Context 
     36    ::=  ClassConstraint  =>ClassConstraint* 
    3537 
    3638HsContext  
    37     ::=  ClassConstraint 
    38      |   (  ClassConstraint  ,ClassConstraint*  ) 
     39    ::=  (  ClassConstraint  ,ClassConstraint*  ) 
    3940 
    4041SimpleType