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/primop-branch/READMES/110.33-README.html
ViewVC logotype

Annotation of /sml/branches/primop-branch/READMES/110.33-README.html

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : blume 836 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
2 :     <html>
3 :     <head>
4 :     <title>SML/NJ Version 110.33 NEWS</title>
5 :     </head>
6 :    
7 :     <body bgcolor="white">
8 :     <center><h1>Standard ML of New Jersey<BR>
9 :     Version 110.33, May 23, 2001</h1>
10 :     </center>
11 :    
12 :     <center>
13 :     <a href=http://cm.bell-labs.com/cm/cs/what/smlnj/index.html>
14 :     Home page</a>
15 :     </center>
16 :    
17 :     <blockquote>
18 :     <center>
19 :     <h2> Warning </h2>
20 :     </center>
21 :     <blockquote>
22 :     <blockquote>
23 :     <em>
24 :     This version is intended for compiler hackers. The
25 :     version ought to be quite stable, however we have not run
26 :     our full regression testing.
27 :     </em>
28 :     </blockquote>
29 :     </blockquote>
30 :    
31 :    
32 :     <hr>
33 :    
34 :     <center><h2>Summary:</h2></center>
35 :     This version should build under Mac OS X.
36 :     <p>
37 :     This version is being used to introduce the new experimental C FFI
38 :     (currently only available for x86/Linux) and to check point a number
39 :     of changes to MLRISC.
40 :     <p>
41 :     The CKIT is now part of the release because it is needed for ml-nlffigen.
42 :     <p>
43 :     In support of the C FFI, the new $/c.cm library (from src/ml-nlffi-lib)
44 :     implements an encoding of the C type system in ML. It receives help
45 :     from the ml-nlffigen glue code generator (from src/ml-nlffigen) which
46 :     transforms C source input into corresponding ML glue code.
47 :     <p>
48 :     The compiler has been modified to support the C FFI.
49 :     <p>
50 :     There are various bugfixes and some organizational changes.
51 :    
52 :    
53 :     <hr>
54 :     <center><h3>Mac OS X </h3></center>
55 :     <ol>
56 :     <li>This version should build under the new Apple <tt>Mac OS X </tt>
57 :     operating system.
58 :     </ol>
59 :    
60 :     <hr>
61 :     <center><h3>MLRISC</h3></center>
62 :     <ol>
63 :     <p><li> infinite precision throughout
64 :     <p><li> support for virtual frame pointers ("<tt>omit-frame-pointer</tt>")
65 :     (This was needed for a correct implementation of raw C calls,
66 :     but it should also come in handy for clients of MLRISC other
67 :     than SML/NJ. Currently x86 only.)
68 :     <p><li> see the <a href=http://cm.bell-labs.com/cm/cs/what/smlnj/compiler-notes>
69 :     omit-frame-pointer notes</a>
70 :     <p><li> support for alternative control-flow in MLTREE
71 :     <p><li> other API changes
72 :     <p><li> bug fixes
73 :     </ol>
74 :    
75 :    
76 :    
77 :    
78 :    
79 :     <hr>
80 :     <center><h3>CM</h3></center>
81 :    
82 :     <ol>
83 :     <p><li> "lambdasplit" parameter for class "sml" to control status and
84 :     aggressiveness of cross-module inlining
85 :     <p><li> parallel make now works again
86 :     <p><li> "proxy libraries"
87 :     <p><li> other bug fixes
88 :     </ol>
89 :    
90 :    
91 :    
92 :    
93 :     <hr>
94 :     <center><h3>CKIT</h3></center>
95 :     <ol>
96 :     <li> The ckit source tree is now part of the SML/NJ distribution.
97 :     </ol>
98 :    
99 :    
100 :    
101 :     <hr>
102 :     <center><h3>compiler</h3></center>
103 :    
104 :     <ol>
105 :     <p><li> bug fixes (e.g., dead-up logic in cpsopt/contract.sml)
106 :     <p><li> lambda-split phase now in the optimization pipeline by default
107 :     control via Compiler.Control.LambdaSplitting.* (and/or via CM)
108 :     <p><li> compiler now aware of certain offsets in runtime-system data
109 :     structures to be able to generate code for raw C calls
110 :     <p><li> added raw memory access primops and a primop for raw C calls
111 :     and handled them throughout the compiler
112 :     <p><li> prim.sml now has correct types for all primops
113 :     </ol>
114 :    
115 :    
116 :    
117 :    
118 :     <hr>
119 :     <center><h3>ML-NLFFI</h3></center>
120 :    
121 :     <ol>
122 :     <p><li> two source trees in support of the new NLFFI ("no-longer foreign
123 :     function interface") added:
124 :     <pre>
125 :     src/ml-nlffi-lib --- support library
126 :     src/ml-nlffigen --- glue code generator
127 :     </pre>
128 :     <p><li> some preliminary documentation under src/ml-nlffi-lib/Doc
129 :     (The tar file for this will be retrieved only if you enable
130 :     ml-nlffi-lib in config/targets. Be sure to do this only on
131 :     x86/Linux platforms, though. If you use a different platform
132 :     and want to look at the source or the documentation, fetch
133 :     the tar file by hand.)
134 :     </ol>
135 :    
136 :    
137 :     <hr>
138 :     <center><h3>smlnj-lib</h3></center>
139 :     <ol>
140 :     <li>Some API cleanup and bug fixes
141 :     </ol>
142 :    
143 :    
144 :     <hr>
145 :     <center><h3>runtime</h3></center>
146 :    
147 :     <ol>
148 :     <p><li> dlopen and friends added (currently x86/Linux only)
149 :     <p><li> changes to vproc-state.h to support efficient signal handling
150 :     by new raw C call mechanism
151 :     <p><li> support for Mac OS X; Darwin
152 :     </ol>
153 :    
154 :    
155 :    
156 :     <hr>
157 :     <center><h3>overall organization</h3></center>
158 :     <ol>
159 :     <li>Use CM "proxy libraries" where possible
160 :     </ol>
161 :    
162 :    
163 :    
164 :     <hr>
165 :     <center><h3>scripts</h3></center>
166 :     <ol>
167 :     <p><li> various bug fixes to config/install.sh
168 :     <p><li> config/install.sh now knows about ckit, ml-nlffi-lib, and ml-nlffigen
169 :     <p><li> config/install.sh will use config/targets.customized if it exist
170 :     (falls back to config/targets if not)
171 :     <p><li> makeml verbosity level controllable via MAKEML_VERBOSITY
172 :     or command line switch
173 :     </ol>
174 :    
175 :     <hr>
176 :     <font size=-2>
177 :     <address><a href="mailto:george@research.bell-labs.com">
178 :     Lal George</a></address>
179 :     <!-- Created: Thu Aug 6 00:13:09 EDT 1998 -->
180 :     <!-- hhmts start -->
181 :     Last modified: Thu May 24 11:27:19 EDT 2001
182 :     <!-- hhmts end -->
183 :     </font>
184 :     </blockquote>
185 :     </body>
186 :     </html>

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