ghc/tests/typecheck/should_fail/tcfail076.stderr

   1
   2 tcfail076.hs:18:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `res' escapes
   5         It unifies with `_114_101_115', which is mentioned in the environment
   6         The following variables in the environment mention `_114_101_115'
   7             cont :: a -> m _114_101_115
   8     In an expression with expected type: forall
   9                                          _114_101_1151.
  10                                          (_97 -> m _114_101_1151) -> m _114_101_1151
  11     In the first argument of `KContT', namely `(\ cont' -> cont a)'
  12     In the right-hand side of a lambda abstraction:
  13         KContT (\ cont' -> cont a)
  14
  15
  16 Compilation had errors
  17