Changes between Version 7 and Version 8 of Language/KindsAndTypes

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

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/KindsAndTypes

    v7 v8  
    2929   
    3030ConstrainedType 
    31     ::=                SimpleType (:-  Constraint  ,Constraint*)? 
    32      |   Context   =>  SimpleType (:-  Constraint  ,Constraint*)? 
    33      |   HsContext =>  SimpleType (:-  Constraint  ,Constraint*)? 
     31    ::=                 SimpleType (:-  Constraint  ,Constraint*)? 
     32     |   Context    =>  SimpleType (:-  Constraint  ,Constraint*)? 
     33     |   HsContext  =>  SimpleType (:-  Constraint  ,Constraint*)? 
    3434 
    3535Context