#8582: Record syntax for pattern synonyms -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: 5144 | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by blamario): I just ran into this issue. I'm trying to generalize a legacy record type like {{{ data Foo = Foo{bar :: String} }}} to {{{ data GenFoo s = GenFoo{bar :: s} }}} Unfortunately there is no way to provide a backward-compatible interface after this change. I'm hoping with this feature the solution might be as simple as {{{ type Foo = GenFoo String pattern Foo{bar} = GenFoo bar }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8582#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler