diff options
author | Ben Gamari <bgamari.foss@gmail.com> | 2017-06-27 10:29:33 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-06-27 12:55:06 -0400 |
commit | 134652542923e432bffb9fafe87893d785a17aae (patch) | |
tree | dae72ed2bb8c92820b1bab6d0db780afba24b059 /testsuite/tests | |
parent | 12a3c394b12e5e07314895e6c419f4f4031ad3a9 (diff) | |
download | haskell-134652542923e432bffb9fafe87893d785a17aae.tar.gz |
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
Diffstat (limited to 'testsuite/tests')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
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, ['']) |