Commit 91a48c54 authored by's avatar
Browse files

Testsuite wibbles around #9200

parent 1c66b3d5
......@@ -22,6 +22,6 @@ type family K a where
K '[] = Nothing
K (h ': t) = Just h
type family L (a :: k) b :: k where
type family L (a :: k) (b :: *) :: k where
L Int Int = Bool
L Maybe Bool = IO
\ No newline at end of file
L Maybe Bool = IO
......@@ -9,5 +9,5 @@ type family Bar a where
Bar Int = Bool
Bar Double = Char
type family Baz (a :: k) where
Baz Int = Bool
\ No newline at end of file
type family Baz (a :: k) :: * where
Baz Int = Bool
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE PolyKinds, GADTs #-}
module T7053 where
Kind occurs check
The first argument of ‘a’ should have kind ‘k0’,
but ‘b’ has kind ‘k0 -> k1’
In the type ‘TypeRep (a b)’
In the definition of data constructor ‘TyApp’
In the data declaration for ‘TypeRep’
......@@ -54,7 +54,7 @@ test('T6137', normal, compile,[''])
test('T6093', normal, compile,[''])
test('T6049', normal, compile,[''])
test('T6129', normal, compile_fail,[''])
test('T7053', normal, compile_fail,[''])
test('T7053', normal, compile,[''])
test('T7053a', normal, compile,[''])
test('T7020', normal, compile,[''])
test('T7022', normal, run_command, ['$MAKE -s --no-print-directory T7022'])
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