Opened 4 years ago

Last modified 9 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: 7.12.1
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 Revisions:

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 (6)

comment:1 Changed 4 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 4 years ago by chak

  • Description modified (diff)
  • Owner changed from benl to chak
  • 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

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

comment:3 Changed 4 years ago by igloo

  • Milestone set to 7.6.1

comment:4 Changed 3 years ago by igloo

  • Milestone changed from 7.6.1 to 7.6.2

comment:5 Changed 14 months ago by thoughtpolice

  • Milestone changed from 7.6.2 to 7.10.1

Moving to 7.10.1.

comment:6 Changed 9 months ago by thoughtpolice

  • Milestone changed from 7.10.1 to 7.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.

Note: See TracTickets for help on using tickets.