Bugs20051202

Bug in the Real<N>.fmt, Real<N>.fromString, Real<N>.scan, and Real<N>.toString functions of the Basis Library implementation. These functions were using TO_NEAREST semantics, but should obey the current rounding mode. (Only Real<N>.fmt StringCvt.EXACT, Real<N>.fromDecimal, and Real<N>.toDecimal are specified to override the current rounding mode with TO_NEAREST semantics.)

Bug in the treatment of floating-point operations. Floating-point operations depend on the current rounding mode, but were being treated as pure.

Bug in the Real32.toInt function of the Basis Library implementation could lead incorrect results when applied to a Real32.real value numerically close to valOf(Int.maxInt).

The Socket structure of the Basis Library implementation used andb rather than orb to unmarshal socket options (for Socket.Ctl.get<OPT> functions).

Bug in the Date structure of the Basis Library implementation yielded some functions that would erroneously raise Date when applied to a year before 1900.

Bug in monomorphisation pass could exhibit the error Type error: type mismatch.

The PackReal<N>.toBytes function in the Basis Library implementation incorrectly shared (and mutated) the result vector.

Bug in elaboration of FFI forms. Using a unary FFI types (e.g., array, ref, vector) in places where MLton.Pointer.t was required would lead to an internal error TypeError.

The MONO_VECTOR signature of the Basis Library implementation incorrectly omits the specification of find.

The optimizer reports an internal error (TypeError) when an imported C function is called but not used.

Bug in pass to flatten data structures.

The native codegen’s implementation of the C-calling convention failed to widen 16-bit arguments to 32-bits.

The PACK_REAL structures of the Basis Library implementation used byte, rather than element, indexing.

MLton.share could cause a segmentation fault.

The SSA simplifier could eliminate an irredundant test.

A program with a very large number of functors could exhibit the error ElaborateEnv.functorClosure: firstTycons.