ghc/tests/typecheck/should_fail/Digraph.stderr

   1
   2 Digraph.hs:19:
   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'
   6         Signature: [Edge v]
   7         Inferred:  [Edge vertex]
   8     In an equation for function `stronglyConnComp':
   9         stronglyConnComp es vs
  10                          = snd (span_tree (new_range reversed_edges)
  11                                           ([], [])
  12                                           (snd (dfs (new_range es) ([], []) vs)))
  13                          where
  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
  18                                        where
  19                                            (vs', ns') = dfs r (x : vs, []) (r x)
  20                              new_range [] w = []
  21                              new_range ((x, y) : xys) w
  22                                        = if x == w then
  23                                              (y : (new_range xys w))
  24                                          else
  25                                              (new_range xys w)
  26                              swap (x, y) = (y, x)
  27                              reversed_edges :: forall v. (PrelBase.Eq v) => [Edge v]
  28                              reversed_edges = map swap es
  29
  30
  31 Compilation had errors