Minor refactor of CUSK handling

Authored by simonpj on Feb 7 2019, 3:51 AM.

Description

Minor refactor of CUSK handling

Previously, in getFamDeclInitialKind, we were figuring
out whether the enclosing class decl had a CUSK very
indirectly, via tcTyConIsPoly. This patch just makes
the computation much more direct and easy to grok.

No change in behaviour.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Feb 8 2019, 10:00 AM
Parents
rGHCcefb780ee7ae: Comments only about the binder-swap in OccurAnal
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9bb23d5f8bd7: Minor refactor of CUSK handling (authored by simonpj).Feb 8 2019, 10:00 AM