[GHC] #4020: Please consider adding support for local type synonyms

[GHC]

#4020: Please consider adding support for local type synonyms
-------------------------------------+-------------------------------------
        Reporter:  nr                |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  low               |            Milestone:
       Component:  Compiler (Type    |              Version:  6.12.2
  checker)                           |
      Resolution:                    |             Keywords:  type synonym
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 AntC):

 Replying to [comment:15 Iceland_jack]:
 > Allowing local data declarations would be more useful (local pattern
 synonyms even more so)

 Those are two further proposals. Let's not muddle them up on one ticket.
 (Do consider raising them as github proposals; but it'll need more than
 three words to explain what you mean.) It would be worth asking first on
 StackOverflow or the cafe why Haskell doesn't currently do "local"
 anything in the type system.

 You can use export/import settings to make the declared names local to a
 module. But I guess that's not what you're talking about(?)

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