[MLton] cvs commit: C types now distinguish between signed and unsigned words

[Filip Pizlo]

Just an update on the PowerPC port.  Haven't had a chance to touch it much
over the last week because of school work.  Yesterday and today Luke and I
built a MLton based on my changes plus Stephen's update.  We did this the
safest way: built MLton on Luke's Linux box, used it to generate C code,
and compiled the C code on my PowerBook.

The fixed-integer test is passing without any trouble.  However, real.sml
is still giving me trouble.  And I'm not sure I understand well enough how
real.sml is supposed to work to debug it.

Here's what's happening: the trigonometric functions test is generating
slightly wrong results (specifically, sin, cosh, and tanh generate results
that are incorrect in the three least significant digits - which in Real64
amounts to very little error).  My guess is that rounding is not happening
correctly.  In that case, what rounding mode should be in effect when
doing the trig portion of the test?

Second, does real.sml have any tests tailored specifically to rounding?  
Since all other portions of the real.sml test are passing, it would seem
that rounding is working.  However, I don't see anywhere that it's going
through basic arithmetic operations with different rounding modes... yet
this would seem like the best test.

--
Filip Pizlo
http://bocks.psych.purdue.edu/
pizlo@purdue.edu


On Mon, 6 Sep 2004, Stephen Weeks wrote:

> 
> > Question: now that primitive.sml has _prim "MLton_share" in it,
> > which is not recognized by my version of MLton, how do I bootstrap?
> 
> In general, it is easiest to do a clean bootstrap, which will build a
> version of the new MLton using an old verision, and then use that new
> MLton (which handles MLton_share) to process the basis.  Since you're
> in a special situation, it may be easier to put a stub in for
> MLton_share, compile using your current MLton, revert the stub back to
> _prim, and then make basis to put the new basis in place.
> 
> _______________________________________________
> MLton mailing list
> MLton@mlton.org
> http://www.mlton.org/mailman/listinfo/mlton
>