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