testsuite/tests/typecheck/should_fail/T3406.stderr


1
2
3
4
5
6
7
8
9
10


T3406.hs:11:28: error:
    • Couldn't match type ‘Int’ with ‘a -> ItemColID a b’
      Expected type: a -> ItemColID a b
        Actual type: ItemColID a1 b1
    • In the expression: x :: ItemColID a b
      In an equation for ‘get’:
          get (x :: ItemColID a b) = x :: ItemColID a b
    • Relevant bindings include
        get :: ItemColID a b -> a -> ItemColID a b (bound at T3406.hs:11:1)