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


Ignore:
Timestamp:
May 1, 2007 2:09:15 AM (8 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 ===