summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/gadt/T3651.stderr
blob: d15e27aefa7baba76a6bfcca1989797a84768e8c (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:
    Couldn't match type `()' with `Bool'
    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:
    Couldn't match type `()' with `Bool'
    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:
    Couldn't match type `()' with `Bool'
    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