Describe the bug
Building linear-base 0.3.0 with GHC 9.6 fails with a type error. It seems that the Solo tuple is not handled correctly.
To Reproduce
cabal install linear-base
src/Data/Monoid/Linear/Internal/Semigroup.hs:168:3: error: [GHC-18872]
• Couldn't match type ‘Many’ with ‘One’
arising from a non-linear pattern
• In the pattern: Solo x
In an equation for ‘<>’: Solo x <> Solo y = Solo (x <> y)
In the instance declaration for ‘Semigroup (Solo a)’
|
168 | Solo x <> Solo y = Solo (x <> y)
| ^^^^^^
Expected behavior
Success.
Describe the bug
Building linear-base 0.3.0 with GHC 9.6 fails with a type error. It seems that the
Solotuple is not handled correctly.To Reproduce
Expected behavior
Success.