blob: ab82e56c363d7084bd165ed44825378c0f59c8c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
simpl017.hs:44:12:
Couldn't match expected type `forall v. [E m i] -> E' v m a'
with actual type `[E m i] -> E' v0 m a'
In the first argument of `return', namely `f'
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 })'
simpl017.hs:63:5:
Couldn't match expected type `t0 -> t1'
with actual type `forall v. [E m0 Int] -> E' v m0 Int'
The function `a' is applied to one argument,
but its type `forall v. [E m0 Int] -> E' v m0 Int' has none
In the first argument of `plus', namely `a [one]'
In a stmt of a 'do' block: a [one] `plus` a [one]
|