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