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


Ignore:
Timestamp:
Apr 18, 2007 1:10:32 AM (7 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