ghc/tests/typecheck/should_fail/tcfail068.stderr

   1
   2 tcfail068.hs:13:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `s' escapes
   5         It unifies with `s1', which is mentioned in the environment
   6         The following variables in the environment mention `s1'
   7     In an expression with expected type: forall s2. ST s2 a
   8     In the first argument of `runST', namely `(newArray ((1, 1), n) x)'
   9     In the right-hand side of an equation for `itgen':
  10         runST (newArray ((1, 1), n) x)
  11
  12 tcfail068.hs:18:
  13     Inferred type is less polymorphic than expected
  14         Quantified type variable `s' escapes
  15         It unifies with `s1', which is mentioned in the environment
  16         The following variables in the environment mention `s1'
  17             arr :: IndTree s1 a
  18     In an expression with expected type: forall s2. ST s2 a1
  19     In the first argument of `runST', namely
  20         `((readArray arr i)
  21           >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))'
  22     In the right-hand side of an equation for `itiap':
  23         runST ((readArray arr i)
  24                >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))
  25
  26 tcfail068.hs:24:
  27     Inferred type is less polymorphic than expected
  28         Quantified type variable `s' escapes
  29         It unifies with `s1', which is mentioned in the environment
  30         The following variables in the environment mention `s1'
  31             arr :: IndTree s1 a
  32             itrapsnd :: Int -> Int -> ST s1 (MutableArray s1 (Int, Int) a)
  33             itrap' :: Int -> Int -> ST s1 (MutableArray s1 (Int, Int) a)
  34     In an expression with expected type: forall s2. ST s2 a1
  35     In the first argument of `runST', namely `(itrap' i k)'
  36     In the right-hand side of an equation for `itrap':
  37         runST (itrap' i k)
  38
  39 tcfail068.hs:36:
  40     Inferred type is less polymorphic than expected
  41         Quantified type variable `s' escapes
  42         It unifies with `s1', which is mentioned in the environment
  43         The following variables in the environment mention `s1'
  44             arr :: IndTree s1 b
  45             itrapstatesnd :: Int
  46                              -> Int
  47                              -> c
  48                              -> ST s1 (c, MutableArray s1 (Int, Int) b)
  49             itrapstate' :: Int
  50                            -> Int
  51                            -> c
  52                            -> ST s1 (c, MutableArray s1 (Int, Int) b)
  53     In an expression with expected type: forall s2. ST s2 a
  54     In the first argument of `runST', namely `(itrapstate' i k s)'
  55     In the right-hand side of an equation for `itrapstate':
  56         runST (itrapstate' i k s)
  57
  58 Compilation had errors
  59