testsuite/tests/patsyn/should_fail/T11039.stderr


1
2
3
4
5
6
7
8
9
10


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:1-38
      Expected type: f a
        Actual type: A a
    • In the pattern: A a
      In the declaration for pattern synonym ‘Q’