[MLton-devel] IntInf primops

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 14 Jan 2003 14:45:47 -0500 (EST)

> 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