summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar/should_compile/ds020.stderr
blob: 201e81963782d95d3b3f960560f1f4d64cc6ff14 (plain)
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

ds020.hs:9:1: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘a’: a ~(~[], ~[], ~[]) = ...

ds020.hs:12:1: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘b’: b ~(~x : ~xs : ~ys) = ...

ds020.hs:19:1: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘d’: d ~(n+43) = ...

ds020.hs:20:1: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘d’: d ~(n+999) = ...

ds020.hs:23:1: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘f’: f x@(~[]) = ...

ds020.hs:32:1: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In a pattern binding: (x1 : xs1 : ys1) = ...

ds020.hs:33:1: warning: [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In a pattern binding: (~x : ~xs : ~ys) = ...