summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T14066.stderr
diff options
context:
space:
mode:
authorAdam Gundry <adam@well-typed.com>2020-10-02 20:23:27 +0100
committerAdam Gundry <adam@well-typed.com>2020-12-23 21:40:27 +0000
commit4a551438faa6c6311ca951f994801ea18313a68e (patch)
treef7b490e9f80f4ba6e3b7fb84456c00806f95c1d2 /testsuite/tests/dependent/should_fail/T14066.stderr
parent79d41f93a98d1a331f7c2dfee55da9c1fea01380 (diff)
downloadhaskell-wip/amg/renamer-refactor.tar.gz
Refactor renamer datastructureswip/amg/renamer-refactor
This patch significantly refactors key renamer datastructures (primarily Avail and GlobalRdrElt) in order to treat DuplicateRecordFields in a more robust way. In particular it allows the extension to be used with pattern synonyms (fixes where mangled record selector names could be printed instead of field labels (e.g. with -Wpartial-fields or hole fits, see new tests). The key idea is the introduction of a new type GreName for names that may represent either normal entities or field labels. This is then used in GlobalRdrElt and AvailInfo, in place of the old way of representing fields using FldParent (yuck) and an extra list in AvailTC. Updates the haddock submodule.
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T14066.stderr')
0 files changed, 0 insertions, 0 deletions