blob: 7c505f187623a2a446188008faff446d6bc53e05 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T7354.hs:28:11:
Occurs check: cannot construct the infinite type:
a ~ Base t (Prim [a] a)
Expected type: Prim [a] a -> Base t (Prim [a] a)
Actual type: Prim [a] a -> a
Relevant bindings include
foo :: Prim [a] a -> t (bound at T7354.hs:28:1)
In the first argument of ‘ana’, namely ‘alg’
In the expression: ana alg
|