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 834 - (view) (download)

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

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