[MLton-devel] MLton.eq?
Stephen Weeks
MLton@mlton.org
Sat, 28 Sep 2002 17:51:35 -0700
> Polyspace uses MLton.eq for things like an eq?-table for memoizing? That seems
> like the most natural case where the semantic mush wouldn't cause too much of
> a problem.
Yeah, I think so. It should be a safe bet to use as a pre-equality
test that is then followed by a real equality test if it returns
false.
-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel