1 : |
mblume |
1582 |
S M L / N J
|
2 : |
|
|
|
3 : |
|
|
1 1 0 . 4 7 N E W S
|
4 : |
|
|
|
5 : |
|
|
August 4, 2004
|
6 : |
|
|
|
7 : |
|
|
WARNING
|
8 : |
|
|
|
9 : |
|
|
This working version is believed to be stable, but
|
10 : |
|
|
we have not run our full regression-test suite.
|
11 : |
|
|
|
12 : |
|
|
HOME: http://www.smlnj.org/index.html
|
13 : |
|
|
FILES: http://smlnj.cs.uchicago.edu/dist/working/110.47/
|
14 : |
|
|
|
15 : |
|
|
|
16 : |
|
|
Summary:
|
17 : |
|
|
|
18 : |
|
|
The most important and noticable changes in 110.47 concern
|
19 : |
|
|
preliminary implementations of the NLFFI foreign-function
|
20 : |
|
|
interface under Mac OS X (PowerPC) and Win32 (x86). There are
|
21 : |
|
|
also a number of important bug fixes.
|
22 : |
|
|
|
23 : |
|
|
--------------------------------------------------------------------------
|
24 : |
|
|
|
25 : |
|
|
Details:
|
26 : |
|
|
|
27 : |
|
|
NLFFI:
|
28 : |
|
|
------
|
29 : |
|
|
|
30 : |
|
|
- preliminary support for Mac OS X added
|
31 : |
|
|
- preliminary support for Win32 added
|
32 : |
|
|
(untested;
|
33 : |
|
|
currently can only interface with C functions using the stdcall
|
34 : |
|
|
calling conventions)
|
35 : |
|
|
- function arguments that are C unions are now handled
|
36 : |
|
|
- various minor bug fixes to ml-nlffigen
|
37 : |
|
|
- preliminary documentation for nlffi and ml-nlffigen
|
38 : |
|
|
(currently only describes the output of ml-nlffigen;
|
39 : |
|
|
see src/ml-nlffi-lib/Doc/manual/nlffi.tex)
|
40 : |
|
|
|
41 : |
|
|
Compilation Manager:
|
42 : |
|
|
--------------------
|
43 : |
|
|
|
44 : |
|
|
- made "make" commend in CM's "make" tool configurable
|
45 : |
|
|
- added option (default: on) for passing the name of the SML/NJ's "bin"
|
46 : |
|
|
directory to "make";
|
47 : |
|
|
This can be used by the Makefile to, e.g., pick the "right" version
|
48 : |
|
|
of ml-nlffigen.
|
49 : |
|
|
|
50 : |
|
|
Basis:
|
51 : |
|
|
------
|
52 : |
|
|
|
53 : |
|
|
- Changed the implementation of structure Unix so that the
|
54 : |
|
|
same stream is returned every time one of the
|
55 : |
|
|
{text,bin}{In,Out}streamOf functions is invoked on the
|
56 : |
|
|
same proc. (NOTE: This is not what the spec says, so it will
|
57 : |
|
|
probably change again. Don't rely on it!)
|
58 : |
|
|
|
59 : |
|
|
Windows port:
|
60 : |
|
|
-------------
|
61 : |
|
|
|
62 : |
|
|
- bug fixes:
|
63 : |
|
|
* NULL test in gmtime and localtime
|
64 : |
|
|
* toSeconds -> toMilliseconds in win32-process.sml (Basis implementation)
|
65 : |
|
|
|
66 : |
|
|
Installer:
|
67 : |
|
|
----------
|
68 : |
|
|
|
69 : |
|
|
- eliminated some shell syntax not understood by /bin/sh under Solaris
|
70 : |
|
|
|
71 : |
|
|
Compiler internals:
|
72 : |
|
|
-------------------
|
73 : |
|
|
|
74 : |
|
|
- redesigned c-calls interface
|
75 : |
|
|
- c-calls implementation for ppc-macosx added
|
76 : |
|
|
- low-level support for choosing C calling conventions by twiddling the
|
77 : |
|
|
type of of the rawccall primop (see src/compiler/Semant/types/cproto.sml
|
78 : |
|
|
for details)
|
79 : |
|
|
- use paramAlloc to report c-calls with too many arguments
|
80 : |
|
|
(for PPC version where parameter area is pre-allocated)
|
81 : |
|
|
- added ccall_maxargspace to machspec (to implement the above)
|
82 : |
|
|
|
83 : |
|
|
MLRISC:
|
84 : |
|
|
-------
|
85 : |
|
|
|
86 : |
|
|
- Added these instructions to the PowerPC architecture:
|
87 : |
|
|
LWARX, STWCX, LBZU(X), LHZU(X), LWZU(X), STWU(X), STFDU, STFSU, etc.
|
88 : |
|
|
(Instruction encodings not added yet, though.)
|
89 : |
|
|
- loop-structure.sml has been rewritten
|