blob: 5a82506164f87d2b497bee08d06ef4792f7e9a22 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
simpl017.hs:50:15: error:
• Couldn't match type ‘[E m i] -> E' v0 m a’
with ‘forall v. [E m i] -> E' v m a’
Expected type: E m (forall v. [E m i] -> E' v m a)
Actual type: E' RValue m ([E m i] -> E' v0 m a)
• In the expression:
E (do let ix :: [E m i] -> m i
ix [i] = runE i
{-# INLINE f #-}
....
return f)
In an equation for ‘liftArray’:
liftArray a
= E (do let ix :: [E m i] -> m i
ix [i] = runE i
....
return f)
• Relevant bindings include
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)
|
