[GHC] #14120: Type comparison in stg-lint is hopelessly broken

[GHC]

#14120: Type comparison in stg-lint is hopelessly broken
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D3879
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"f17f1063a29452843195c59e6cca2191b9d46c7f/ghc" f17f106/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="f17f1063a29452843195c59e6cca2191b9d46c7f"
 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
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14120#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler