testsuite/tests/typecheck/should_fail/T13530.stderr


1
2
3
4
5
6
7
8
9
10


T13530.hs:11:7: error:
    • Couldn't match a lifted type with an unlifted type
      When matching types
        a0 :: *
        Int# :: TYPE 'IntRep
      Expected type: (# Int#, Int# #)
        Actual type: (# Int#, a0 #)
    • In the expression: g x
      In an equation for ‘f’: f x = g x