Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 815, Fri May 4 05:09:10 2001 UTC	revision 834, Wed May 23 18:30:31 2001 UTC
#	Line 11	Line 11
11	Date:	Date:
12	Tag: <post-commit CVS tag>	Tag: <post-commit CVS tag>
13	Description:	Description:
14
15		----------------------------------------------------------------------
16		Name: Matthias Blume
17		Date: 2001/05/23 14:30:00 EDT
18		Tag: Release_110_33
19		Description:
20
21		New version number (110.33).  New bootfiles.
22
23		----------------------------------------------------------------------
24		Name: Matthias Blume
25		Date: 2001/05/22 18:06:00 EDT
26		Tag: blume-20010522-targets
27		Description:
28
29		Made install.sh use file config/targets.customized if it exists, falling
30		back to config/targets if it doesn't.  This way one can have a customized
31		version of the targets file without touching the "real thing", thus
32		eliminating the constant fear of accidentally checking something bogus
33		back into the CVS repository...  (File config/targets.customized must
34		not be added to the repository!)
35
36		----------------------------------------------------------------------
37		Name: Matthias Blume
38		Date: 2001/05/22 16:30:00 EDT
39		Tag: blume-20010522-minitut
40		Description:
41
42		1. Bug fix in ml-nlffigen; now (hopefully) correctly handling
43		struct returns.
44		2. Added src/ml-nlffi-lib/Doc/mini-tutorial.txt.  This is some very
45		incomplete, preliminary documentation for NLFFI.
46
47		----------------------------------------------------------------------
48		Name: Matthias Blume
49		Date: 2001/05/14 11:30:00 EDT
50		Tag: blume-20010514-script
51		Description:
52
53		Some bugs in install script fixed.
54
55		In addition to that I also made a slight change to the NLFFI API:
56		Functors generated by ml-nlffigen now take the dynamic library as a
57		straight functor argument, not as a suspended one.  (The original
58		functor code used to force the suspension right away anyway, so there
59		was nothing gained by this complication of the interface.)
60
61		----------------------------------------------------------------------
62		Name: Matthias Blume
63		Date: 2001/05/11 14:35:00 EDT
64		Tag: blume-20010511-ml-nlffi
65		Description:
66
67		I finally took the plunge and added my new FFI code to the main
68		repository.  For x86-linux it is now ready for prime-time.
69
70		There are two new subdirectories of "src":
71
72		- ml-nlffi-lib:
73		The utility library for programs using the FFI interface.
74		Here is the implementation of $/c.cm and its associated low-level
75		partners $/c-int.cm and $/memory.cm.
76		- ml-nlffigen:
77		A stand-alone program for generating ML glue code from C source
78		code.
79
80		Building ml-nlffigen requires $/ckit-lib.cm.
81
82		The config/install.sh script has been updates to do the Right Thing
83		(hopefully).
84
85		Notice that the source tree for the C-Kit will not be put under "src"
86		but directly under the installation root directory.  (This is the
87		structure that currently exists on the CVS server when you check out
88		module "sml".)  Fortunately, config/install.sh knows about this oddity.
89
90		Bugs: No documentation yet.
91
92		----------------------------------------------------------------------
93		Name: Matthias Blume
94		Date: 2001/05/09 16:35:00 EDT
95		Tag: blume-20010509-cpscontract
96		Description:
97
98		Fixed a bug in the accounting code in cpsopt/contract.sml.  (The
99		wrapper/unwrapper elimination did not decrement usage counts and some
100		dead variables got overlooked by the dead-up logic.)
101
102		----------------------------------------------------------------------
103		Name: Lal George
104		Date: 2001/05/08  17:26:09 EDT
105		Tag: george-20010508-omit-frameptr
106		Description:
107
108		Changes to implement the omit-frame-pointer optimization to support
109		raw C calls. For now, there is only support on the Intel x86, but
110		other architectures will follow as more experience is gained with this.
111
112
113		----------------------------------------------------------------------
114		Name: Matthias Blume
115		Date: 2001/05/07 14:40:00 EDT
116		Tag: blume-20010507-proxies
117		Description:
118
119		I made into "proxy libraries" all libraries that qualify for such a
120		change.  (A qualifying library is a library that has another library or
121		groups as its sole member and repeats that member's export list
122		verbatim.  A proxy library avoids this repetition by omitting its export
123		list, effectively inheriting the list that its (only) member exports.
124		See the CM manual for more explanation.)
125		The main effect is that explicit export lists for these libraries
126		do not have to be kepts in sync, making maintenance a bit easier.
127
128		I also added copyright notices to many .cm-files.
129
130		Last but not least, I made a new set of bootfiles.
131
132		----------------------------------------------------------------------
133		Name: Matthias Blume
134		Date: 2001/05/04 17:00:00 EDT
135		Tag: blume-20010504-cm-lsplit
136		Description:
137
138		0. John merged pending changes to $/smlnj-lib.cm
139
140		1. Allen's previous change accidentally backed out of one of Lal's
141		earlier changes.  I undid this mistake (re-introducing Lal's change).
142
143		2. I used the new topOrder' function from graph-scc.sml (from $/smlnj-lib.cm)
144		within the compiler where applicable.  There is some code simplification
145		because of that.
146
147		3. The "split" phase (in FLINT) is now part of the default list of phases.
148		Compiler.Control.LambdaSplitting.* can be used to globally control the
149		lambda-splitting (cross-module-inlining) engine.  In addition to that,
150		it can now also be controlled on a per-source basis: CM has been taught
151		a new tool parameter applicable to ML source files.
152
153		- To turn lambda-splitting off completely:
154		local open Compiler.Control.LambdaSplitting in
155		val _ = set Off
156		end
157		- To make "no lambda-splitting" the global default (but allow per-source
158		overriding); this is the initial setting:
159		local open Compiler.Control.LambdaSplitting in
160		val _ = set (Default NONE)
161		end
162		- To make "lambda-splitting with aggressiveness a" the global default
163		(and allow per-source overriding):
164		local open Compiler.Control.LambdaSplitting in
165		val _ = set (Default (SOME a))
166		end
167
168		- To turn lambda-splitting off for a given ML souce file (say: a.sml)
169		write (in the respective .cm-file):
170		a.sml (lambdasplitting:off)
171		- To turn lambda-splitting for a.sml on with minimal aggressiveness:
172		a.sml (lambdasplitting:on)
173		- To turn lambda-splitting for a.sml on with aggressiveness <a> (where
174		<a> is a decimal non-negative integer):
175		a.sml (lambdasplitting:<a>)
176		- To turn lambda-splitting for a.sml on with maximal aggressiveness:
177		a.sml (lambdasplitting:infinity)
178		- To use the global default for a.sml:
179		a.sml (lambdasplitting:default)
180		or simply
181		a.sml
182
183	----------------------------------------------------------------------	----------------------------------------------------------------------
184	Name: Allen Leung	Name: Allen Leung
185	Date: 2001/05/04 01:57:00 EDT	Date: 2001/05/04 01:57:00 EDT

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.815   changed lines   Added in v.834

---

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