ghc/tests/typecheck/should_fail/tcfail068.stderr

   1
   2 tcfail068.hs:45:
   3     A type signature is more polymorphic than the inferred type
   4         Can't for-all the type variable(s) `a1jl'
   5         in the type `ST a1jl a1jh'
   6     In the first argument of `runST', namely `(itrapstate' i k s)'
   7     In an equation for function `itrapstate':
   8         itrapstate ((i, k), (j, l)) f c d s arr
   9                    = runST (itrapstate' i k s)
  10                    where
  11                        itrapstatesnd i k s
  12                                      = if i > j then
  13                                            return (s, (arr))
  14                                        else
  15                                            ((readArray arr (i, (k)))
  16                                             >>= (\ val
  17                                                    -> let (newstate, newval) = f (c (i, (k)) s) val
  18                                                       in (...) >> (...)))
  19                        itrapstate' i k s
  20                                    = if k > l then
  21                                          return (s, (arr))
  22                                      else
  23                                          ((itrapstatesnd i k s)
  24                                           >>= (\ (s, arr) -> itrapstate' i (k + 1) s))
  25
  26 tcfail068.hs:32:
  27     A type signature is more polymorphic than the inferred type
  28         Can't for-all the type variable(s) `a1m6'
  29         in the type `ST a1m6 a1m2'
  30     In the first argument of `runST', namely `(itrap' i k)'
  31     In an equation for function `itrap':
  32         itrap ((i, k), (j, l)) f arr
  33               = runST (itrap' i k)
  34               where
  35                   itrapsnd i k
  36                            = if i > j then
  37                                  return arr
  38                              else
  39                                  ((readArray arr (i, (k)))
  40                                   >>= (\ val
  41                                          -> (writeArray arr (i, (k)) (f val))
  42                                             >> (itrapsnd (... + 1) k)))
  43                   itrap' i k
  44                          = if k > l then
  45                                return arr
  46                            else
  47                                ((itrapsnd i k) >> (itrap' i (k + 1)))
  48
  49 tcfail068.hs:21:
  50     A type signature is more polymorphic than the inferred type
  51         Can't for-all the type variable(s) `a1mB'
  52         in the type `ST a1mB a1mr'
  53     In the first argument of `runST', namely
  54         `((readArray arr i)
  55           >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))'
  56     In an equation for function `itiap':
  57         itiap i f arr
  58               = runST ((readArray arr i)
  59                        >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))
  60
  61 tcfail068.hs:14:
  62     A type signature is more polymorphic than the inferred type
  63         Can't for-all the type variable(s) `a1nB'
  64         in the type `ST a1nB a1nx'
  65     In the first argument of `runST', namely
  66         `(newArray ((1, (1)), (n)) x)'
  67     In an equation for function `itgen':
  68         itgen n x = runST (newArray ((1, (1)), (n)) x)
  69
  70
  71 Compilation had errors