summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_fail/T11039.stderr
blob: 4783bc9fe66cb4cea4084752d665d2951b45973c (plain)
1
2
3
4
5
6
7
8
9

T11039.hs:8:15: error:
    • Couldn't match type ‘f’ with ‘A’
      ‘f’ is a rigid type variable bound by
        the signature for pattern synonym ‘Q’ at T11039.hs:7:14-38
      Expected type: f a
        Actual type: A a
    • In the pattern: A a
      In the declaration for pattern synonym ‘Q’