Opened 6 years ago

Last modified 17 months ago

#5470 new bug

The DPH library needs to support PData and PRepr instances for more than 15-tuples

Reported by: chak Owned by: chak
Priority: normal Milestone:
Component: Data Parallel Haskell Version: 7.3
Keywords: Cc: rleshchinskiy@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Compile-time crash Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description (last modified by chak)

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 15 free variables, the compiler fails with VectMonad.lookupFamInst: not found.

Change History (8)

comment:1 Changed 6 years ago by rl

The vectoriser should map tuples which are too large to smaller nested tuples, just like GHC does. We've never hit the upper bound anyway so I didn't implement it but it's something that needs to be done eventually since there will always be some upper bound.

comment:2 Changed 6 years ago by chak

Description: modified (diff)
Owner: changed from benl to chak
Summary: The DPH library needs to support PData and PRepr instances for more than 6-tuplesThe DPH library needs to support PData and PRepr instances for more than 15-tuples

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 <chak@cse.unsw.edu.au>
Date:   Sat Sep 10 16:53:17 2011 +1000

   Support PData tuple instances up to arity 15

comment:3 Changed 6 years ago by igloo

Milestone: 7.6.1

comment:4 Changed 5 years ago by igloo

Milestone: 7.6.17.6.2

comment:5 Changed 3 years ago by thoughtpolice

Milestone: 7.6.27.10.1

Moving to 7.10.1.

comment:6 Changed 2 years ago by thoughtpolice

Milestone: 7.10.17.12.1

Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone.

comment:7 Changed 21 months ago by thoughtpolice

Milestone: 7.12.18.0.1

Milestone renamed

comment:8 Changed 17 months ago by bgamari

Milestone: 8.0.1

Moving DPH tickets out to _|_ as the project is more or less stagnant.

Note: See TracTickets for help on using tickets.