summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail167.stderr
blob: 6346257e0955fbeb3e47f4784bc9e03aad094bf8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

tcfail167.hs:14:1: error: [-Woverlapping-patterns (in -Wdefault), -Werror=overlapping-patterns]
    Pattern match is redundant
    In an equation for ‘inaccessible’: inaccessible C2 = ...

tcfail167.hs:14:14: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code]
    • Inaccessible code in
        a pattern with constructor: C2 :: T Float,
        in an equation for ‘inaccessible’
      Couldn't match type ‘Char’ with ‘Float’
    • In the pattern: C2
      In an equation for ‘inaccessible’: inaccessible C2 = ' '