summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T3651.stderr
blob: cd235748bb6906e7ecd684cd8d795185ac3b11b7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14

T3651.hs:11:15: error:
    • Couldn't match type ‘()’ with ‘Bool’
      Expected: a
        Actual: ()
    • In the expression: ()
      In an equation for ‘unsafe1’: unsafe1 B U = ()

T3651.hs:14:15: error:
    • Couldn't match type ‘()’ with ‘Bool’
      Expected: a
        Actual: ()
    • In the expression: ()
      In an equation for ‘unsafe2’: unsafe2 B U = ()