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


Ignore:
Timestamp:
May 3, 2007 2:35:06 PM (7 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