testsuite/tests/typecheck/should_fail/T12529.stderr


1
2
3
4
5
6
7
8


T12529.hs:5:5: error: Variable not in scope: p

T12529.hs:5:5: error:
    • Cannot apply expression of type ‘t1’
      to a visible type argument ‘Int’
    • In the expression: p @Int
      In an equation for ‘f’: f = p @Int