[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
      Resolution:                |             Keywords:  PatternSynonyms
Operating System:  Linux         |         Architecture:  x86
 Type of failure:  Other         |            Test Case:
      Blocked By:                |             Blocking:
 Related Tickets:  #11367        |  Differential Rev(s):
       Wiki Page:                |
---------------------------------+---------------------------------------
Description changed by Iceland_jack:

Old description:

> {{{
> 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.

New description:

 {{{#!hs
 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#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler