summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T3651.stderr
blob: 14216eb1499b75dfbd8bb56b6d2b31716bc90cec (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

T3651.hs:11:11: error:
    • Couldn't match type ‘Bool’ with ‘()’
      Inaccessible code in
        a pattern with constructor: U :: Z (), in an equation for ‘unsafe1’
    • In the pattern: U
      In an equation for ‘unsafe1’: unsafe1 B U = ()

T3651.hs:14:11: error:
    • Couldn't match type ‘Bool’ with ‘()’
      Inaccessible code in
        a pattern with constructor: U :: Z (), in an equation for ‘unsafe2’
    • In the pattern: U
      In an equation for ‘unsafe2’: unsafe2 B U = ()

T3651.hs:17:11: error:
    • Couldn't match type ‘Bool’ with ‘()’
      Inaccessible code in
        a pattern with constructor: U :: Z (), in an equation for ‘unsafe3’
    • In the pattern: U
      In an equation for ‘unsafe3’: unsafe3 B U = True