[GHC] #15209: ~# is always in scope with TypeOperators

[GHC]

#15209: ~# is always in scope with TypeOperators
-------------------------------------+-------------------------------------
        Reporter:  dfeuer            |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:  8.6.1
       Component:  Compiler          |              Version:  8.5
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC accepts       |  Unknown/Multiple
  invalid program                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4763
       Wiki Page:                    |
-------------------------------------+-------------------------------------

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

 In [changeset:"5b82ee695e1dbbe355c775e265521c4c3ee8cdbb/ghc"
 5b82ee69/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="5b82ee695e1dbbe355c775e265521c4c3ee8cdbb"
 Remove ~# from surface syntax

 For some reason, it seems that the `ConstraintKinds` commit
 introduced `~#` into Haskell syntax, in a pretty broken manner.
 Unless and until we have an actual story for unboxed equality,
 it doesn't make sense to expose it. Moreover, the way it was
 donet was wrong enough and small enough that it will probably be
 easier to start over if we do that. Yank it out.

 Reviewers: bgamari, RyanGlScott

 Reviewed By: RyanGlScott

 Subscribers: RyanGlScott, rwbarton, thomie, mpickering, carter

 GHC Trac Issues: #15209

 Differential Revision: https://phabricator.haskell.org/D4763
 }}}

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