blob: c0aa969741aef38d29739b7653e2fbdf0f39e9d0 (
plain)
1
2
3
4
5
6
|
LinearViewPattern.hs:11:4: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from a non-linear pattern
• In the pattern: not -> True
In an equation for ‘f’: f (not -> True) = True
|