[GHC] #11368: Pattern synonym name is mangled when patterns are non-exhaustive

[GHC]

#11368: Pattern synonym name is mangled when patterns are non-exhaustive
---------------------------------------+---------------------------
           Reporter:  Iceland_jack     |             Owner:
               Type:  bug              |            Status:  new
           Priority:  low              |         Milestone:
          Component:  Compiler         |           Version:  8.1
           Keywords:  PatternSynonyms  |  Operating System:  Linux
       Architecture:  x86              |   Type of failure:  Other
          Test Case:                   |        Blocked By:
           Blocking:                   |   Related Tickets:  #11367
Differential Rev(s):                   |         Wiki Page:
---------------------------------------+---------------------------
 {{{
 pattern A n <- ... where
         A 0 = ...
 }}}

 When a pattern synonym is non-exhaustive its name is mangled:

 {{{
 >>> A 3
 "*** Exception: /tmp/tmp.t0h0pMgwWb.hs:(4,1)-(5,14): Non-exhaustive
 patterns in function $bA
 }}}

 “Non-exhaustive patterns in pattern synonym A”

 [https://ghc.haskell.org/trac/ghc/ticket/11367?replyto=5#comment:1
 Comment] from ticket #11367.

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