2 Digraph.hs:19: A type signature is more polymorphic than the inferred type
3 Can't for-all the type variable(s) `taY7'
4 in the inferred type `[Edge taY7]'
5 When checking signature for `reversed_edges'
6 In an equation for function `stronglyConnComp':
7 `stronglyConnComp es vs
8 = snd (span_tree (new_range reversed_edges)
10 (snd (dfs (new_range es) ([], ([])) vs)))
12 span_tree r (vs, ns) [] = (vs, (ns))
13 span_tree r (vs, ns) (x : xs)
14 | x elem vs = span_tree r (vs, (ns)) xs
15 | otherwise = span_tree r (vs', ((x : ns') : ns)) xs
17 (vs', ns') = dfs r (x : vs, ([])) (r x)
19 new_range ((x, y) : xys) w
21 (y : (new_range xys w))
24 swap (x, y) = (y, (x))
25 reversed_edges :: _forall_ [v] (Eq v) => [Edge v]
26 reversed_edges = map swap es'
28 Compilation had errors