#10653: PatternSynonyms should be imported/exported as part of the wildcard notation -------------------------------------+------------------------------------- Reporter: gridaphobe | Owner: mpickering Type: feature request | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: pattern | synonyms Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): Replying to [comment:22 goldfire]:
I think Simon's worry is that there will be some inference of associations between pattern synonyms and datatypes. In the proposals as I see them, this is ''not'' the case. ... Does that clarify?
Alas, no. I simply don't know what the proposal ''is''! I'd love to see a specification. Then I'd know if I was worried or not :-). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10653#comment:23 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler