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/trunk/READMES/110.33-README
ViewVC logotype

Annotation of /sml/trunk/READMES/110.33-README

Parent Directory Parent Directory | Revision Log Revision Log


Revision 836 - (view) (download)

1 : blume 834 S M L / N J
2 :    
3 :     1 1 0 . 3 3 N E W S
4 :    
5 :     May 23, 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 : blume 836 This version will build under Mac OS X.
19 :    
20 : blume 834 This version is being used to introduce the new experimental C FFI
21 :     (currently only available for x86/Linux) and to check point a number
22 :     of changes to MLRISC.
23 :    
24 :     The CKIT is now part of the release because it is needed for ml-nlffigen.
25 :    
26 :     In support of the C FFI, the new $/c.cm library (from src/ml-nlffi-lib)
27 :     implements an encoding of the C type system in ML. It receives help
28 :     from the ml-nlffigen glue code generator (from src/ml-nlffigen) which
29 :     transforms C source input into corresponding ML glue code.
30 :    
31 :     The compiler has been modified to support the C FFI.
32 :    
33 :     There are various bugfixes and some organizational changes.
34 :    
35 :     --------------------------------
36 :    
37 : blume 836 Mac OS X:
38 :    
39 :     - This version will build under the new Apple Mac OS X
40 :     operating system.
41 :    
42 : blume 834 MLRISC:
43 :    
44 :     - infinite precision throughout
45 :     - support for virtual frame pointers ("omit-frame-pointer")
46 :     (This was needed for a correct implementation of raw C calls,
47 :     but it should also come in handy for clients of MLRISC other
48 :     than SML/NJ. Currently x86 only.)
49 : blume 836 - see http://cm.bell-labs.com/cm/cs/what/smlnj/compiler-notes
50 : blume 834 - support for alternative control-flow in MLTREE
51 :     - other API changes
52 :     - bug fixes
53 :    
54 :     CM:
55 :    
56 :     - "lambdasplit" parameter for class "sml" to control status and
57 :     aggressiveness of cross-module inlining
58 :     - parallel make now works again
59 :     - "proxy libraries"
60 :     - other bug fixes
61 :    
62 :     CKIT:
63 :    
64 :     The ckit source tree is now part of the SML/NJ distribution.
65 :    
66 :     compiler:
67 :    
68 :     - bug fixes (e.g., dead-up logic in cpsopt/contract.sml)
69 :     - lambda-split phase now in the optimization pipeline by default
70 :     control via Compiler.Control.LambdaSplitting.* (and/or via CM)
71 :     - compiler now aware of certain offsets in runtime-system data
72 :     structures to be able to generate code for raw C calls
73 :     - added raw memory access primops and a primop for raw C calls
74 :     and handled them throughout the compiler
75 :     - prim.sml now has correct types for all primops
76 :    
77 :     ML-NLFFI:
78 :    
79 :     - two source trees in support of the new NLFFI ("no-longer foreign
80 :     function interface") added:
81 :     src/ml-nlffi-lib --- support library
82 :     src/ml-nlffigen --- glue code generator
83 :     - some preliminary documentation under src/ml-nlffi-lib/Doc
84 : blume 836 (The tar file for this will be retrieved only if you enable
85 :     ml-nlffi-lib in config/targets. Be sure to do this only on
86 :     x86/Linux platforms, though. If you use a different platform
87 :     and want to look at the source or the documentation, fetch
88 :     the tar file by hand.)
89 : blume 834
90 :     smlnj-lib:
91 :    
92 :     - some API cleanup and bug fixes
93 :    
94 :     runtime:
95 :    
96 :     - dlopen and friends added (currently x86/Linux only)
97 :     - changes to vproc-state.h to support efficient signal handling
98 :     by new raw C call mechanism
99 :     - support for Mac OS X; Darwin
100 :    
101 :     overall organization:
102 :    
103 :     - use CM "proxy libraries" where possible
104 :    
105 :     scripts:
106 :    
107 :     - various bug fixes to config/install.sh
108 :     - config/install.sh now knows about ckit, ml-nlffi-lib, and ml-nlffigen
109 :     - config/install.sh will use config/targets.customized if it exist
110 :     (falls back to config/targets if not)
111 :     - makeml verbosity level controllable via MAKEML_VERBOSITY
112 :     or command line switch
113 : blume 836 - This version should build under the new Apple Mac OS X
114 :     operating system.
115 :    

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