> 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
MLton-devel@lists.sourceforge.nethttps://lists.sourceforge.net/lists/listinfo/mlton-devel