diff options
| author | romes <rodrigo.m.mesquita@gmail.com> | 2023-03-24 14:11:11 +0000 |
|---|---|---|
| committer | Rodrigo Mesquita <rodrigo.m.mesquita@gmail.com> | 2023-03-27 21:33:31 +0100 |
| commit | 405c6825059a9c071479996025c52227e4aae85c (patch) | |
| tree | ef2331e0a03d6053131ad775ebd09169fc34d31b /libffi | |
| parent | be1d4be8d09072091b77cb68ccf234434754af00 (diff) | |
| download | haskell-wip/romes/static-gadt-con-info.tar.gz | |
Account for all VoidRep types on precomputedStaticConInfowip/romes/static-gadt-con-info
Previously, we were considering coercion values whose unlifted type
equality had a zerobit runtime representation (VoidRep) to be
constructor arguments when determining whether we should pre-compute a
staticConInfo for a data constructor.
This made it so that GADT constructors with type-equality constraints
that should have no runtime representation actually ended up impacting
the code generation.
Fixes #23158
Diffstat (limited to 'libffi')
0 files changed, 0 insertions, 0 deletions