11 Apr
2014
11 Apr
'14
2:51 a.m.
On Thu, 10 Apr 2014 11:44:25 -0700, Alexander Solla <alex.solla@gmail.com> wrote:
On Thu, Apr 10, 2014 at 11:40 AM, Andres Löh <andres@well-typed.com> wrote: I don't have a GHC 7.8 handy. Can you check to see if:
whee :: Show a => Eq a => (a -> Bool)
works over there?
It does, see:
λ let whee :: Show a => Eq a => (a -> Bool); whee x = x == x && null (show x) λ :t whee whee :: (Show a, Eq a) => a -> Bool