Commit 398ef537 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Improved error meesage

parent 09833867
......@@ -6,6 +6,7 @@ tcfail209.hs:5:1:
tcfail209.hs:8:8:
Predicate `Show a' used as a type
Expected kind `*', but `Show a' has kind `Constraint'
The first argument of a tuple should have kind `*',
but `Show a' has kind `Constraint'
In the type signature for `g':
g :: ((Show a, Num a), Eq a) => a -> a
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment