Refactoring on IdInfo and system derived names
[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 ::
9     forall s a b. Zork s a b => forall chain. Q s a chain -> ST s ()
10   s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
11 TYPE CONSTRUCTORS
12   data Q s a chain = Node s a chain
13     Kind: * -> * -> * -> *
14   data Z a = Z a
15     Kind: * -> *
16   class Zork s a b | a -> b where
17     huh :: Q s a chain -> ST s ()
18     {-# MINIMAL huh #-}
19 COERCION AXIOMS
20   axiom N:Zork ::
21     Zork s a b = forall chain. Q s a chain -> ST s ()
22       -- Defined at tc231.hs:25:1
23 Dependent modules: []
24 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
25                      integer-gmp-1.0.0.1]