Commit 4bc90b32 authored by Ben Gamari's avatar Ben Gamari 🐢

testsuite: Drop constraint in kind from T15862

We only started allowing constraints in kinds in
6cce36f8, which is not present in 8.8.
parent 02780d4d
......@@ -29,8 +29,3 @@ data Quux = MkQuux (# Bool | Int #)
quux :: TypeRep MkQuux
quux = typeRep
data Quuz :: (Type ~ Type) => Type where
MkQuuz :: Quuz
quuz :: TypeRep MkQuuz
quuz = typeRep
......@@ -19,10 +19,3 @@ T15862.hs:30:8: error:
Typeable ('MkQuux :: (# Bool | Int #) -> Quux)
• In the expression: typeRep
In an equation for ‘quux’: quux = typeRep
T15862.hs:36:8: error:
• No instance for (Typeable 'MkQuuz)
arising from a use of ‘typeRep’
GHC can't yet do polykinded Typeable ('MkQuuz :: Quuz)
• In the expression: typeRep
In an equation for ‘quuz’: quuz = typeRep
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