X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail071.stderr;h=afc1de8010cce6e0054abf19b5fda6fef09be63b;hb=80d19100a3aabd62ece8582332d6b5ea6f66bdf5;hp=c6067c2ba630d57901f28495329939af888cb25b;hpb=e3f0d880b7b74ed95059a8cddf3edf3e0d2f83c6;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_fail/tcfail071.stderr b/ghc/tests/typecheck/should_fail/tcfail071.stderr
index c6067c2..afc1de8 100644
--- a/ghc/tests/typecheck/should_fail/tcfail071.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail071.stderr
@@ -1,9 +1,10 @@
  
 tcfail071.hs:10: Couldn't match the signature/existential type variable
-		     `taCF' with the type `taCR -> taCS -> taCS'
-    Expected: `taCR -> taCS -> taCS'
-    Inferred: `taCF'
-    In the first argument of `PrelBase.foldr', namely `(f c)'
+		     `taCS' with the type `taD6 -> taD3 -> taD3'
+    Expected: `taCS'
+    Inferred: `taD6 -> taD3 -> taD3'
+    In a pattern binding:
+	`p = PrelBase.foldr (f c) PrelBase.[] PrelBase.[]'
     In an equation for function `g':
 	`g c
 	   = c