Commit 0f046aae authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari

testsuite: Add test for #15067

Subscribers: thomie, carter, RyanGlScott

GHC Trac Issues: #15067

Differential Revision: https://phabricator.haskell.org/D4622
parent 361d23a8
{-# LANGUAGE UnboxedSums #-}
module T15067 where
import Type.Reflection
floopadoop :: TypeRep (# Bool | Int #)
floopadoop = typeRep
rubadub :: (# True | 4 #)
rubadub = typeRep
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
......@@ -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, [''])
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment