StgLint: Give up on trying to compare types
authorBen Gamari <bgamari.foss@gmail.com>
Tue, 29 Aug 2017 18:53:35 +0000 (14:53 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 29 Aug 2017 23:08:07 +0000 (19:08 -0400)
commitf17f1063a29452843195c59e6cca2191b9d46c7f
tree14a798d0aa9f5aa600fda92002f87f5e4fe3d595
parenta36b34c4821653e3db3ff24b903265a7750a3397
StgLint: Give up on trying to compare types

We used to try a crude comparison of the type themselves, but this is
essentially impossible in STG as we have discarded. both casts and type
applications, so types might look different but be the same.  Now we
simply compare their runtime representations.

See #14120.

Reviewers: austin

Subscribers: rwbarton, thomie

GHC Trac Issues: #14120

Differential Revision: https://phabricator.haskell.org/D3879
compiler/stgSyn/StgLint.hs