ghc/tests/typecheck/should_fail/tcfail068.stderr

   1
   2 tcfail068.hs:45:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `$a' escapes; i.e. unifies with something more global
   5     When checking the type signature for an expression
   6         Signature: ST $b $a1
   7         Inferred:  ST $a (c, IndTree $a b)
   8     In the first argument of `runST', namely `(itrapstate' i k s)'
   9     In the right-hand side of an equation for `itrapstate':
  10         runST (itrapstate' i k s)
  11
  12 tcfail068.hs:32:
  13     Inferred type is less polymorphic than expected
  14         Quantified type variable `$a' escapes; i.e. unifies with something more global
  15     When checking the type signature for an expression
  16         Signature: ST $b $a1
  17         Inferred:  ST $a (IndTree $a a)
  18     In the first argument of `runST', namely `(itrap' i k)'
  19     In the right-hand side of an equation for `itrap':
  20         runST (itrap' i k)
  21
  22 tcfail068.hs:21:
  23     Inferred type is less polymorphic than expected
  24         Quantified type variable `$a' escapes; i.e. unifies with something more global
  25     When checking the type signature for an expression
  26         Signature: ST $b $a1
  27         Inferred:  ST $a (IndTree $a a)
  28     In the first argument of `runST', namely
  29         `((readArray arr i)
  30           >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))'
  31     In the right-hand side of an equation for `itiap':
  32         runST ((readArray arr i)
  33                >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))
  34
  35 tcfail068.hs:14:
  36     Inferred type is less polymorphic than expected
  37         Quantified type variable `$c' escapes; i.e. unifies with something more global
  38     When checking the type signature for an expression
  39         Signature: ST $b $a
  40         Inferred:  ST $c (IndTree $c $b1)
  41     In the first argument of `runST', namely `(newArray ((1, 1), n) x)'
  42     In the right-hand side of an equation for `itgen':
  43         runST (newArray ((1, 1), n) x)
  44
  45
  46 Compilation had errors