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 (new_range es) ([], ([])) 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