Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail164.stderr
1
2 tcfail164.hs:11:5:
3     Bad call to tagToEnum# at type a
4       Specify the type by giving a type signature
5       e.g. (tagToEnum# x) :: Bool
6     In the expression: tagToEnum# 0#
7     In an equation for ‘f’: f = tagToEnum# 0#
8
9 tcfail164.hs:17:34:
10     Bad call to tagToEnum# at type Int
11       Result type must be an enumeration type
12     In the expression: tagToEnum# value#
13     In an equation for ‘readUnboxable’:
14         readUnboxable (I# value#) = tagToEnum# value#
15     In the instance declaration for ‘Unboxable Int’