Ensure that coreView/tcView are able to inline

Authored by bgamari on Nov 7 2019, 1:31 PM.

Description

Ensure that coreView/tcView are able to inline

Previously an import cycle between Type and TyCoRep meant that several
functions in TyCoRep ended up SOURCE import coreView. This is quite
unfortunate as coreView is intended to be fused into a larger pattern
match and not incur an extra call.

Fix this with a bit of restructuring:

  • Move the functions in TyCoRep which depend upon things in Type into Type
  • Fold contents of Kind into Type and turn Kind into a simple wrapper re-exporting kind-ish things from Type
  • Clean up the redundant imports that popped up as a result

Closes Trac #17441.

Metric Decrease:

T4334

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Nov 13 2019, 6:06 AM
Parents
rGHC535d0edc11e6: Document CmmTopInfo type
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC2d4f9ad89cb7: Ensure that coreView/tcView are able to inline (authored by bgamari).Nov 13 2019, 6:06 AM