diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2019-05-05 20:37:31 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2019-05-21 10:41:40 +0200 |
| commit | 73d559136814e3ed9dcbab19ec4d746a7ee3173d (patch) | |
| tree | b98d6e3af301c28370993f3da1e471e56d20dce9 /compiler/utils/Exception.hs | |
| parent | a5fdd185188fcda595fd712f90864ec7c20cdace (diff) | |
| download | haskell-wip/fix-zipping.tar.gz | |
Fix missing unboxed tuple RuntimeReps (#16565)wip/fix-zipping
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 #16565, I moved checking for isTyVar and
isCoVar to zipTyEnv and zipCoEnv.
Diffstat (limited to 'compiler/utils/Exception.hs')
0 files changed, 0 insertions, 0 deletions