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

T3102.hs:11:12:
    Couldn't match type ‛a’ with ‛(?p::Int) => a0’
      ‛a’ is a rigid type variable bound by
          a type expected by the context: a -> String at T3102.hs:11:10
    Expected type: a -> String
      Actual type: ((?p::Int) => a0) -> String
    In the first argument of ‛f’, namely ‛t’
    In the expression: f t
    In an equation for ‛result’: result = f t