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


Ignore:
Timestamp:
May 18, 2007 6:39:43 AM (8 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^