ghc/tests/typecheck/should_fail/Digraph.stderr

   1
   2 Digraph.hs:19: A type signature is more polymorphic than the inferred type
   3                    Can't for-all the type variable(s) `taYK'
   4                    in the inferred type `[Edge taYK]'
   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)
   9                                            ([], ([]))
  10                                            (snd (dfs (new_range es) ([], ([])) vs)))
  11                           where
  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
  16                                         where
  17                                             (vs', ns') = dfs r (x : vs, ([])) (r x)
  18                               new_range [] w = []
  19                               new_range ((x, y) : xys) w
  20                                         = if x == w then
  21                                               (y : (new_range xys w))
  22                                           else
  23                                               (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'
  27
  28 Compilation had errors