blob: cb52fa16f4e331139a2bb4bfcb549c1871175cca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Linear11.hs:9:23: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from multiplicity of ‘a’
• In an equation for ‘incorrectUnrestricted’:
incorrectUnrestricted a = Unrestricted a
Linear11.hs:14:43: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from multiplicity of ‘a’
• In the pattern: NotUnrestricted a
In an equation for ‘incorrectUnrestrictedDup’:
incorrectUnrestrictedDup (NotUnrestricted a) = (a, a)
|
