X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2FDigraph.stderr;h=01c4bbe5f878e2281176c1c24f1baa741805809e;hb=80d19100a3aabd62ece8582332d6b5ea6f66bdf5;hp=6efcc42e3986b71d96d3670dbc61ccd475a06749;hpb=e3f0d880b7b74ed95059a8cddf3edf3e0d2f83c6;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_fail/Digraph.stderr b/ghc/tests/typecheck/should_fail/Digraph.stderr
index 6efcc42..01c4bbe 100644
--- a/ghc/tests/typecheck/should_fail/Digraph.stderr
+++ b/ghc/tests/typecheck/should_fail/Digraph.stderr
@@ -1,8 +1,7 @@
  
 Digraph.hs:19: A type signature is more polymorphic than the inferred type
-		   Some type variables in the inferred type can't be forall'd, namely:
-		   `taXO'
-		   Possible cause: the RHS mentions something subject to the monomorphism restriction
+		   Can't for-all the type variable(s) `taWg'
+		   in the inferred type `[Edge taWg]'
     When checking signature for `reversed_edges'
     In an equation for function `stronglyConnComp':
 	`stronglyConnComp es vs
@@ -14,8 +13,8 @@ Digraph.hs:19: A type signature is more polymorphic than the inferred type
 			  where
 			      span_tree r (vs, ns) PrelBase.[] = (vs, (ns))
 			      span_tree r (vs, ns) (x PrelBase.: xs)
-					| [x PrelList.elem vs] = span_tree r (vs, (ns)) xs
-					| [PrelBase.otherwise]
+					| x PrelList.elem vs = span_tree r (vs, (ns)) xs
+					| PrelBase.otherwise
 					= span_tree r (vs', ((x PrelBase.: ns') PrelBase.: ns)) xs
 					where
 					    (vs', ns')