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

tcfail123.hs:11:10:
    Kind incompatibility when matching types:
      t0 :: *
      GHC.Prim.Int# :: #
    In the first argument of `f', namely `3#'
    In the expression: f 3#
    In the expression: (f 3#, f 4.3#, f True)

tcfail123.hs:11:16:
    Kind incompatibility when matching types:
      t1 :: *
      GHC.Prim.Float# :: #
    In the first argument of `f', namely `4.3#'
    In the expression: f 4.3#
    In the expression: (f 3#, f 4.3#, f True)