Fix missing unboxed tuple RuntimeReps (#16565)

Authored by monoidal on May 5 2019, 1:37 PM.

Description

Fix missing unboxed tuple RuntimeReps (Trac #16565)

Unboxed tuples and sums take extra RuntimeRep arguments,
which must be manually passed in a few places.
This was not done in deSugar/Check.

This error was hidden because zipping functions in TyCoRep
ignored lists with mismatching length. This is now fixed;
the lengths are now checked by calling zipEqual.

As suggested in Trac #16565, I moved checking for isTyVar and
isCoVar to zipTyEnv and zipCoEnv.

(cherry picked from commit 69b1633104a43d5654e65f2c05fa6b73775936e2)

Details

Committed
bgamariJun 24 2019, 5:35 PM
Parents
rGHC8a9cbe082467: powerpc32: fix stack allocation code generation
Branches
Unknown
Tags
Unknown