
#12061: Allow duplicate record fields in pattern synonyms -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- `DuplicateRecordFields` seems to not work for pattern synonyms {{{#!hs {-# Language PatternSynonyms, DuplicateRecordFields, NamedFieldPuns #-} pattern A{x} = Just x pattern B{x} = Just x }}} {{{ tg4t.hs:4:11: error: … Multiple declarations of ‘x’ Declared at: /tmp/tg4t.hs:3:11 /tmp/tg4t.hs:4:11 Compilation failed. }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12061 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler