[project @ 1999-06-09 09:35:54 by simonpj]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / Digraph.stderr

diff --git a/ghc/tests/typecheck/should_fail/Digraph.stderr b/ghc/tests/typecheck/should_fail/Digraph.stderr
index 4c217ae..e9b7774 100644 (file)
--- a/ghc/tests/typecheck/should_fail/Digraph.stderr
+++ b/ghc/tests/typecheck/should_fail/Digraph.stderr
@@ -2,12 +2,12 @@
 Digraph.hs:19:
     Inferred type is less polymorphic than expected
        Quantified type variable `v' escapes
-       It unifies with `vertex', which is mentioned in the environment
-       The following variables in the environment mention `vertex'
-           es :: [Edge vertex]
-           vs :: [vertex]
+       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]
+       reversed_edges :: forall v1. (Eq v1) => [Edge v1]
     In an equation for function `stronglyConnComp':
        stronglyConnComp es vs
                           = snd (span_tree (new_range reversed_edges)
@@ -30,7 +30,5 @@ Digraph.hs:19:
                               reversed_edges :: forall v. (Eq v) => [Edge v]
                               reversed_edges = map swap es
 
-
-
 Compilation had errors