From 134652542923e432bffb9fafe87893d785a17aae Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Tue, 27 Jun 2017 10:29:33 -0400 Subject: 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 --- testsuite/tests/typecheck/should_compile/all.T | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/tests') diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 5c3b323d56..72d33c1d1c 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -564,4 +564,4 @@ test('T13651', normal, compile, ['']) test('T13785', normal, compile, ['']) test('T13804', normal, compile, ['']) test('T13822', normal, compile, ['']) -test('T13871', expect_broken(13871), compile, ['']) +test('T13871', normal, compile, ['']) -- cgit v1.2.1