PrelInfo: Ensure that tuple promoted datacon names are in knownKeyNames
authorBen Gamari <bgamari.foss@gmail.com>
Fri, 3 Jun 2016 20:19:17 +0000 (22:19 +0200)
committerBen Gamari <ben@smart-cactus.org>
Sat, 4 Jun 2016 07:35:49 +0000 (09:35 +0200)
commit4aa299db6b1025822673713a110b17c002ddcfaf
tree94d80515a66e487addd3a976a8c9c4d9f7ae9a98
parent02f893eb4fe3f75f0a9dc7e723568f4c75de5785
PrelInfo: Ensure that tuple promoted datacon names are in knownKeyNames

Previously the promoted datacons of the boxed tuple types were not
included in knownKeyNames, which lead to #12132.

Test Plan: Test with included TypeOf testcase

Reviewers: austin, simonpj

Reviewed By: simonpj

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2279

GHC Trac Issues: #12132
compiler/iface/LoadIface.hs
compiler/prelude/PrelInfo.hs
testsuite/tests/typecheck/should_run/TypeOf.hs
testsuite/tests/typecheck/should_run/TypeOf.stdout