Changes between Version 71 and Version 72 of DataParallel/ClosureConversion/ClassLess

Timestamp:

05/17/07 23:39:43 (6 years ago)

Author:

chak

Comment:

--

DataParallel/ClosureConversion/ClassLess

@@ -367 +367 @@
 cc[[e1 e2]]              = cc[[e1]] $: cc[e2]
 cc[[e1@t]]               = cc[[e1]]@t^
-cc[[\x -> e]]            = lam_1 $ \x_CC -> cc[e]]
+cc[[\x -> e]]            = (\(y1, .., yn) x_CC -> cc[e]]) :$
+                           (y1, .., yn)
+  where
+    y1 .. yn = FV e
+cc[[/\a -> e]]           = /\a -> cc[e]]
 cc[let x = e1 in e2]     = let x_CC = cc[[e1]] in cc[[e2]]
 cc[[case e x::t of alts]]= case cc[[e]] x_CC::t^