blob: 10b889a9a83b028cf70a2acbc06a8e42942e3c0a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
LinearErrOrigin.hs:7:7: error:
• Couldn't match type ‘p’ with ‘q’ arising from multiplicity of ‘x’
‘p’ is a rigid type variable bound by
the type signature for:
foo :: forall a b. (a -> b) -> a -> b
at LinearErrOrigin.hs:6:1-35
‘q’ is a rigid type variable bound by
the type signature for:
foo :: forall a b. (a -> b) -> a -> b
at LinearErrOrigin.hs:6:1-35
• In an equation for ‘foo’: foo f x = f x
• Relevant bindings include
f :: a # p -> b (bound at LinearErrOrigin.hs:7:5)
foo :: (a # p -> b) -> a # q -> b
(bound at LinearErrOrigin.hs:7:1)
|
