diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2021-11-07 13:09:06 +0100 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2021-11-07 13:24:23 +0100 |
| commit | 92fa182f59172785ff835c9e70c4dc23727efd4a (patch) | |
| tree | 711ea43b3228d99c88ea66485725deaeba253f01 /.gitmodules | |
| parent | 9cc6c1932dbbd3d27405a8ebe5586a0ef09dd7fd (diff) | |
| download | haskell-92fa182f59172785ff835c9e70c4dc23727efd4a.tar.gz | |
Pmc: Do inhabitation test for unlifted vars (#20631)wip/T20631
Although I thought we were already set to handle unlifted datatypes correctly,
it appears we weren't. #20631 showed that it's wrong to assume
`vi_bot=IsNotBot` for `VarInfo`s of unlifted types from their inception if we
don't follow up with an inhabitation test to see if there are any habitable
constructors left. We can't trigger the test from `emptyVarInfo`, so now we
instead fail early in `addBotCt` for variables of unlifted types.
Fixed #20631.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions