Changes between Version 59 and Version 60 of DataParallel/ClosureConversion/ClassLess
- Timestamp:
- 05/01/07 19:29:41 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
DataParallel/ClosureConversion/ClassLess
v59 v60 140 140 idIso<k1->k2> = \_ -> (idIso<k2>) 141 141 }}} 142 143 '''TODO:''' This doesn't work for types with constructor variables yet, as the `f (Int -> Int)` example below. Roman has an example, where we actually do need a conversion of the `Int -> Int` to a closure. 142 144 143 145 ==== Examples ====
