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