tcfail068.stderr 3.81 KB
Newer Older
Simon Marlow's avatar
Simon Marlow committed
1

2
tcfail068.hs:14:9:
3 4 5 6 7
    Could not deduce (s1 ~ s)
    from the context (Constructed a)
      bound by the type signature for
                 itgen :: Constructed a => (Int, Int) -> a -> IndTree s a
      at tcfail068.hs:(12,1)-(14,31)
8
      `s1' is a rigid type variable bound by
9 10
           a type expected by the context: GHC.ST.ST s1 (IndTree s a)
           at tcfail068.hs:13:9
11
      `s' is a rigid type variable bound by
12 13 14 15 16 17
          the type signature for
            itgen :: Constructed a => (Int, Int) -> a -> IndTree s a
          at tcfail068.hs:12:1
    Expected type: GHC.ST.ST s (IndTree s1 a)
      Actual type: GHC.ST.ST s (STArray s (Int, Int) a)
    In the return type of a call of `newSTArray'
Simon Marlow's avatar
Simon Marlow committed
18
    In the first argument of `runST', namely
19
      `(newSTArray ((1, 1), n) x)'
Simon Marlow's avatar
Simon Marlow committed
20

21 22 23 24 25 26 27
tcfail068.hs:20:22:
    Could not deduce (s ~ s1)
    from the context (Constructed a)
      bound by the type signature for
                 itiap :: Constructed a =>
                          (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
      at tcfail068.hs:(17,1)-(21,19)
28
      `s' is a rigid type variable bound by
29 30 31 32
          the type signature for
            itiap :: Constructed a =>
                     (Int, Int) -> (a -> a) -> IndTree s a -> IndTree s a
          at tcfail068.hs:17:1
33
      `s1' is a rigid type variable bound by
34 35 36 37 38 39 40
           a type expected by the context: GHC.ST.ST s1 (IndTree s a)
           at tcfail068.hs:18:9
    Expected type: STArray s1 (Int, Int) a
      Actual type: IndTree s a
    In the first argument of `writeSTArray', namely `arr'
    In the first argument of `(>>)', namely
      `writeSTArray arr i (f val)'
41

42
tcfail068.hs:24:35:
43 44 45 46 47 48
    Could not deduce (s ~ s1)
    from the context (Constructed a)
      bound by the type signature for
                 itrap :: Constructed a =>
                          ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a
      at tcfail068.hs:(24,1)-(32,41)
49
      `s' is a rigid type variable bound by
50 51 52 53
          the type signature for
            itrap :: Constructed a =>
                     ((Int, Int), (Int, Int)) -> (a -> a) -> IndTree s a -> IndTree s a
          at tcfail068.hs:24:1
54
      `s1' is a rigid type variable bound by
55 56 57 58
           a type expected by the context: GHC.ST.ST s1 (IndTree s a)
           at tcfail068.hs:24:29
    Expected type: GHC.ST.ST s1 (IndTree s a)
      Actual type: GHC.ST.ST s (IndTree s a)
59
    In the return type of a call of itrap'
60 61
    In the first argument of `runST', namely `(itrap' i k)'

62
tcfail068.hs:36:46:
63 64 65 66 67 68 69 70 71 72 73 74
    Could not deduce (s ~ s1)
    from the context (Constructed b)
      bound by the type signature for
                 itrapstate :: Constructed b =>
                               ((Int, Int), (Int, Int))
                               -> (a -> b -> (a, b))
                               -> ((Int, Int) -> c -> a)
                               -> (a -> c)
                               -> c
                               -> IndTree s b
                               -> (c, IndTree s b)
      at tcfail068.hs:(36,1)-(45,66)
75
      `s' is a rigid type variable bound by
76 77 78 79 80 81 82 83 84 85
          the type signature for
            itrapstate :: Constructed b =>
                          ((Int, Int), (Int, Int))
                          -> (a -> b -> (a, b))
                          -> ((Int, Int) -> c -> a)
                          -> (a -> c)
                          -> c
                          -> IndTree s b
                          -> (c, IndTree s b)
          at tcfail068.hs:36:1
86
      `s1' is a rigid type variable bound by
87 88 89 90
           a type expected by the context: GHC.ST.ST s1 (c, IndTree s b)
           at tcfail068.hs:36:40
    Expected type: GHC.ST.ST s1 (c, IndTree s b)
      Actual type: GHC.ST.ST s (c, IndTree s b)
91
    In the return type of a call of itrapstate'
Simon Marlow's avatar
Simon Marlow committed
92
    In the first argument of `runST', namely `(itrapstate' i k s)'