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

Timestamp:

05/03/07 06:20:07 (6 years ago)

Author:

chak

Comment:

--

DataParallel/ClosureConversion/ClassLess

@@ -321 +321 @@
 === Converting terms ===
 
+{{{
+cc[[x::t]]       = x_CC            , if x_CC exists
+                 = to iso<t> x_CC  , otherwise
+cc[[lit]]        = lit
+cc[[C e1 .. en]] = ccCon C [e1 .. en]]
+cc[[e1 e2]]      = cc[[e1]] $: cc[e2]
+cc
+}}}
+where
+{{{
+ccCon (C::t) [[e1 .. en]] 
+  = C_CC e1 .. en                   , if C_CC exists 
+                                      and arity C = n
+  = (to iso<t> C) $: e1 $: .. $: en , otherwise
+}}}
+
 ----
 chak: revision front