#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