3 Inferred type is less polymorphic than expected
4 Quantified type variable `vertex' escapes; i.e. unifies with something more global
5 When checking the type signature for `reversed_edges'
7 Inferred: [Edge vertex]
8 In an equation for function `stronglyConnComp':
10 = snd (span_tree (new_range reversed_edges)
12 (snd (dfs (new_range es) ([], []) vs)))
14 span_tree r (vs, ns) [] = (vs, ns)
15 span_tree r (vs, ns) (x : xs)
16 | x `elem` vs = span_tree r (vs, ns) xs
17 | otherwise = span_tree r (vs', (x : ns') : ns) xs
19 (vs', ns') = dfs r (x : vs, []) (r x)
21 new_range ((x, y) : xys) w
23 (y : (new_range xys w))
27 reversed_edges :: forall v. (PrelBase.Eq v) => [Edge v]
28 reversed_edges = map swap es
31 Compilation had errors