ghc/tests/typecheck/should_fail/tcfail068.stderr

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