Allow duplicate record fields in pattern synonyms
DuplicateRecordFields seems to not work for pattern synonyms
{-# 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.
Trac metadata
| Trac field | Value |
|---|---|
| Version | |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | mpickering |
| Operating system | |
| Architecture |