Changes between Version 63 and Version 64 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
May 3, 2007 2:35:06 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v63 v64  
    322322
    323323{{{
     324cc[[C e1 .. en]] = C_CC e1 .. en   , if C_CC exists
     325                                     and arity C = n
     326                 =                 , if C_CC exists
     327  lam_k $ \x'0 .. x'k ->           , and arity C = k + 1 + n
     328    (\(x1, .., xn) x(n+1) ->
     329      C_CC x1 xn x(n+1) x'0 .. x'k :$ (e1, .. en))
    324330cc[[x::t]]       = x_CC            , if x_CC exists
    325331                 = to iso<t> x_CC  , otherwise
    326332cc[[lit]]        = lit
    327 cc[[C e1 .. en]] = ccCon C [e1 .. en]]
    328333cc[[e1 e2]]      = cc[[e1]] $: cc[e2]
    329334cc
    330 }}}
    331 where
    332 {{{
    333 ccCon (C::t) [[e1 .. en]]
    334   = C_CC e1 .. en                   , if C_CC exists
    335                                       and arity C = n
    336   = (to iso<t> C) $: e1 $: .. $: en , otherwise
    337335}}}
    338336