ghc/tests/typecheck/should_fail/Digraph.stderr

   1
   2 Digraph.hs:19:
   3     A type signature is more polymorphic than the inferred type
   4         Can't for-all the type variable(s) `v'
   5         in the type `[Edge v]'
   6         When checking the type signature for `reversed_edges'
   7         In an equation for function `stronglyConnComp':
   8             stronglyConnComp es vs
   9                              = snd (span_tree (new_range reversed_edges)
  10                                               ([], ([]))
  11                                               (snd (dfs (... ...) (..., ...) vs)))
  12                              where
  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
  17                                            where
  18                                                (vs', ns') = dfs r (x : vs, ([])) (r x)
  19                                  new_range [] w = []
  20                                  new_range ((x, y) : xys) w
  21                                            = if x == w then
  22                                                  (y : (new_range xys w))
  23                                              else
  24                                                  (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
  28
  29
  30 Compilation had errors