From 510a79799cc155612d098e87bdc8062d0cd47978 Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 11 Apr 2000 11:27:19 +0000 Subject: [PATCH] [project @ 2000-04-11 11:27:19 by simonmar] update expected output. --- ghc/tests/typecheck/should_fail/Digraph.stderr | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) 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) -- 1.7.10.4