Refactoring on IdInfo and system derived names
[ghc.git] / testsuite / tests / typecheck / should_compile / tc231.stderr
index 85ccc32..8c35af4 100644 (file)
@@ -1,8 +1,12 @@
 TYPE SIGNATURES
+  Node :: forall s a chain. s -> a -> chain -> Q s a chain
+  Z :: forall a. a -> Z a
   foo ::
     forall s b chain.
     Zork s (Z [Char]) b =>
     Q s (Z [Char]) chain -> ST s ()
+  huh ::
+    forall s a b. Zork s a b => forall chain. Q s a chain -> ST s ()
   s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
 TYPE CONSTRUCTORS
   data Q s a chain = Node s a chain
@@ -13,9 +17,9 @@ TYPE CONSTRUCTORS
     huh :: Q s a chain -> ST s ()
     {-# MINIMAL huh #-}
 COERCION AXIOMS
-  axiom NTCo:Zork ::
+  axiom N:Zork ::
     Zork s a b = forall chain. Q s a chain -> ST s ()
       -- Defined at tc231.hs:25:1
 Dependent modules: []
 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
-                     integer-gmp-1.0.0.0]
+                     integer-gmp-1.0.0.1]