desugar: Catch levity polymorphism in unboxed sum expressions
authorBen Gamari <ben@smart-cactus.org>
Tue, 26 Sep 2017 18:52:26 +0000 (14:52 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 26 Sep 2017 21:40:03 +0000 (17:40 -0400)
commit018c40fb1bb27853d0cefa5b90a44ce13e91a856
treeb76d4e1b419200d6ea296384ac0e8bcb13580a10
parent8f468fe05cf81ca516b3a8cf66792f842dbfcf40
desugar: Catch levity polymorphism in unboxed sum expressions

Fixes #13929.
compiler/deSugar/DsExpr.hs
testsuite/tests/typecheck/should_fail/T13929.stderr
testsuite/tests/typecheck/should_fail/all.T