[GHC] #8757: Disallow local pattern synonym declarations

9 Feb 2014


      #8757: Disallow local pattern synonym declarations
-------------------------------------+-------------------------------------
       Reporter:  cactus             |             Owner:
           Type:  bug                |            Status:  new
       Priority:  normal             |         Milestone:
      Component:  Compiler (Type     |           Version:  7.8.1-rc1
  checker)                           |  Operating System:  Unknown/Multiple
       Keywords:                     |   Type of failure:  GHC accepts
   Architecture:  Unknown/Multiple   |  invalid program
     Difficulty:  Easy (less than 1  |         Test Case:
  hour)                              |          Blocking:
     Blocked By:                     |
Related Tickets:                     |
-------------------------------------+-------------------------------------
 Locally-defined pattern synonyms work by accident in GHC and crash GHCi
 (see #8749), but certainly not by design. It can be confusing because it
 introduces shadowing to constructor-like names.

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