Changes between Version 67 and Version 68 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
May 7, 2007 11:12:10 AM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v67 v68  
    3838 * For each data type `T`, create a closure-converted data type `T_CC`, whose constructors use `(:->)` instead of `(->)`.  
    3939 
    40  * The value `iso<ty>` is a pair of functions, converting to and fro between `ty` and `ty^`. 
    41 Like "`^`", the `iso<ty>` thing should be considered as a meta-function that works recursively on `ty`. 
     40 * The value `iso<ty>` is a pair of functions, converting to and fro between `ty` and `ty^`.  Like "`^`", the `iso<ty>` thing should be considered as a meta-function that works recursively on `ty`. 
    4241 
    4342Invariants: