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)
|