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


Ignore:
Timestamp:
May 18, 2007 6:39:43 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v71 v72  
    367367cc[[e1 e2]]              = cc[[e1]] $: cc[e2] 
    368368cc[[e1@t]]               = cc[[e1]]@t^ 
    369 cc[[\x -> e]]            = lam_1 $ \x_CC -> cc[e]] 
     369cc[[\x -> e]]            = (\(y1, .., yn) x_CC -> cc[e]]) :$ 
     370                           (y1, .., yn) 
     371  where 
     372    y1 .. yn = FV e 
     373cc[[/\a -> e]]           = /\a -> cc[e]] 
    370374cc[let x = e1 in e2]     = let x_CC = cc[[e1]] in cc[[e2]] 
    371375cc[[case e x::t of alts]]= case cc[[e]] x_CC::t^