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


Ignore:
Timestamp:
May 3, 2007 1:20:07 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v62 v63  
    321321=== Converting terms === 
    322322 
     323{{{ 
     324cc[[x::t]]       = x_CC            , if x_CC exists 
     325                 = to iso<t> x_CC  , otherwise 
     326cc[[lit]]        = lit 
     327cc[[C e1 .. en]] = ccCon C [e1 .. en]] 
     328cc[[e1 e2]]      = cc[[e1]] $: cc[e2] 
     329cc 
     330}}} 
     331where 
     332{{{ 
     333ccCon (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 
     337}}} 
     338 
    323339---- 
    324340chak: revision front