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


Ignore:
Timestamp:
May 7, 2007 11:12:10 AM (8 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: