blob: 85a9cff89910543469b736cfe3235ff9f6b5f8c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
LinearVar.hs:5:5: error:
• Couldn't match type ‘m’ with ‘'Many’
Expected: a %m -> b
Actual: a -> b
‘m’ is a rigid type variable bound by
the type signature for:
f :: forall a b (m :: GHC.Types.Multiplicity). a %m -> b
at LinearVar.hs:4:1-14
• In the expression: undefined :: a -> b
In an equation for ‘f’: f = undefined :: a -> b
• Relevant bindings include
f :: a %m -> b (bound at LinearVar.hs:5:1)
|
