blob: 96c8e1ea2d51aa7a127e6295d72c54d335bcfd8f (
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: E m (forall v. [E m i] -> E' v m a)
Actual: 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)
|