testsuite/tests/patsyn/should_fail/records-exquant.stderr


1
2
3
4
5
6
7
8
9
10
11


records-exquant.hs:8:7: error:
    • Cannot use record selector ‘a’ as a function due to escaped type variables
    • In the expression: a (Showable True)
      In an equation for ‘qux’: qux = a (Showable True)
    Suggested fix: Use pattern-matching syntax instead

records-exquant.hs:10:7: error:
    • Record update for insufficiently polymorphic field: a :: a
    • In the expression: (Showable ()) {a = True}
      In an equation for ‘foo’: foo = (Showable ()) {a = True}