X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2FDigraph.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2FDigraph.stderr;h=0000000000000000000000000000000000000000;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=03ae28a44cb6a317037800af3f052f456205aa87;hpb=29b46083beaa048af4b4a68e8f96909ac98a639f;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_fail/Digraph.stderr b/ghc/compiler/tests/typecheck/should_fail/Digraph.stderr
deleted file mode 100644
index 03ae28a..0000000
--- a/ghc/compiler/tests/typecheck/should_fail/Digraph.stderr
+++ /dev/null
@@ -1,58 +0,0 @@
- 
-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:
-		   `v{-a13W-}'
-		   Possible cause: the RHS mentions something subject to the monomorphism restriction
-    When checking signature for `reversed_edges'
-    In an equation for function `stronglyConnComp':
-	`stronglyConnComp es vs   =   PrelTup.snd
-					  (span_tree
-					       (new_range
-						    reversed_edges)
-					       (PrelBase.[], (PrelBase.[]))
-					       (PrelTup.snd
-						    (dfs (new_range
-							      es)
-							 (PrelBase.[], (PrelBase.[]))
-							 vs)))
-				  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] =
-						      span_tree
-							  r
-							  (vs', ((x PrelBase.: ns') PrelBase.: ns))
-							  xs
-						  where
-						      (vs', ns')
-							  =   dfs r
-								  (x PrelBase.: vs, (PrelBase.[]))
-								  (r   x)
-				      new_range
-					  PrelBase.[] w
-						  =   PrelBase.[]
-				      new_range
-					  ((x, y) PrelBase.: xys) w
-						  =   if x PrelBase.== w then
-							  (y
-							   PrelBase.: (new_range
-									   xys w))
-						      else
-							  (new_range
-							       xys w)
-				      swap
-					  (x, y)  =   (y, (x))
-				      reversed_edges ::
-					  _forall_ [v] {PrelBase.Eq v} => [Edge v]
-				      reversed_edges
-					  =   PrelBase.map
-						  swap es'
-
-
-Compilation had errors