1 : |
mblume |
1907 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
2 : |
|
|
<html>
|
3 : |
|
|
<head>
|
4 : |
|
|
<title>SML/NJ 110.58 NEWS</title>
|
5 : |
|
|
</head>
|
6 : |
|
|
|
7 : |
|
|
<body>
|
8 : |
|
|
<pre>
|
9 : |
|
|
S M L / N J
|
10 : |
|
|
|
11 : |
|
|
1 1 0 . 5 8 N E W S
|
12 : |
|
|
|
13 : |
|
|
March 3, 2006
|
14 : |
|
|
|
15 : |
|
|
WARNING
|
16 : |
|
|
|
17 : |
|
|
This working version is believed to be stable, but
|
18 : |
|
|
we have not run our full regression-test suite.
|
19 : |
|
|
</pre>
|
20 : |
|
|
|
21 : |
|
|
<dl>
|
22 : |
|
|
<dt>HOME:</dt>
|
23 : |
|
|
<dd><a href="http://www.smlnj.org/index.html">http://www.smlnj.org/index.html</a></dd>
|
24 : |
|
|
<dt>FILES:</dt>
|
25 : |
|
|
<dd><a href="http://smlnj.cs.uchicago.edu/dist/working/110.58/">http://smlnj.cs.uchicago.edu/dist/working/110.58/</a></dd>
|
26 : |
|
|
</dl>
|
27 : |
|
|
|
28 : |
|
|
<h2>Summary:</h2>
|
29 : |
|
|
|
30 : |
|
|
Support for Intel Macs and x86-64 under Linux, a brand-new
|
31 : |
|
|
replacement for ml-lex, and other minor improvements as well
|
32 : |
|
|
as bugfixes.
|
33 : |
|
|
|
34 : |
|
|
<hr>
|
35 : |
|
|
|
36 : |
|
|
<h2>Details:</h2>
|
37 : |
|
|
|
38 : |
|
|
<dl>
|
39 : |
|
|
<dt>Lexer generator:</dt>
|
40 : |
|
|
<dd>
|
41 : |
|
|
<ul>
|
42 : |
|
|
<li>A new, much improved lexer generator tool has been developed by
|
43 : |
|
|
Aaron Turon and John Reppy. The new tool, called <tt>lexgen</tt>, can be
|
44 : |
|
|
used as a drop-in replacement for <tt>ml-lex</tt>.</li>
|
45 : |
|
|
|
46 : |
|
|
<li>The compilation manager is able to have lex specification
|
47 : |
|
|
files processed by either <tt>lexgen</tt> or the original
|
48 : |
|
|
<tt>ml-lex</tt>. For the time being, the latter is the default.</li>
|
49 : |
|
|
|
50 : |
|
|
<li>To change this aspect of CM's behavior, invoke <tt>sml</tt>
|
51 : |
|
|
(and related commands such as <tt>ml-build</tt>) using the
|
52 : |
|
|
<tt>-Ccm.use-legacy-lex=false</tt> command line switch.
|
53 : |
|
|
Alternatively, one can define an environment variable
|
54 : |
|
|
<tt>CM_USE_LEGACY_LEX</tt> and set it to <tt>false</tt>.</li>
|
55 : |
|
|
|
56 : |
|
|
<li>Binaries (bootfiles) shipped with this version have been
|
57 : |
|
|
compiled using <tt>lexgen</tt>.
|
58 : |
|
|
</ul>
|
59 : |
|
|
</dd>
|
60 : |
|
|
<dt>Newly supported platforms:</dt>
|
61 : |
|
|
<dd>
|
62 : |
|
|
<ul>
|
63 : |
|
|
<li>SML/NJ builds and runs on Intel-based Macs running Mac OS X.</li>
|
64 : |
|
|
<li>SML/NJ builds and runs on x86-64 systems using 32-bit mode.</li>
|
65 : |
|
|
<li>SML/NJ should build and run on NetBSD 3.x (untested).</li>
|
66 : |
|
|
</ul>
|
67 : |
|
|
</dd>
|
68 : |
|
|
<dt>Platforms no longer supported:</dt>
|
69 : |
|
|
<dd>
|
70 : |
|
|
<ul>
|
71 : |
|
|
<li>Support for pre-2.2 Linux kernels has been dropped.</li>
|
72 : |
|
|
</ul>
|
73 : |
|
|
</dd>
|
74 : |
|
|
<dt>Runtime system:</dt>
|
75 : |
|
|
<dd>
|
76 : |
|
|
<ul>
|
77 : |
|
|
<li>Signal handling on x86/Linux has been cleaned up.</li>
|
78 : |
|
|
</ul>
|
79 : |
|
|
</dd>
|
80 : |
|
|
<dt>MLRISC:</dt>
|
81 : |
|
|
<dd>
|
82 : |
|
|
<ul>
|
83 : |
|
|
<li>Scripts for rebuilding MLRISC-generated files have been updated
|
84 : |
|
|
to reflect changes to CM.</li>
|
85 : |
|
|
</ul>
|
86 : |
|
|
</dd>
|
87 : |
|
|
<dt>Backend:</dt>
|
88 : |
|
|
<dd>
|
89 : |
|
|
<ul>
|
90 : |
|
|
<li>Darwin-specific Intel ABI (for foreign-function interface)
|
91 : |
|
|
implemented. The solution is temporary since it currently relies
|
92 : |
|
|
on the fact that the compiler itself does not use the FFI.</li>
|
93 : |
|
|
</ul>
|
94 : |
|
|
</dd>
|
95 : |
|
|
<dt>Compilation manager:</dt>
|
96 : |
|
|
<dd>
|
97 : |
|
|
<ul>
|
98 : |
|
|
<li>Improved CM-specific error reporting and handling.</li>
|
99 : |
|
|
</ul>
|
100 : |
|
|
</dd>
|
101 : |
|
|
<dt>Installation:</dt>
|
102 : |
|
|
<dd>
|
103 : |
|
|
<ul>
|
104 : |
|
|
<li>Enabling <tt>$/html-lib.cm</tt> in config/preloads now works.</li>
|
105 : |
|
|
</ul>
|
106 : |
|
|
</dd>
|
107 : |
|
|
<dt>CML:</dt>
|
108 : |
|
|
<dd>
|
109 : |
|
|
<ul>
|
110 : |
|
|
<li><tt>withNack</tt> wrapped around a <tt>never</tt> event will
|
111 : |
|
|
now properly signal the negative acknowledgement.</li>
|
112 : |
|
|
</ul>
|
113 : |
|
|
</dd>
|
114 : |
|
|
</dl>
|
115 : |
|
|
|
116 : |
|
|
</body>
|
117 : |
|
|
</html>
|