diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2018-05-04 14:26:30 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-05-05 13:09:18 -0400 |
| commit | 0f046aae5c9552771e489dac8531744034f37cde (patch) | |
| tree | 47b75c484a146813e774f1cb5b49175ee524a095 /testsuite/tests/typecheck/should_fail | |
| parent | 361d23a8ebb44f5df5167306d7b98d8bd1724e06 (diff) | |
| download | haskell-0f046aae5c9552771e489dac8531744034f37cde.tar.gz | |
testsuite: Add test for #15067
Subscribers: thomie, carter, RyanGlScott
GHC Trac Issues: #15067
Differential Revision: https://phabricator.haskell.org/D4622
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15067.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15067.stderr | 13 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 1 |
3 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15067.hs b/testsuite/tests/typecheck/should_fail/T15067.hs new file mode 100644 index 0000000000..ff093db114 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T15067.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE UnboxedSums #-} +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 new file mode 100644 index 0000000000..a16d799cdc --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T15067.stderr @@ -0,0 +1,13 @@ + +T15067.hs:7:14: + No instance for (Typeable (# 'GHC.Types.LiftedRep #)) + arising from a use of ‘typeRep’ + GHC can't yet do polykinded + Typeable ((# 'GHC.Types.LiftedRep #) :: * + -> * + -> TYPE + ('GHC.Types.SumRep + '['GHC.Types.LiftedRep, + 'GHC.Types.LiftedRep])) + In the expression: typeRep + In an equation for ‘floopadoop’: floopadoop = typeRep diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index a4150eab36..9dd00f838d 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -473,3 +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, ['']) |