On Fri, 2006-09-08 at 20:35 -0400, Peter Tanski wrote: > >> system to be able to type-check the typeclass. > > > > Why do we have to type check them?
Argg ... that was a really stupid comment sorry. Serves me right for trying to make sense in a pre-caffeinated state :) *Obviously* you have to check (a) instantiation and (b) use of type class kinds in types .. but my brain was thinking .. "huh .. what's in a type class that needs checking?" -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net ------------------------------------------------------------------------- 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 [email protected] https://lists.sourceforge.net/lists/listinfo/felix-language
