summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T3592.stderr
blob: 09a3d769406b071baceb7ec98edd3c210ee34b28 (plain)
1
2
3
4
5
6
7
8
9
10
11

T3592.hs:8:5: error: [GHC-91028]
    • Couldn't match type ‘a0’ with ‘T a’
      Expected: T a -> String
        Actual: a0 -> String
      Cannot instantiate unification variable ‘a0’
      with a type involving polytypes: T a
    • In the expression: show
      In an equation for ‘f’: f = show
    • Relevant bindings include
        f :: T a -> String (bound at T3592.hs:8:1)