Changes between Version 39 and Version 40 of DataParallel/ClosureConversion/ClassLess
 Timestamp:
 May 1, 2007 2:09:15 AM (9 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

DataParallel/ClosureConversion/ClassLess
v39 v40 179 179 }}} 180 180 181 === Converting type terms === 182 183 We determine the converted type `t^` of `t` as follows: 184 {{{ 185 T^ = T_CC , if tyConCC T == ConvCC T_CC 186 T , otherwise 187 a^ = a 188 (t1 t2)^ = t1^ t2^ 189 (forall a.t)^ = forall a.t^ 190 }}} 191 181 192 182 193  … … 185 196 186 197 187 === Converting type terms ===188 189 We determine the converted type `t^` of `t` as follows:190 {{{191 T^ = T_CC , if available192 T , otherwise193 a^ = a194 (t1 t2)^ = t1^ t2^195 (t1 > t2)^ = Clo t1 t2196 (forall a.t)^ = forall a.t^197 (C t1 => t2)^ = C_CC t1^ => t2^ , if available198 C t1^ => t2^ , otherwise199 }}}200 198 201 199 === Converting value bindings ===