10128debbe3384c3f97040fb0c5a0591657c1071
[ghc.git] / testsuite / tests / typecheck / should_compile / tc231.stderr
1 TYPE SIGNATURES
2   Node :: forall s a chain. s -> a -> chain -> Q s a chain
3   Z :: forall a. a -> Z a
4   foo ::
5     forall s b chain.
6     Zork s (Z [Char]) b =>
7     Q s (Z [Char]) chain -> ST s ()
8   huh :: forall s a b chain. Zork s a b => Q s a chain -> ST s ()
9   s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
10 TYPE CONSTRUCTORS
11   Q :: * -> * -> * -> *
12   Z :: * -> *
13   Zork :: * -> * -> * -> Constraint
14 COERCION AXIOMS
15   axiom N:Zork ::
16     Zork s a b = forall chain. Q s a chain -> ST s ()
17       -- Defined at tc231.hs:25:1
18 Dependent modules: []
19 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
20                      integer-gmp-1.0.2.0]