Improve output from -ddump-types
[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   huh :: forall s a b chain. Zork s a b => Q s a chain -> ST s ()
7   s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
8 TYPE CONSTRUCTORS
9   Q :: * -> * -> * -> *
10   Z :: * -> *
11   Zork :: * -> * -> * -> Constraint
12 COERCION AXIOMS
13   axiom N:Zork ::
14     Zork s a b = forall chain. Q s a chain -> ST s ()
15       -- Defined at tc231.hs:25:1
16 DATA CONSTRUCTORS
17   Z :: forall a. a -> Z a
18   Node :: forall s a chain. s -> a -> chain -> Q s a chain
19 Dependent modules: []
20 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
21                      integer-gmp-1.0.2.0]