skaller wrote: > However in typeclasses, since equality is a requirement > for ordering, and because stuff is passed implicitly, it > seems there is no sane distinction: even if you don't > export == from Eq in Ord, if you pass Ord to a function > you get a type which satisfies Eq anyhow, so you can > always just open Eq (and it should be perfectly safe). > True - for Esq. But is "perfectly safe" a syntactic or a semantic condition? If it is syntactic, then it is thoroughly safe to generalize this. If it is special to Eq/Ord, you have a real problem.
Jacques ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier. Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
