Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_compile / tc231.stderr
1 TYPE SIGNATURES\r
2   foo ::\r
3     forall s b chain.\r
4     Zork s (Z [Char]) b =>\r
5     Q s (Z [Char]) chain -> ST s ()\r
6   s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1\r
7 TYPE CONSTRUCTORS\r
8   data Q s a chain = Node s a chain\r
9     Promotable\r
10   data Z a = Z a\r
11     Promotable\r
12   class Zork s a b | a -> b where\r
13     huh :: Q s a chain -> ST s ()\r
14 COERCION AXIOMS\r
15   axiom NTCo:Zork ::\r
16       Zork s a b = forall chain. Q s a chain -> ST s ()\r
17 Dependent modules: []\r
18 Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,\r
19                      integer-gmp-0.5.1.0]\r