summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail123.stderr
blob: ad512e102e73cd20ffe73dd86c4229b415df6169 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

tcfail123.hs:11:9: error:
    • Couldn't match a lifted type with an unlifted type
      When matching types
        p0 :: *
        GHC.Prim.Int# :: TYPE 'GHC.Types.IntRep
    • In the first argument of ‘f’, namely ‘3#’
      In the expression: f 3#
      In an equation for ‘h’: h v = f 3#

tcfail123.hs:11:9: error:
    • Couldn't match a lifted type with an unlifted type
      When matching types
        p0 :: *
        GHC.Prim.Int# :: TYPE 'GHC.Types.IntRep
    • In the first argument of ‘f’, namely ‘3#’
      In the expression: f 3#
      In an equation for ‘h’: h v = f 3#