-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 11/3/10 21:30 , Maciej Piechotka wrote:
On Tue, 2010-11-02 at 21:57 -0400, Brandon S Allbery KF8NH wrote:
On 10/29/10 09:35 , Dominique Devriese wrote:
* Only introduce a dependency from type class A to type class B if all functions in type class B can be implemented in terms of the functions in type class A or if type class A is empty.
Er? Eq a => Ord a makes perfect sense in context but violates this law.
x == y = case x `compare` y of EQ -> True; _ -> False
So, gratuitous duplication. Leading to the potential for the lovely case where Eq does one thing and `compare` does something else. This is an improvement? - -- brandon s. allbery [linux,solaris,freebsd,perl] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkzYzTAACgkQIn7hlCsL25U91wCgz1kGXIyrlOqq69qnAyK4F1jm De0AoM8mwq39+qFQRRZSsf3Qu8dSLoQr =IMhV -----END PGP SIGNATURE-----