Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_compile / tc231.stderr
1 TYPE SIGNATURES
2   foo ::
3     forall s b chain.
4     Zork s (Z [Char]) b =>
5     Q s (Z [Char]) chain -> ST s ()
6   s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
7 TYPE CONSTRUCTORS
8   data Q s a chain = Node s a chain
9     Kind: * -> * -> * -> *
10   data Z a = Z a
11     Kind: * -> *
12   class Zork s a b | a -> b where
13     huh :: Q s a chain -> ST s ()
14     {-# MINIMAL huh #-}
15 COERCION AXIOMS
16   axiom NTCo:Zork ::
17     Zork s a b = forall chain. Q s a chain -> ST s ()
18       -- Defined at tc231.hs:25:1
19 Dependent modules: []
20 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
21                      integer-gmp-1.0.0.0]