blob: e3274549362b25460aade5a998485f8356ac9686 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
LinearVar.hs:5:5: error: [GHC-25897]
• 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)
|