Re: [GHC] #14500: Coercion artifact ‘cobox’ appears in error message

[GHC]

#14500: Coercion artifact ‘cobox’ appears in error message
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  bug               |               Status:  new
        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):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 Well, if the name "`cobox`" bothers you, you'll be happy to know that that
 name is no longer used in GHC HEAD (after
 79ae03aa32c277ae93827519ed7738938e3e1572):

 {{{
 $ ~/Software/ghc/inplace/bin/ghc-stage2 --interactive Bug.hs -fprint-
 explicit-coercions
 GHCi, version 8.3.20171118: http://www.haskell.org/ghc/  :? for help
 Loaded GHCi configuration from /home/rgscott/.ghci
 [1 of 1] Compiling Main             ( Bug.hs, interpreted )

 Bug.hs:14:39: error:
     • Couldn't match type ‘()’ with ‘TypeRep (a |> co)’
       Expected type: TypeRep a
         Actual type: ()
     • In the pattern: ()
       In the pattern: Bloop' (HRefl :: N :~~: kk) ()
       In the declaration for pattern synonym ‘SO’
    |
 14 | pattern SO <- Bloop' (HRefl::N:~~:kk) ()
    |                                       ^^
 }}}

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