3 A type signature is more polymorphic than the inferred type
4 Can't for-all the type variable(s) `v'
6 When checking the type signature for `reversed_edges'
7 In an equation for function `stronglyConnComp':
9 = snd (span_tree (new_range reversed_edges)
11 (snd (dfs (... ...) (..., ...) vs)))
13 span_tree r (vs, ns) [] = (vs, (ns))
14 span_tree r (vs, ns) (x : xs)
15 | x elem vs = span_tree r (vs, (ns)) xs
16 | otherwise = span_tree r (vs', ((x : ns') : ns)) xs
18 (vs', ns') = dfs r (x : vs, ([])) (r x)
20 new_range ((x, y) : xys) w
22 (y : (new_range xys w))
25 swap (x, y) = (y, (x))
26 reversed_edges :: _forall_ [v] (PrelBase.Eq v) => [Edge v]
27 reversed_edges = map swap es
30 Compilation had errors