#10653: PatternSynonyms should be imported/exported as part of the wildcard notation -------------------------------------+------------------------------------- Reporter: gridaphobe | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: pattern Operating System: Unknown/Multiple | synonyms Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): I don't really agree. What would you say for {{{ pattern P x = Tree (Just x) }}} would you put it in list or Maybe? What about this? {{{ pattern Q x = (x, True) }}} Would you export it with pairs? Pattern synonyms inherently do not belong to one type in the way that data constructors do. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10653#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler