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


Ignore:
Timestamp:
May 3, 2007 1:20:07 PM (8 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