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