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.49/READMES/110.39-README
ViewVC logotype

Annotation of /sml/releases/release-110.49/READMES/110.39-README

Parent Directory Parent Directory | Revision Log Revision Log


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

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

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