blob: 0326e339fb52119e9c3cdd8e2a6e9f373ca9ed5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
simpl017.hs:55:5: error:
• Couldn't match type: [E m i] -> E' v0 m a
with: forall v. [E m i] -> E' v m a
Expected: m (forall v. [E m i] -> E' v m a)
Actual: m ([E m i] -> E' v0 m a)
• In a stmt of a 'do' block: return f
In the first argument of ‘E’, namely
‘(do let ix :: [E m i] -> m i
ix [i] = runE i
{-# INLINE f #-}
....
return f)’
In the expression:
E (do let ix :: [E m i] -> m i
ix [i] = runE i
{-# INLINE f #-}
....
return f)
• Relevant bindings include
f :: [E m i] -> E' v0 m a (bound at simpl017.hs:54:9)
ix :: [E m i] -> m i (bound at simpl017.hs:52:9)
a :: arr i a (bound at simpl017.hs:50:11)
liftArray :: arr i a -> E m (forall v. [E m i] -> E' v m a)
(bound at simpl017.hs:50:1)
simpl017.hs:71:10: error:
• Couldn't match type: forall v. [E (ST s) Int] -> E' v (ST s) Int
with: [E (ST t0) Int] -> E (ST s) Int
Expected: E' RValue (ST s) ([E (ST t0) Int] -> E (ST s) Int)
Actual: E (ST s) (forall v. [E (ST s) Int] -> E' v (ST s) Int)
• In a stmt of a 'do' block: a <- liftArray ma
In the second argument of ‘($)’, namely
‘do a <- liftArray ma
let one :: E (ST t) Int
one = return 1
a [one] `plus` a [one]’
In the expression:
runE
$ do a <- liftArray ma
let one :: E (ST t) Int
one = return 1
a [one] `plus` a [one]
• Relevant bindings include
ma :: STArray s Int Int (bound at simpl017.hs:70:5)
foo :: STArray s Int Int -> ST s Int (bound at simpl017.hs:70:1)
|
