[MLton-devel] new basis library
Stephen Weeks
MLton@mlton.org
Thu, 25 Jul 2002 11:27:57 -0700
> Looking at poly-equal.fun, the code for an ''a vector equality does not
> perform a pointer equality first, although I suspect that it wouldn't be
> wrong to do so.
Right. It's been on my todo list for ages to add the following two
optimizations to polymorphic equality
1. always do an eq test first (this would help datatypes too)
2. given (1), datatype comparisons don't need to compare
non-value-carrying constructors, since they would have been equal
by (1).
-------------------------------------------------------
This sf.net email is sponsored by: Jabber - The world's fastest growing
real-time communications platform! Don't just IM. Build it in!
http://www.jabber.com/osdn/xim
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel