53a56ebc8090a06b9253b72501eb3a6c077e5987
[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     Promotable
10   data Z a = Z a
11     Promotable
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 Dependent modules: []
19 Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
20                      integer-gmp-1.0.0.0]