summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_fail/T18856.stderr
blob: ceee0291029147b2f7627bd327300cd13ab83786 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14

T18856.hs:6:19: error:
    • Couldn't match expected type ‘Bool’ with actual type ‘Int’
    • In the declaration for pattern synonym ‘P’
  |
6 | pattern P p q <- (q, p, [(True,False)])
  |                   ^

T18856.hs:6:22: error:
    • Couldn't match expected type ‘Int’ with actual type ‘Bool’
    • In the declaration for pattern synonym ‘P’
  |
6 | pattern P p q <- (q, p, [(True,False)])
  |                      ^