Changes between Initial Version and Version 2 of Ticket #5470


Ignore:
Timestamp:
Sep 11, 2011 11:24:21 AM (4 years ago)
Author:
chak
Comment:

I bumped the limit up from 6 to 15. In the long term, we will need to break big tuples up as Roman suggested.

commit caf2f452d1d9cb7b7d9ae3798e78637ae9db84f8
Author: Manuel M T Chakravarty <[email protected]>
Date:   Sat Sep 10 16:53:17 2011 +1000

   Support PData tuple instances up to arity 15

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #5470

    • Property Owner changed from benl to chak
    • Property Summary changed from The DPH library needs to support PData and PRepr instances for more than 6-tuples to The DPH library needs to support PData and PRepr instances for more than 15-tuples
  • Ticket #5470 – Description

    initial v2  
    1 Currently, `Data.Array.Parallel.PArray.PDataInstances` only generates tuple instances up to 6-tuple.  This is not sufficient as these instances are used for environments of closures by the vectoriser — i.e., once a closures has more than 6 free variables, the compiler fails with `VectMonad.lookupFamInst: not found`. 
     1Currently, `Data.Array.Parallel.PArray.PDataInstances` only generates tuple instances up to 6-tuple.  This is not sufficient as these instances are used for environments of closures by the vectoriser — i.e., once a closures has more than 15 free variables, the compiler fails with `VectMonad.lookupFamInst: not found`. 
    22 
    3 To fix this in the DPH library, `vector` needs support for `zip` and `unzip` beyond 6-tuples as well.