Changes between Version 9 and Version 10 of DataParallel/Vectorisation


Ignore:
Timestamp:
May 28, 2007 6:20:30 AM (8 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