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 /sml/branches/gatien-branch/READMES/110.39-README.html
ViewVC logotype

Annotation of /sml/branches/gatien-branch/READMES/110.39-README.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1069 - (view) (download) (as text)
Original Path: sml/trunk/READMES/110.39-README.html

1 : blume 1069 <html>
2 :     <head>
3 :     <title>SML/NJ 110.39 NEWS</title>
4 :     </head>
5 :     <body>
6 :     <pre>
7 :     S M L / N J
8 :    
9 :     1 1 0 . 3 9 N E W S
10 :    
11 :     February 15, 2002
12 :    
13 :     WARNING
14 :    
15 :     This version is intended for compiler hackers. The
16 :     version ought to be stable, however we have not run
17 :     our full regression testing.
18 :    
19 :     http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
20 :     </pre>
21 :    
22 :     <dl>
23 :     <dt>Summary:
24 :     <dd>Important bug fixes, improvements to libraries, FFI generator,
25 :     and installer.</dd>
26 :    
27 :     <hr>
28 :    
29 :     <h3>Details:</h3>
30 :    
31 :     <h4>MLRISC:</h4>
32 :    
33 :     <ul>
34 :     <li>Important bug fixes. (Isabelle now compiles again on the x86.)</i>
35 :     <li>Compilers that generate assembly code may produce global labels
36 :     whose value is resolved at link time. The various peephole optimization
37 :     modules did not take this in account.
38 :     <br>
39 :     TODO: The Labels.addrOf function should really return an option
40 :     type so that clients are forced to deal with this issue, rather
41 :     than an exception being raised.</li>
42 :     <li>Some internal reorganization.</li>
43 :     <li>c-calls API changed: accept a client-callback for allocating
44 :     extra stack space. TODO: x86 version currently ignores it.</li>
45 :    
46 :     <li>Fixed bug in sparc-ccalls.</li>
47 :     </ul>
48 :    
49 :     <h4>Basis:</h4>
50 :    
51 :     <ul>
52 :     <li>Added missing implementations for List.collate and Option.app.</li>
53 :     </ul>
54 :    
55 :     <h4>SML/NJ library:</h4>
56 :    
57 :     <ul>
58 :     <li>Added priority queue implementation to smlnj-lib.cm.</li>
59 :     </ul>
60 :    
61 :     <h4>FFI:</h4>
62 :    
63 :     Various improvements to ml-nlffigen:
64 :    
65 :     <ul>
66 :     <li>improved name encoding scheme that avoids most "global" gensym
67 :     counters</li>
68 :     <li>don't write over files unless their contents would change</li>
69 :     <li>implemented a "repository" mechanism for dealing with "incomplete
70 :     pointers" that are to be shared between different runs of
71 :     ml-nlffigen</li>
72 :     <li>"-match" option requires an exact match now</li>
73 :     <li>improved internal datastructures, resulting in slight speedup</li>
74 :     <li>bug fixes</li>
75 :     </ul>
76 :    
77 :     <h4>Compiler/CM:</h4>
78 :    
79 :     <ul>
80 :     <li>A new PID (persistent ID) generation scheme is place. This
81 :     fixes the long-standing (but little-known) problem that it was
82 :     possible to defeat ML's type abstractions because types in
83 :     different compilation units could be mistaken for one another.
84 :     <br>
85 :     See the HISTORY file and click <a
86 :     href="http://cm.bell-labs.com/cm/cs/who/blume/pid-confusion.tgz">here</a>
87 :     for more information.<li>
88 :     </ul>
89 :    
90 :     <h4>Installer:</h4>
91 :    
92 :     <ul>
93 :     <li>Installation instructions added (file INSTALL).</li>
94 :     <li>Syntax in config/targets changed.</li>
95 :     <li>Installer automatically satisfies inter-target dependencies.</li>
96 :     <li>Build hash-cons-lib.cm if smlnj-lib was selected.</li>
97 :     <li>Installer can run in "quiet" mode.</li>
98 :     <li>Bug fixes.</li>
99 :     </ul>
100 :    
101 :     <h4>REPL:</h4>
102 :    
103 :     <ul>
104 :     <li>Added functions CM.State.showBindings and EnvRef.listBoundSymbols
105 :     for exploring available toplevel bindings.</li>
106 :     </ul>
107 :    
108 :     <h4>Misc:</h4>
109 :    
110 :     <ul>
111 :     <li>GenSML.gen now makes generation of topl-level "local" optional
112 :     (because it is not Standard ML).</li>
113 :     <li>bug fixes in "nowhere" tool</li>
114 :     </ul>
115 :    
116 :     </body>
117 :     </html>

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