typecheck: Consider types containing coercions non-Typeable
authorBen Gamari <bgamari.foss@gmail.com>
Tue, 27 Jun 2017 14:29:33 +0000 (10:29 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 27 Jun 2017 16:55:06 +0000 (12:55 -0400)
commit134652542923e432bffb9fafe87893d785a17aae
treedae72ed2bb8c92820b1bab6d0db780afba24b059
parent12a3c394b12e5e07314895e6c419f4f4031ad3a9
typecheck: Consider types containing coercions non-Typeable

This was previously a panic and caused #13871. I believe just saying
these types simply aren't Typeable should be correct.

Test Plan: Validate, check `T13871`

Reviewers: goldfire, austin

Subscribers: rwbarton, thomie, RyanGlScott

GHC Trac Issues: #13871

Differential Revision: https://phabricator.haskell.org/D3672
compiler/typecheck/TcTypeable.hs
testsuite/tests/typecheck/should_compile/all.T