blob: aa6dab87d9328d2889fc0b3b726a2ed708577539 (
plain)
1
2
3
4
5
6
|
LinearBottomMult.hs:13:3: error: [GHC-18872]
• Couldn't match type ‘'Many’ with ‘'One’
arising from multiplicity of ‘x’
• In an equation for ‘f’:
f x = elim (U (\ (a :: Void) -> case a of {}))
|