[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