From: simonmar <unknown>
Date: Tue, 11 Apr 2000 11:27:19 +0000 (+0000)
Subject: [project @ 2000-04-11 11:27:19 by simonmar]
X-Git-Tag: Approximately_9120_patches~4743
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=510a79799cc155612d098e87bdc8062d0cd47978;p=ghc-hetmet.git

[project @ 2000-04-11 11:27:19 by simonmar]
update expected output.
---

diff --git a/ghc/tests/typecheck/should_fail/Digraph.stderr b/ghc/tests/typecheck/should_fail/Digraph.stderr
index d3ef0ca..7287732 100644
--- a/ghc/tests/typecheck/should_fail/Digraph.stderr
+++ b/ghc/tests/typecheck/should_fail/Digraph.stderr
@@ -4,10 +4,11 @@ Digraph.hs:19:
 	Quantified type variable `v' escapes
 	It is mentioned in the environment
 	The following variables in the environment mention `v'
-	    es :: [Edge v]
-	    vs :: [v]
-    When checking the type signature
-	reversed_edges :: forall v1. (Eq v1) => [Edge v1]
+	  vs :: [v]
+	  es :: [Edge v]
+    Signature type:     forall v. (Eq v) => [Edge v]
+    Type to generalise: [Edge v]
+    When checking the type signature for `reversed_edges'
     In an equation for function `stronglyConnComp':
 	stronglyConnComp es vs
 			   = snd (span_tree (new_range reversed_edges)