Identify fields by selector when type-checking (fixes #13644)
authorAdam Gundry <adam@well-typed.com>
Tue, 19 Sep 2017 23:03:16 +0000 (19:03 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 21 Sep 2017 15:30:38 +0000 (11:30 -0400)
commit72b00c34c73ff6c63ee4928006b0cc60034a7638
tree773a20b899fe342a1d928d37b170dbb4f319487d
parent9e46d88adeea1fd399dff1208aa5710d696c542c
Identify fields by selector when type-checking (fixes #13644)

Test Plan: new test for #13847, and the test for #13644 now passes

Reviewers: mpickering, austin, bgamari, simonpj

Reviewed By: mpickering, simonpj

Subscribers: simonpj, rwbarton, thomie

GHC Trac Issues: #13644, #13847

Differential Revision: https://phabricator.haskell.org/D3988
compiler/typecheck/TcExpr.hs
compiler/typecheck/TcPat.hs
testsuite/tests/rename/should_fail/T13847.hs [new file with mode: 0644]
testsuite/tests/rename/should_fail/T13847.stderr [new file with mode: 0644]
testsuite/tests/rename/should_fail/T13847A.hs [new file with mode: 0644]
testsuite/tests/rename/should_fail/all.T