blob: 1631864d5c7315db27e854fdd0928946dcb55db0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- See trac bug 179
-- Gives a bogus type error
-- No instance for (Show (t -> Bool))
-- arising from use of `show' at tc175.hs:11:8-11
-- In the definition of `foo': foo x = show (\ _ -> True)
-- because the instance decl has type variables with
-- kind *, whereas the constraint (Show (x -> Bool)) has x::??
-- Kind of stupid, really, but awkward to fix.
module ShouldCompile where
instance Show (a->b)
foo x = show (\ _ -> True)
|
