[GHC] #8757: Disallow local pattern synonym declarations

GHC ghc-devs at haskell.org
Sun Feb 9 09:18:02 UTC 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


More information about the ghc-tickets mailing list