blob: b5329ff6dcd88c5cc7d9fa0ce2b6046402d02128 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail209.hs:5:6:
Illegal irreducible constraint Showish a
(Use -XConstraintKinds to permit this)
In the type signature for `f': f :: Showish a => a -> a
tcfail209.hs:8:6:
Illegal tuple constraint (Show a, Num a)
(Use -XConstraintKinds to permit this)
In the type signature for `g':
g :: ((Show a, Num a), Eq a) => a -> a
|