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/releases/release-110.37/READMES/110.34-README
ViewVC logotype

Annotation of /sml/releases/release-110.37/READMES/110.34-README

Parent Directory Parent Directory | Revision Log Revision Log


Revision 994 - (view) (download)

1 : blume 875 S M L / N J
2 :    
3 :     1 1 0 . 3 4 N E W S
4 :    
5 :     June 10, 2001
6 :    
7 :     WARNING
8 :    
9 :     This version is intended for compiler hackers. The
10 :     version ought to be stable, however we have not run
11 :     our full regression testing.
12 :    
13 :     http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
14 :    
15 :    
16 :     Summary:
17 :    
18 :     A long-standing signal-handling bug has been fixed.
19 :    
20 :     As a result, CML finally works again, and so does eXene.
21 :    
22 :     NLFFI has been further revised and improved. It now supports
23 :     the Sparc architecture in addition to x86/Linux.
24 :    
25 :     There are various bugfixes and some organizational changes.
26 :    
27 :     --------------------------------
28 :    
29 :     NLFFI:
30 :    
31 :     * The types in the public interface to the "C" module have been
32 :     simplified: the annoying 'f type parameter has been dropped in
33 :     most places. This requires some cheating under the hood, but
34 :     fortunately the cheat is a provably safe cheat.
35 :    
36 :     * Various bugs in ml-nlffigen have been fixed so that it should be
37 :     more robust now.
38 :    
39 :     * C functions and function types that use variable-length argument
40 :     lists are no longer rejected. Instead, ml-nlffigen will produce
41 :     ML code that lets you call the function with just its mandatory
42 :     arguments. This means that ml-nlffigen will not bail out just
43 :     because there is one odd occurence of a varargs function somewhere
44 :     in one big .h-file.
45 :    
46 :     * Default names for files are now derived from the C files's basename
47 :     so that ml-nlffigen will always place them in the current directory.
48 :    
49 :     * Default names for generated ML identifiers are also derived from
50 :     the C file's basename.
51 :    
52 :     * Sparc architecture supported now.
53 :    
54 :     * Support for x86/win32 mostly in place. (All missing pieces are
55 :     in the runtime system.)
56 :    
57 :     CM:
58 :    
59 :     * CM can now generate "index files" which are human-readable
60 :     files that list on a per-.cm-file basis each toplevel symbol
61 :     defined or imported.
62 :     * some internal improvements in the tools subsystem
63 :     * "lambdasplit" parameter for class "sml" to control the cross-module
64 :     inliner
65 :     * documentation updates
66 :     * bug fixes
67 :    
68 :     runtime:
69 :    
70 :     * A serious signal handling problem that affected CML has been fixed.
71 :     * Support for dlopen/dlsym on Sparc/Solaris added.
72 :    
73 :     CML:
74 :    
75 :     * Compiles under the new CM.
76 :     * Libraries and anchors for version 110.34 and later are organized
77 :     as follows:
78 :    
79 :     $cml/cml.cm Main CML library.
80 :     $cml/basis.cm CML's version of $/basis.cm.
81 :     $cml/cml-internal.cm Internal helper library.
82 :     $cml/core-cml.cm Internal helper library.
83 :     $cml-lib/trace-cml.cm Tracing facility.
84 :     $cml-lib/smlnj-lib.cm CML's version of $/smlnj-lib.cm
85 :    
86 :     eXene:
87 :    
88 :     * Compiles under the new CM.
89 :     * The library's name for version 110.34 is $/eXene.cm.
90 :    
91 :     scripts:
92 :    
93 :     * The config/install.sh script has been updated to support the installation
94 :     of CML and eXene under the New World Order (aka new CM).
95 :    
96 :     compiler:
97 :    
98 :     * bug fixes
99 :     * cross-module inliner now in the compilation pipeline by default
100 :     (By default it is still turned off. But it can be enabled either
101 :     globally or selectively by using CM's new "lambdasplit" parameter.)
102 :    
103 :     MLRISC:
104 :    
105 :     * Sparc implementation of c-calls API. (This is used by NLFFI.)
106 :     (Caveat: Register assignments in the Sparc backend of SML/NJ
107 :     still need to be redone. In particular, the ASM temp register
108 :     must not be %o2. It is unlikely but not impossible that the
109 :     current situation leads to certain subtle code-generation bugs.)
110 :     * Support for "stdcall" calling convention in x86 version of c-calls.
111 :    
112 :     CKIT:
113 :    
114 :     * structure Error exported from ckit-lib.cm

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