A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / indexed-types / should_fail / T7354.stderr
1
2 T7354.hs:28:11: error:
3     • Occurs check: cannot construct the infinite type:
4         p ~ Base t (Prim [p] p)
5       Expected type: Prim [p] p -> Base t (Prim [p] p)
6         Actual type: Prim [p] p -> p
7     • In the first argument of ‘ana’, namely ‘alg’
8       In the expression: ana alg
9       In an equation for ‘foo’: foo = ana alg
10     • Relevant bindings include
11         foo :: Prim [p] p -> t (bound at T7354.hs:28:1)