9 |
<!-- BELL-LABS |
<!-- BELL-LABS |
10 |
kw programming language compiler functional symbolic |
kw programming language compiler functional symbolic |
11 |
category project |
category project |
12 |
contact dbm@cs.chicago.edu |
contact macqueen@cs.chicago.edu |
13 |
desc a compiler and programming system for a modern functional language |
desc a compiler and programming system for a modern functional language |
14 |
--> |
--> |
15 |
|
|
45 |
</strong></big></big> |
</strong></big></big> |
46 |
</td> |
</td> |
47 |
<td align="right"> |
<td align="right"> |
48 |
<a href="http://www.bell-labs.com/"> |
|
|
<img border="0" align="middle" |
|
|
alt="Lucent Technologies, Bell Labs Innovations" |
|
|
src="lucent.gif"> |
|
|
</a> |
|
49 |
</td> |
</td> |
50 |
</tr> |
</tr> |
51 |
</tbody> |
</tbody> |
62 |
SML/NJ is <a href="license.html">free, open source</a> software. |
SML/NJ is <a href="license.html">free, open source</a> software. |
63 |
</p> |
</p> |
64 |
|
|
65 |
|
<a href="dist/working/index.html"> |
66 |
|
<h3>Downloads</h3> |
67 |
|
</a> |
68 |
|
|
69 |
|
Although we have not "blessed" it as a full release, |
70 |
|
we <i>strongly</i> recommend using one of our recent |
71 |
|
<a href="dist/working/index.html">working</a> versions. |
72 |
|
Currently, the most recent such version |
73 |
|
is <a href="dist/working/110.62/index.html">110.62</a>. |
74 |
|
|
75 |
|
|
76 |
<a href="new.html"> |
<a href="new.html"> |
77 |
<h3>What's New</h3> |
<h3>What's New</h3> |
78 |
</a> |
</a> |
79 |
|
|
80 |
<ul> |
<ul> |
81 |
|
<li>[2/2/07] Working |
82 |
|
version <a href="dist/working/110.62/index.html">110.62</a> available. |
83 |
|
<font size="-1"> |
84 |
|
(Version |
85 |
|
<a href="dist/working/110.61/index.html">110.61</a> did not get |
86 |
|
announced.) |
87 |
|
</font> |
88 |
|
</li> |
89 |
|
<li>Working version |
90 |
|
<a href="dist/working/110.60/index.html">110.60</a> available. |
91 |
|
New directory layout, subversion-based source repository, |
92 |
|
beta-releases of new program generator tools.</li> |
93 |
|
<li>Working version |
94 |
|
<a href="dist/working/110.59/index.html">110.59</a> available. |
95 |
|
Bugfixes and minor improvements.</li> |
96 |
|
<li>Working version |
97 |
|
<a href="dist/working/110.58/index.html">110.58</a> available. |
98 |
|
Among other improvements, this version adds support for |
99 |
|
Intel-based Macs as well as x86-64-based Linux machines. Moreover, |
100 |
|
it comes with <b>lexgen</b>, a brand-new drop-in replacement for |
101 |
|
<tt>ml-lex</tt>.</li> |
102 |
|
<li>Working version |
103 |
|
<a href="dist/working/110.57/index.html">110.57</a> |
104 |
|
available. Bugfixes and minor feature enhancements.</li> |
105 |
|
<li><a href="new.html#110.51">Working version 110.51 available.</a> |
106 |
|
This version adds 64-bit integer and word arithmetic to the |
107 |
|
<i>Basis</i> library (structures <tt>Int64</tt> and |
108 |
|
<tt>Word64</tt>). (At the moment, the implementation is rather |
109 |
|
inefficient, though.)</li> |
110 |
|
<li><a href="new.html#110.50">Working version 110.50 available.</a> |
111 |
|
This version corrects a problem related to <tt>struct</tt> arguments |
112 |
|
and results with NLFFI on the x86 platform. It also improves |
113 |
|
back-trace support and adds a simple test coverage tool. |
114 |
|
In addition, CM can now deal directly with "lazy sml" source code.</li> |
115 |
|
<li><a href="new.html#110.49">Working version 110.49 available.</a> |
116 |
|
Version 110.49 fixes another show-stopper bug in the x86 c-calls |
117 |
|
implementation, fixes a bug in the signal masking code, and enables |
118 |
|
Cygwin support.</li> |
119 |
|
<li><a href="new.html#110.48">Working version 110.48 available.</a> |
120 |
|
Version 110.48 fixes a show-stopper bug in the x86 c-calls |
121 |
|
implementation introduced by 110.47. It also resolves a few other |
122 |
|
minor issues.</li> |
123 |
|
<li><a href="new.html#110.47">Working version 110.47 available.</a> |
124 |
|
The most important change is the availability of preliminary |
125 |
|
implementations of the NLFFI foreign-function interface under Mac OS |
126 |
|
X and Win32.</li> |
127 |
|
<li><a href="new.html#110.46">Working version 110.46 available.</a> |
128 |
|
We are moving closer to compliance with the Basis Library specification. |
129 |
|
There are also bugfixes and other minor enhancements to the installer, |
130 |
|
the Windows port, the <tt>ml-build</tt> command-line tool, and |
131 |
|
the Compilation Manager. |
132 |
|
</li> |
133 |
|
<li><a href="new.html#110.45">Working version 110.45 available.</a> |
134 |
|
This is a maintenance release which mostly fixes problems compiling |
135 |
|
the runtime system code using GCC 3.3. |
136 |
|
</li> |
137 |
|
<li><a href="new.html#110.44">Working version 110.44 available.</a> |
138 |
|
This update fixes several important bugs, improves the new |
139 |
|
installer, provides support for Mac OS X 10.3 (Panther), and |
140 |
|
continues to bring the Basis implementation closer to the |
141 |
|
specification.</li> |
142 |
|
<li><a href="new.html#110.43">Working version 110.43 available.</a> |
143 |
|
This is a fairly major update which brings back an operational |
144 |
|
port to the Microsoft Windows platform as well as extensive |
145 |
|
work on the Basis library (including support for <tt>IntInf.int</tt>).</li> |
146 |
|
<li>The SML/NJ source CVS repository has been moved to SourceForge. |
147 |
|
The |
148 |
|
<a href="https://sourceforge.net/projects/smlnj">SML/NJ SourceForge |
149 |
|
project page</a> |
150 |
|
has a link to information about CVS access. The distribution files |
151 |
|
are also in the process of being moved to SourceForge. A mirror of |
152 |
|
the www.smlnj.org is available at the |
153 |
|
<a href="http://smlnj.cs.uchicago.edu"> |
154 |
|
University of Chicago</a>. The Bell Labs SML/NJ web site is now obsolete and |
155 |
|
will be replaced with an indirection to www.smlnj.org. [March 10, 2003]</li> |
156 |
<li>We have switched over to a new mailing list hosted by |
<li>We have switched over to a new mailing list hosted by |
157 |
<a href="http://sourceforge.net/">SourceForge</a>. The name of |
<a href="http://sourceforge.net/">SourceForge</a>. The name of |
158 |
the new list is <img src="smlnj-list-logo.jpg" align=center>. |
the new list is <img src="smlnj-list-logo.jpg" align=center>. |
159 |
(To avoid receiving |
(To avoid receiving |
160 |
to much spam we do not show the name of the mailing list in clear text |
to much spam we do not show the name of the mailing list in clear text |
161 |
and render it as a JPG image instead. If spammers start using fancy |
and render it as a JPG image instead. If spammers start using fancy |
162 |
OCR, we give up.) |
OCR, we give up.)</li> |
163 |
<li><a href="new.html#110.42">Working version 110.42 available.</a> |
<li><a href="new.html#110.42">Working version 110.42 available.</a> |
164 |
This relatively small but important update (among other things) |
This relatively small but important update (among other things) |
165 |
fixes a memory leak problem in CML and provides support for MacOS |
fixes a memory leak problem in CML and provides support for MacOS |
166 |
X 10.2. (We have provided a MacOS <a |
X 10.2. (We have provided a MacOS <a |
167 |
href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.42/smlnj-macosx.dmg">disk |
href="/dist/working/110.42/smlnj-macosx.dmg">disk |
168 |
image</a> with pre-compiled runtime systems for both MacOS 10.1 |
image</a> with pre-compiled runtime systems for both MacOS 10.1 |
169 |
and 10.2 for use by those without developer tools. See the README |
and 10.2 for use by those without developer tools. See the README |
170 |
file within this disk image for details.) |
file within this disk image for details.) |
|
<li><a href="new.html#110.41">Working version 110.41 available.</a> |
|
|
The biggest highlight of this version is that it fixes a long-standing |
|
|
problem with the garbage collector that would lead to constant, slow, |
|
|
but unbounded memory leakage. |
|
|
<li>A new <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.40/runtime.tgz"> |
|
|
runtime tarball</a> has been uploaded to our ftp server. It fixes |
|
|
a potentially serious problem with the GC (in programs that allocate |
|
|
very large arrays). |
|
|
<li><a href="new.html#110.40">Working version 110.40 available.</a> |
|
|
This release features many improvements to the libraries and |
|
|
has seen substantial work on the MLRISC backend.</li> |
|
|
<li><a href="new.html#110.39">Working version 110.39 available.</a> |
|
|
This is mainly a bugfix release, but there |
|
|
are also improvements to libraries, FFI generator, and installer.</li> |
|
|
<li><a href="new.html#110.38">Working version 110.38 available</a>. |
|
|
This release improves the internal organization |
|
|
of the MLRISC backend and comes with a completely overhauled FFI |
|
|
implementation. There are also |
|
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.38/INSTALL"> |
|
|
new installation instructions</a> |
|
|
(which were long overdue).</li> |
|
|
<li><a href="new.html#SF-mirror"> SourceForge mirror of SML/NJ web site |
|
|
[October 17, 2001].</a></li> |
|
|
<li>Working version 110.35 available. We have reworked the |
|
|
organization of compiler libraries. There are also several important |
|
|
bug fixes.</li> |
|
|
<li>Working version 110.34 available. This version brings renewed |
|
|
support for CML and eXene, several bug fixes, and further improvements |
|
|
to the new FFI.</li> |
|
|
<li><a href="new.html#macosx"> Working version 110.33 available with |
|
|
Mac OS X support and experimental FFI [June 6, 2001]</a></li> |
|
|
<li><a href="new.html#smlnj.exe">New 110.0.7 smlnj.exe</a> |
|
|
fixes error messages when installing under Windows 95/98/ME. |
|
|
[March 23, 2001]</li> |
|
|
<li><a href="new.html#sourceforge">New SML and SML/NJ SourceForge projects |
|
|
[1 March 2001]</a>.</li> |
|
|
<li><a href="new.html#prog-smlnj">New SML/NJ tutorial</a> |
|
|
by Riccardo Pucella available. [18 Feb 2001].</li> |
|
|
<li> <a href="new.html#sml-mode">emacs sml-mode updated to 3.9.5</a> |
|
|
in contrib/emacs [26 Jan 2001]</a>.</li> |
|
|
<li> <a href="new.html#110.0.7">New <strong>110.0.7</strong> patch release |
|
|
available</a>; includes CML fixes, smlnj-lib improvements |
|
|
[October 12, 2000]. </li> |
|
171 |
<li><a href="new.html#Version-111">Version 111 plans</a>.</li> |
<li><a href="new.html#Version-111">Version 111 plans</a>.</li> |
172 |
</ul> |
</ul> |
173 |
|
|
178 |
<ul> |
<ul> |
179 |
<li>Information on <a href="software.html">downloading and installing</a> |
<li>Information on <a href="software.html">downloading and installing</a> |
180 |
the <strong>SML/NJ</strong>system and related software.</li> |
the <strong>SML/NJ</strong>system and related software.</li> |
181 |
<li> A <strong>self-installing .EXE</strong> for Windows 9X, NT, or |
<li> A <strong>self-installing .EXE</strong> for Windows 9X/NT/2000/XP |
182 |
2000 is available (<a href="dist/smlnj.exe">http</a>, |
is available (<a href="dist/release/110.0.7/smlnj.exe">(smlnj.exe, 5.4MB)</a>.</li> |
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/smlnj.exe"> |
|
|
ftp</a>; 5.4MB).</li> |
|
183 |
</ul> |
</ul> |
184 |
|
|
185 |
<h3>Background</h3> |
<h3>Background</h3> |
196 |
<li><a href="doc/literature.html#books">Books</a></li> |
<li><a href="doc/literature.html#books">Books</a></li> |
197 |
<li><a href="doc/literature.html#tutorials">Tutorials</a></li> |
<li><a href="doc/literature.html#tutorials">Tutorials</a></li> |
198 |
<li><a href="doc/index.html">SML/NJ User's Guide</a></li> |
<li><a href="doc/index.html">SML/NJ User's Guide</a></li> |
199 |
<li><a href="doc/basis/index.html">SML'97 Basis Library</a></li> |
<li><a href="http://www.standardml.org/Basis">SML'97 Basis Library</a></li> |
200 |
<li><a href="doc/FAQ/index.html">SML/NJ FAQ |
<li><a href="doc/FAQ/index.html">SML/NJ FAQ |
201 |
(Frequently Asked Questions)</a></li> |
(Frequently Asked Questions)</a></li> |
202 |
<li><a href="doc/Conversion/index.html">SML'97 Conversion Guide</a></li> |
<li><a href="doc/Conversion/index.html">SML'97 Conversion Guide</a></li> |
206 |
<li><a href="doc/CM/index.html">Compilation Manager (CM)</a></li> |
<li><a href="doc/CM/index.html">Compilation Manager (CM)</a></li> |
207 |
<li><a href="doc/ML-Lex/manual.html">ML-Lex</a></li> |
<li><a href="doc/ML-Lex/manual.html">ML-Lex</a></li> |
208 |
<li><a href="doc/ML-Yacc/index.html">ML-Yacc</a></li> |
<li><a href="doc/ML-Yacc/index.html">ML-Yacc</a></li> |
209 |
<li><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/cml/index.html"> |
<li><a href="http://cml.cs.uchicago.edu/">Concurrent ML</a></li> |
210 |
Concurrent ML</a></li> |
<li><a href="http://www.cis.ksu.edu/~stough/eXene/index.html">eXene</a></li> |
|
<li><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/eXene/index.html"> |
|
|
eXene</a></li> |
|
211 |
<li><a href="doc/SMLNJ-C/index.html">SML/NJ-C foreign function |
<li><a href="doc/SMLNJ-C/index.html">SML/NJ-C foreign function |
212 |
interface</a></li> |
interface</a></li> |
213 |
<li><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html"> |
<li><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html"> |
215 |
<li><a href="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html"> |
<li><a href="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html"> |
216 |
comp.lang.ml FAQ</a></li> |
comp.lang.ml FAQ</a></li> |
217 |
<li><a href="compiler-notes/index.html">Compiler notes</a></li> |
<li><a href="compiler-notes/index.html">Compiler notes</a></li> |
|
<li>These |
|
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
|
|
SML/NJ web pages</a>, |
|
|
including the Basis web pages, are available for downloading as a |
|
|
compressed tar file. The |
|
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
|
|
Basis documentation pages</a> are also available separately as a gzipped |
|
|
tar file. |
|
|
|
|
|
<blockquote> |
|
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
|
|
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z</a> |
|
|
(1.2MB)<br> |
|
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
|
|
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz</a> |
|
|
(176KB) |
|
|
</blockquote> |
|
|
</li> |
|
218 |
</ul> |
</ul> |
219 |
|
|
220 |
<h3>Reporting Bugs</h3> |
<h3>Reporting Bugs</h3> |
225 |
cgi bug form</a> at Princeton.</li> |
cgi bug form</a> at Princeton.</li> |
226 |
<li>You can also submit bug reports by email to |
<li>You can also submit bug reports by email to |
227 |
<img src="smlnj-list-logo.jpg" align=center> using the |
<img src="smlnj-list-logo.jpg" align=center> using the |
228 |
<a href="bug-report-form">bug report form</a>.</li> |
<a href="bugs/bug-report-form">bug report form</a>.</li> |
229 |
<li>The record of |
<li>The record of currently known bugs and the bug history</a> for |
230 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/bugs"> |
SML/NJ are available via the <a href="bugs/index.html">bugs web page</a>.</li> |
|
currently known bugs and the bug history</a> for SML/NJ are available |
|
|
via FTP.</li> |
|
231 |
</ul> |
</ul> |
232 |
|
|
233 |
<a href="links.html"> |
<a href="links.html"> |
256 |
|
|
257 |
<br> |
<br> |
258 |
|
|
259 |
<font size="-3">Copyright © 1996, |
<font size="-3">Copyright © 2004-2005, the SML/NJ Fellowship</a>. |
|
<a href="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</a>. |
|
260 |
</font> |
</font> |
261 |
|
|
262 |
<br> |
<br> |
263 |
|
|
264 |
<hr> |
<hr> |
265 |
|
|
266 |
|
<p> |
267 |
|
This material is based upon work supported in part by the National |
268 |
|
Science Foundation under Grant No. CNS-0454136. |
269 |
|
</p> |
270 |
|
|
271 |
|
<p> |
272 |
|
Any opinions, findings and conclusions or recommendations expressed in |
273 |
|
this material are those of the author(s) and do not necessarily |
274 |
|
reflect the views of the National Science Foundation (NSF). |
275 |
|
</p> |
276 |
|
|
277 |
|
<hr> |
278 |
|
|
279 |
<a href="http://sourceforge.net/"> |
<a href="http://sourceforge.net/"> |
280 |
<img src="sflogo.png" width="88" height="31" |
<img src="sflogo.png" width="88" height="31" |
281 |
border="0" alt="SourceForge Logo"> |
border="0" alt="SourceForge Logo"> |