Changes between Version 4 and Version 5 of DataParallel/ClosureConversion/Indexed


Ignore:
Timestamp:
Apr 18, 2007 1:10:32 AM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/Indexed

    v4 v5  
    1010The most interesting instance is that for functions, which reads
    1111{{{
    12 data Clo a b = forall e. Clo (c -> a -> b) e
     12data Clo a b = forall e. Clo (e -> a -> b) e
    1313
    1414class (CC a, CC b) => CC (a -> b) where
    1515  data CConv (a -> b) = CCArrow (Clo (CConv a) (CConv b))
    16   to f = Clo (\_ -> f) ()
    17   fr (Clo f e) = f e
     16  to f = CCArrow (Clo (\_ -> f) ())
     17  fr (CCArrow (Clo f e)) = f e
    1818}}}
    1919