[MLton-devel] MLton.eq?

[Henry Cejtin]

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.


-------------------------------------------------------
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