[MLton-devel] IntInf primops

[Matthew Fluet]

> I've been meaning to go back and put in the new IntInf primops into the
> prim.fun simplifications.  I notice that IntInf_add and IntInf_mul are not
> isCommutative.  Is there a reason for this?  They are listed as
> functional.

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




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