[MLton-devel] IntInf primops

Stephen Weeks MLton@mlton.org
Tue, 14 Jan 2003 11:52:16 -0800

> Duh!  They aren't commutative because they aren't binary; there is a third
> argument indicating the heap space needed.


The only place in the compiler that uses commutativity is
common-subexpression elimination, and that it has special code to
handle the sort-of commutative primapps.  It might be better to make a
new name for sort-of cummutative and move that code to prim.fun.

This SF.NET email is sponsored by: Take your first step towards giving 
your online business a competitive advantage. Test-drive a Thawte SSL 
certificate - our easy online guide will show you how. Click here to get 
started: http://ads.sourceforge.net/cgi-bin/redirect.pl?thaw0027en
MLton-devel mailing list