Changes between Version 9 and Version 10 of DataParallel/Vectorisation


Ignore:
Timestamp:
May 28, 2007 6:20:30 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/Vectorisation

    v9 v10  
    7777vect f = Fun f (mapP f) 
    7878}}} 
     79 
     80Hmm, thinking about this, a data type will get us into trouble with unboxed types.  Maybe 
     81{{{ 
     82type a ->> b = (a -> b) :*: (a^ -> b^) 
     83vect :: (a -> b) -> (a ->> b) 
     84vect f = f :*: mapP f 
     85}}} 
     86But that doesn't make any sense due to the `a^` and `b^`.  Seems like we have to hardcode this representation into the type translation scheme. 
    7987---- 
    8088