#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