Changes between Version 9 and Version 10 of Language/KindsAndTypes

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

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/KindsAndTypes

    v9 v10  
    88 
    99SimpleKind 
    10     ::=  *                      -- value type kind 
     10    ::=  (  Kind  )  
     11     |   *                      -- value type kind 
    1112     |   %                      -- region kind 
    1213     |   !                      -- effect kind 
    1314     |   $                      -- closure kind 
    1415     |   +                      -- witness kind 
    15      |   (  Kind  )  
     16   
    1617}}} 
    1718