summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T3176.stderr
blob: 1f089da6fe8e48b68d37d7c8cc500ffe0e9e84eb (plain)
1
2
3
4
5
6
7

T3176.hs:9:27: error:
    • Cannot use record selector ‘unES’ as a function due to escaped type variables
      Probable fix: use pattern-matching syntax instead
    • In the first argument of ‘($)’, namely ‘unES’
      In the second argument of ‘($)’, namely ‘unES $ f t’
      In the expression: show $ unES $ f t