summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T3651.stderr
blob: 62e3bf16d7057c39b8f7cb3131764e7b1b049abd (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 type: a
        Actual type: ()
    • In the expression: ()
      In an equation for ‘unsafe1’: unsafe1 B U = ()

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