1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
Linear9.hs:9:17: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from a non-linear pattern
• In the pattern: _
In the pattern: (a, _)
In an equation for ‘incorrectFst’: incorrectFst (a, _) = a
Linear9.hs:12:20: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from multiplicity of ‘b’
• In the pattern: (a, b)
In an equation for ‘incorrectFstVar’: incorrectFstVar (a, b) = a
Linear9.hs:15:20: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from multiplicity of ‘a’
• In the pattern: (a, b)
In an equation for ‘incorrectFirstDup’:
incorrectFirstDup (a, b) = ((a, a), b)
Linear9.hs:18:21: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from a non-linear pattern
• In the pattern: _
In the pattern: (a, _)
In the pattern: ((a, _), _)
Linear9.hs:18:24: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from a non-linear pattern
• In the pattern: _
In the pattern: ((a, _), _)
In an equation for ‘incorrectFstFst’:
incorrectFstFst ((a, _), _) = a
Linear9.hs:25:25: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from a non-linear pattern
• In the pattern: _
In the pattern: Foo a _
In an equation for ‘incorrectTestFst’:
incorrectTestFst (Foo a _) = a
|
