Changes between Version 39 and Version 40 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
May 1, 2007 2:09:15 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v39 v40  
    179179}}} 
    180180 
     181=== Converting type terms === 
     182 
     183We determine the converted type `t^` of `t` as follows: 
     184{{{ 
     185T^            = T_CC , if tyConCC T == ConvCC T_CC 
     186                T    , otherwise 
     187a^            = a     
     188(t1 t2)^      = t1^ t2^ 
     189(forall a.t)^ = forall a.t^ 
     190}}} 
     191 
    181192 
    182193---- 
     
    185196 
    186197 
    187 === Converting type terms === 
    188  
    189 We determine the converted type `t^` of `t` as follows: 
    190 {{{ 
    191 T^            = T_CC , if available 
    192                 T    , otherwise 
    193 a^            = a 
    194 (t1 t2)^      = t1^ t2^ 
    195 (t1 -> t2)^   = Clo t1 t2 
    196 (forall a.t)^ = forall a.t^ 
    197 (C t1 => t2)^ = C_CC t1^ => t2^ , if available 
    198                 C t1^ => t2^    , otherwise 
    199 }}} 
    200198 
    201199=== Converting value bindings ===