20 Jul
2009
20 Jul
'09
2:33 p.m.
On Mon, Jul 20, 2009 at 10:01:54AM -0400, Patrick LeBoutillier wrote:
prop_host_read_show :: Int -> Bool prop_host_read_show i = let w = fromIntegral i h = IPv4Host w in read . show $ h == h
The last line is equivalent to "in read (show (h == h))", so you are testing if your Eq instance is an Eq instance and if "read (show True)" really is True. :) You probably want "(read $ show h) == h". -- Felipe.