#8583: Associated pattern synonyms -------------------------------------+------------------------------------- Reporter: cactus | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | Keywords: | PatternSynonyms Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 5144 | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Shayan-Najd): I am writing to resurrect this ticket! Nowadays, we can use `COMPLETE` pragmas to group together an arbitrary collection of synonyms. Why not also grouping the so called polymorphic pattern synonyms under type classes and having the totality condition derived from the association? (seems the most natural place for `COMPLETE`). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8583#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler