blob: 02dc7216db0c931085c14601816bdf18281e065f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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 (p :: GHC.Types.Multiplicity)
(q :: GHC.Types.Multiplicity).
(a # p -> b) -> a # q -> b
at LinearErrOrigin.hs:6:1-31
‘q’ is a rigid type variable bound by
the type signature for:
foo :: forall a b (p :: GHC.Types.Multiplicity)
(q :: GHC.Types.Multiplicity).
(a # p -> b) -> a # q -> b
at LinearErrOrigin.hs:6:1-31
• 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)
|