Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /doc/trunk/src/release-notes/110.79-README.html
ViewVC logotype

Annotation of /doc/trunk/src/release-notes/110.79-README.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4139 - (view) (download) (as text)

1 : jhr 4078 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2 :     <html>
3 :     <head>
4 : jhr 4116 <title>SML/NJ 110.79 Release Notes</title>
5 :     <style type="text/css">
6 : jhr 4078 div.smlnj-banner {
7 :     font-weight: bold;
8 :     font-size: x-large;
9 :     text-align: center;
10 : jhr 4116 margin-top: 1.5em;
11 :     margin-bottom: 1.5em;
12 : jhr 4078 }
13 :     dt.component {
14 :     font-weight: bold;
15 :     }
16 :     dd {
17 :     margin-left: 2em;
18 :     margin-bottom: 0.5em;
19 :     }
20 :     ul.buglist {
21 :     margin-left: 1em;
22 :     }
23 :     li {
24 :     margin-bottom: 0.5em;
25 :     }
26 :     .code {
27 :     font-family: "Courier", monospace;
28 :     white-space: pre;
29 : jhr 4139 color: darkblue;
30 : jhr 4115 }
31 :     span.code {
32 : jhr 4078 font-size: smaller;
33 :     }
34 : jhr 4139 span.kw {
35 :     font-family: "Courier", monospace;
36 :     font-weight: bold;
37 :     color: darkgreen;
38 :     }
39 :     span.com {
40 :     font-style: italic;
41 :     color: indianred;
42 :     }
43 :     span.exe {
44 :     font-weight: bold;
45 :     }
46 : jhr 4078 table.buglist {
47 :     margin-left: 2em;
48 :     }
49 :     td.bugid {
50 :     font-weight: bold;
51 :     padding-right: 1em;
52 :     padding-left: 0px;
53 :     margin-left: 0px;
54 :     }
55 : jhr 4116 p.compact {
56 :     margin-top: 0pt;
57 :     margin-bottom: 0pt;
58 :     }
59 : jhr 4078 </style>
60 :     </head>
61 :    
62 :     <body>
63 :     <div class="smlnj-banner">
64 :     Standard ML of New Jersey
65 : jhr 4116 <br>
66 : jhr 4078 Version 110.79 NEWS
67 : jhr 4116 <br>
68 : jhr 4107 October 1, 2015
69 : jhr 4078 </div>
70 : jhr 4116
71 : jhr 4078 <hr>
72 :     <dl>
73 :     <dt>SML/NJ HOME:</dt>
74 :     <dd><a href="http://www.smlnj.org/index.html"><tt>http://www.smlnj.org/index.html</tt></a></dd>
75 :     <dt>FILES:</dt>
76 :     <dd><a href="http://smlnj.cs.uchicago.edu/dist/working/110.79/index.html">
77 :     <tt>http://smlnj.cs.uchicago.edu/dist/working/110.79/</tt></a>
78 :     </dd>
79 :     </dl>
80 :     <hr>
81 :    
82 :     <h3>Summary:</h3>
83 :     <p>
84 : jhr 4107 This release incudes new Basis Library modules and the start of support for
85 :     <a href="https://github.com/SMLFamily/Proposed-Definition-of-Successor-ML"><b>Successor ML</b></a>,
86 :     which is an evolution of the Standard ML language.
87 :     It also has support for the latest version of Mac OS X (El Capitan) and Linux 4.x kernels,
88 :     improvements to the documentation, and various bug fixes.
89 : jhr 4078 </p>
90 :    
91 :     <h3>Details:</h3>
92 :    
93 :     <dl>
94 : jhr 4131 <dt class="component">Compiler:</dt>
95 :     <dd>
96 :     <p>
97 :     The compiler is somewhat faster (about 7% when compiling itself).
98 :     </p>
99 :     </dd>
100 : jhr 4095 <dt class="component">Basis Library:</dt>
101 :     <dd>
102 :     <p>
103 :     This version implements a number of proposed improvements to the Basis Library.
104 :     Specifically, the following proposals are supported by this version of SML/NJ:
105 :     </p>
106 :     <dl>
107 :     <dt><a href="https://github.com/SMLFamily/BasisLibrary/wiki/2015-001-Correction-to-ListPair"><b>[2015-001]</b> Correction to ListPair</a></dt>
108 : jhr 4115 <dd>SML/NJ already implemented the semantics described in this proposal.
109 :     </dd>
110 : jhr 4095 <dt><a href="https://github.com/SMLFamily/BasisLibrary/wiki/2015-002-Addition-of-Either-module"><b>[2015-002]</b> Addition of Either module</a></dt>
111 : jhr 4115 <dd>This change adds the <span class="code">Either</span> structure to the Basis Library.
112 :     </dd>
113 : jhr 4095 <dt><a href="https://github.com/SMLFamily/BasisLibrary/wiki/2015-003-Additional-operations-on-sequences"><b>[2015-003]</b> Additional operations on sequences</a></dt>
114 : jhr 4115 <dd>This change adds operations to the <span class="code">Array</span>,
115 :     <span class="code">List</span>, <span class="code">ListPair</span>, <span class="code">Option</span>,
116 :     and <span class="code">Vector</span> structures, and to the <span class="code">MONO_ARRAY</span>
117 :     and <span class="code">MONO_VECTOR</span> signatures.
118 :     </dd>
119 : jhr 4095 <dt><a href="https://github.com/SMLFamily/BasisLibrary/wiki/2015-005-Addition-of-Fn-module"><b>[2015-005]</b> Addition of Fn module</a></dt>
120 : jhr 4115 <dd>This change adds the <span class="code">Fn</span> structure to the Basis Library.
121 :     </dd>
122 : jhr 4095 <dt><a href="https://github.com/SMLFamily/BasisLibrary/wiki/2015-007-Addition-of-Ref-module"><b>[2015-007]</b> Addition of Ref module</a></dt>
123 : jhr 4115 <dd>This change adds the <span class="code">Ref</span> structure to the Basis Library.
124 :     </dd>
125 : jhr 4095 <dt><a href="https://github.com/SMLFamily/BasisLibrary/wiki/2015-009-Policy-for-exceptions-and-partial-applications"><b>[2015-009]</b> Policy for exceptions and partial applications</a></dt>
126 : jhr 4115 <dd>This change standardizes the generation of exceptions when partially applying curried basis functions.
127 :     The change fixed bug <b>136</b>.
128 :     </dd>
129 : jhr 4095 </dl>
130 : jhr 4116 <p style="margin-bottom: 0pt;">
131 : jhr 4115 It is very unlikely that these changes will break existing code, but there are
132 : jhr 4139 a couple of scenarios in which the code might break. The first is conflicts created
133 :     by the use of <span class="kw">open</span>. For example, the implementation
134 :     of <span class="exe">ml-yacc</span> had declarations of the form
135 :     <div class="code">
136 :     <span class="kw">open</span> Array List
137 :     </div>
138 :     which created a type error because <span class="code">List.sub</span> shadowed
139 :     <span class="code">Array.sub</span>.
140 :     </p>
141 :     <p>
142 :     The second class of problem is when a module implements one of the affected Basis
143 :     signatures. For example, the <b>MLRISC</b> library had two modules that implemented
144 : jhr 4115 extensions of the <span class="code">ARRAY</span> signature and which required
145 : jhr 4139 modification to compile.
146 :     </p>
147 :     <p>
148 : jhr 4115 In such cases, we recommend update the source code, but it is also possible to compile
149 :     against the old version of the Basis Library by changing the line
150 : jhr 4116 </p>
151 :     <div class="code">
152 :     $/basis.cm
153 :     </div>
154 :     <p class="compact">
155 : jhr 4115 to
156 : jhr 4116 </p>
157 :     <div class="code">
158 :     $/basis-2004.cm
159 :     </div>
160 :     <p style="margin-top: 0pt;">
161 : jhr 4115 in your CM files.
162 :     </p>
163 : jhr 4095 </dd>
164 : jhr 4116 </dl>
165 : jhr 4095
166 :     <dl>
167 : jhr 4078 <dt class="component">Successor ML:</dt>
168 :     <dd>
169 : jhr 4116 <p style="margin-bottom: 0pt;">
170 : jhr 4107 <a href="https://github.com/SMLFamily/Proposed-Definition-of-Successor-ML"><b>Successor ML</b></a>
171 :     is collection of proposed enhancements to the <b>Standard ML</b> language.
172 :     In collaboration with the <a href="http://mlton.org"><b>MLton</b></a> implementors, we are
173 :     starting to add support for these features the <b>SML/NJ</b>.
174 :     In this release, we has added support for the lexical extensions to the language:
175 : jhr 4116 </p>
176 : jhr 4107 <ul>
177 :     <li>
178 : jhr 4115 Allow underscore ("<span class="code">_</span>") as a separator in numeric literals;
179 : jhr 4116 <i>e.g.</i>, <span class="code">123_456</span>,
180 : jhr 4107 <span class="code">0wxff_ff_ff_f3</span>, <span class="code">123_456.1</span>, ...
181 :     </li>
182 :     <li>
183 :     end-of-line comments, which are denoted using <span class="code">(*)</span>. End-of-line comments
184 :     properly nest into conventional block comments. For example, the following
185 :     block comment is well formed:
186 :     <div class=code>
187 : jhr 4139 <span class="com">(*
188 : jhr 4107 fun f x = x (*) my identity function *)
189 : jhr 4139 *)</span>
190 : jhr 4107 </div>
191 :     </li>
192 :     <li>
193 :     binary literals for both integers and words;
194 : jhr 4116 <i>e.g.</i>, <span class="code">0b0101_1110</span>, or
195 : jhr 4107 <span class="code">0wb1101</span>.
196 :     </li>
197 :     </ul>
198 : jhr 4116 <p class="compact">
199 : jhr 4107 These features can be enabled using the command-line option <tt>-Cparser.succ-ml=true</tt>
200 :     or by using the assignment
201 : jhr 4116 </p>
202 : jhr 4107 <div class=code>
203 :     Control.succML := true;
204 :     </div>
205 : jhr 4116 <p style="margin-top: 0pt;">
206 : jhr 4107 at the REPL.
207 : jhr 4116 </p>
208 : jhr 4078 </dd>
209 : jhr 4116 </dl>
210 : jhr 4078
211 :     <h3>Bugs:</h3>
212 :     <p>
213 :     Here is a list of tracked bugs fixed (or closed) with this release, please see the
214 :     <a href="https://smlnj-gforge.cs.uchicago.edu/projects/smlnj-bugs/">bug tracker</a>
215 :     for more details.
216 :     </p>
217 :     <table class="buglist">
218 : jhr 4122 <tr><td class="bugid">45</td><td>Compiler bug in specialize phase</td></tr>
219 : jhr 4078 <tr><td class="bugid">53</td><td>psfig.sty is deprecated, use epsfig.sty wrapper or graphicx.sty</td></tr>
220 : jhr 4126 <tr><td class="bugid">82</td><td>Implementations of PACK_REAL missing</td></tr>
221 : jhr 4081 <tr><td class="bugid">131</td><td>ml-ulex does not allow comments in %states directives</td></tr>
222 : jhr 4078 <tr><td class="bugid">134</td><td>Fails to build with Linux kernel 4.x</td></tr>
223 : jhr 4098 <tr><td class="bugid">135</td><td>Fails to build on Linux PowerPC</td></tr>
224 : jhr 4095 <tr><td class="bugid">136</td><td>Incorrect raising of exceptions in Real.fmt and Time.fmt</td></tr>
225 : jhr 4114 <tr><td class="bugid">137</td><td>Adapt Linux PPC build to use mkstemp instead of tmpnam</td></tr>
226 : jhr 4078 <!-- <tr><td class="bugid">XXX</td><td>DESCRIPTION</td></tr> -->
227 :     </table>
228 :     <!--
229 :     <p>The following unnumbered bugs were also fixed:
230 :     </p>
231 :     <ul class="buglist">
232 :     <li class="bug"></li>
233 :     </ul>
234 :     -->
235 :    
236 :     <h3>Supported systems:</h3>
237 :     <blockquote>
238 :     <p>
239 :     We have verified that the system builds and runs on the following systems.
240 :     </p>
241 :     <div>
242 :     <table>
243 : jhr 4116 <tr><th>Architecture</th> <th>Operating System</th></tr>
244 : jhr 4078 <tr><td>PowerPC</td> <td>Mac OS X 10.5 (Leopard)</td></tr>
245 :     <tr><td>&nbsp;</td> <td>&nbsp;</td></tr>
246 :     <tr><td>x86</td> <td>Mac OS X 10.6 (Snow Leopard)</td></tr>
247 :     <tr><td></td> <td>Mac OS X 10.7 (Lion)</td></tr>
248 :     <tr><td></td> <td>Mac OS X 10.8 (Mountain Lion)</td></tr>
249 :     <tr><td></td> <td>Mac OS X 10.9 (Mavericks)</td></tr>
250 :     <tr><td></td> <td>Mac OS X 10.10 (Yosemite)</td></tr>
251 :     <tr><td></td> <td>Mac OS X 10.11 (El Capitan)</td></tr>
252 :     <tr><td></td> <td>Ubuntu 12.04.4 (GNU/Linux 3.2.0) </td></tr>
253 :     <tr><td></td> <td>Windows 7</td></tr>
254 :     <tr><td></td> <td>Cygwin (hosted on Windows 7)</td></tr>
255 :     </table>
256 :     </div>
257 :     <p>
258 : jhr 4107 We believe that it runs on any recent Linux distribution that has support for 32-bit
259 : jhr 4078 executables, as well as on BSD variants, SPARC/Solaris, and PPC/AIX, but we have not
260 :     tested these systems.
261 :     </p>
262 :     </blockquote>
263 :    
264 :     </body>
265 :     </html>

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0