[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

This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list