diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2018-05-13 11:41:16 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-05-13 18:30:43 -0400 |
| commit | f0212a93a2f3d4fb564c1025cca0dfd3050487e4 (patch) | |
| tree | 3ad34bf74f470eda61e8f42c8102c425a7c3db28 /testsuite | |
| parent | 9039f847a568ac69436d449b9fe090ecd03b9e06 (diff) | |
| download | haskell-f0212a93a2f3d4fb564c1025cca0dfd3050487e4.tar.gz | |
TcInteract: Ensure that tycons have representations before solving for Typeable
Summary: This fixes #15067.
Test Plan: Validate
Subscribers: thomie, carter, RyanGlScott
GHC Trac Issues: #15067
Differential Revision: https://phabricator.haskell.org/D4623
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15067.hs | 5 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15067.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 2 |
3 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15067.hs b/testsuite/tests/typecheck/should_fail/T15067.hs index ff093db114..397655f60c 100644 --- a/testsuite/tests/typecheck/should_fail/T15067.hs +++ b/testsuite/tests/typecheck/should_fail/T15067.hs @@ -1,10 +1,9 @@ {-# LANGUAGE UnboxedSums #-} +{-# LANGUAGE DataKinds #-} + module T15067 where import Type.Reflection floopadoop :: TypeRep (# Bool | Int #) floopadoop = typeRep - -rubadub :: (# True | 4 #) -rubadub = typeRep diff --git a/testsuite/tests/typecheck/should_fail/T15067.stderr b/testsuite/tests/typecheck/should_fail/T15067.stderr index a16d799cdc..73056113ad 100644 --- a/testsuite/tests/typecheck/should_fail/T15067.stderr +++ b/testsuite/tests/typecheck/should_fail/T15067.stderr @@ -1,5 +1,5 @@ -T15067.hs:7:14: +T15067.hs:9:14: No instance for (Typeable (# 'GHC.Types.LiftedRep #)) arising from a use of ‘typeRep’ GHC can't yet do polykinded diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index 9dd00f838d..e4aa682404 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -473,4 +473,4 @@ test('T14761b', normal, compile_fail, ['']) test('T14884', normal, compile_fail, ['']) test('T14904a', normal, compile_fail, ['']) test('T14904b', normal, compile_fail, ['']) -test('T15067', expect_broken(15067), compile_fail, ['']) +test('T15067', normal, compile_fail, ['']) |