Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

Parent Directory | Revision Log | Patch

	revision 1390, Wed Sep 24 20:34:06 2003 UTC	revision 1747, Fri Jan 14 23:53:21 2005 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume (blume (at) tti - c (dot) org)	Name: Matthias Blume (blume (at) tti - c (dot) org)
17		Date: 2005/01/14 18:00:00 CST
18		Tag: blume-20050114-heap2exec
19		Description:
20
21		Implemented new (but still experimental) heap2exec facility.  This is
22		tested under Mac OS X and should work under Linux (will test shortly).
23		It will probably also work on the Sparc (will test some time later).
24
25		- removed old "HACKED_STANDALONE" hack from runtime
26
27		To be able to test this, uncomment the request for "heap2asm" in
28		config/targets prior to installation.  (Notice that this is different
29		from "heap2exec" mentioned below.  Not a typo.)
30
31		To perform an actual test, run the command
32
33		$ bin/heap2exec heapfile execfile
34
35		(You can put heap2exec on your shell's path.)
36
37		For example, run
38
39		$ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
40
41		This will create a standalone executable called "mly" which you can
42		then invoke directly as a command.
43
44		----------------------------------------------------------------------
45		Name: Matthias Blume (blume (at) tti - c (dot) org)
46		Date: 2005/01/07 11:44:00 CST
47		Tag: blume-20050107-mlstring
48		Description:
49
50		fixed off-by-one error in ML_STRING macro (globals.c)
51
52		----------------------------------------------------------------------
53		Name: Matthias Blume (blume (at) tti - c (dot) org)
54		Date: 2004/12/23 18:00:00 CST
55		Tag: blume-20041223-santa
56		Description:
57
58		Made ml-build script "smarter" (but only very little).
59
60		----------------------------------------------------------------------
61		Name: Matthias Blume (blume (at) tti - c (dot) org)
62		Date: 2004/12/21 15:05:00 CST
63		Tag: blume-20041221-longlong
64		Description:
65
66		* Implemented access to signed and unsigned long long data in NLFFI.
67		(The parameter-passing part of the picture has not complete. But
68		data structure access seems to work.)
69
70		* Fixed CM's incorrect assumption that the PPC is little-endian.
71		(On the Mac, it is big-endian.  And that's currently our only
72		PPC platform.)
73
74		----------------------------------------------------------------------
75		Name: Matthias Blume (blume (at) tti - c (dot) org)
76		Date: 2004/12/21 12:50:00 CST
77		Tag: blume-20041221-memory
78		Description:
79
80		Some cleanup in the $c/memory.cm library: separated some concerns by
81		moving allocation code and memory access code each into their own
82		files.
83
84		----------------------------------------------------------------------
85		Name: Allen Leung (leunga (at) reservoir (dot) com)
86		Date: 2004/12/17 16:12:00 EST
87		Tag: leunga-20041217-cygwin-smlnj-home
88		Description:
89
90		The Unix I/O library of SML/NJ on cygwin does not understand
91		Windows style pathname, so problems arise when SMLNJ_HOME is set
92		to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
93		to a POSIX pathname on cygwin.
94
95		----------------------------------------------------------------------
96		Name: Matthias Blume (blume (at) tti - c (dot) org)
97		Date: 2004/12/16 13:35:00 CST
98		Tag: Release_110_52
99		Description:
100
101		Last-minute changes incorporated into 110.52.  Release tag moved.
102
103		The changes:
104		- HashString.hashString' -> HashString.hashSubstring
105		- bug fix in UnivariateStats
106
107		----------------------------------------------------------------------
108		Name: Matthias Blume (blume (at) tti - c (dot) org)
109		Date: 2004/12/15 23:40:00 CST
110		Tag: blume-20041215-hashSubstring
111		Description:
112
113		- HashString.hashString' -> HashString.hashSubstring
114		- corresponding changes in atom.sml
115		- "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
116		added some comments
117
118		----------------------------------------------------------------------
119		Name: Matthias Blume (blume (at) tti - c (dot) org)
120		Date: 2004/12/15 15:30:00 CST
121		Tag: (Release_110_52)
122		Description:
123
124		New working version (110.52).  NEW BOOTFILES!
125
126		----------------------------------------------------------------------
127		Name: Matthias Blume (blume (at) tti - c (dot) org)
128		Date: 2004/12/15 12:45:00 CST
129		Tag: blume-20041215-spaces
130		Description:
131
132		More on the space problem (this time for Win32).
133
134		----------------------------------------------------------------------
135		Name: Matthias Blume (blume (at) tti - c (dot) org)
136		Date: 2004/12/14 17:30:00 CST
137		Tag: blume-20041214-spaces
138		Description:
139
140		Hacked some of the scripts (in particular: the installer) to cope with
141		spaces in filenames a bit better.  But beware: the current "solution"
142		is likely still full of bugs and inherently incomplete.  (We need to
143		do away with those shell scripts for a comprehensive solution.)
144
145		----------------------------------------------------------------------
146		Name: Matthias Blume (blume (at) tti - c (dot) org)
147		Date: 2004/12/13 14:45:00 CST
148		Tag: blume-20041213-ml-makedepend
149		Description:
150
151		Fixed bug in code for ml-makedepend.
152
153		----------------------------------------------------------------------
154		Name: Matthias Blume (blume (at) tti - c (dot) org)
155		Date: 2004/12/09 16:30:00 CST
156		Tag: blume-20041209-statistics
157		Description:
158
159		Added two simple but potentially useful statistics modules to SML/NJ Library.
160		(See CHANGES file there.)
161
162		----------------------------------------------------------------------
163		Name: Matthias Blume (blume (at) tti - c (dot) org)
164		Date: 2004/12/01 16:50:00 CST
165		Tag: blume-20041201-atom
166		Description:
167
168		smlnj-lib:
169
170		Added function HashString.hashString' for substrings.
171		Hand-inlined CharVector.foldl into HashString (for speed).
172		Modified implementation of structure Atom to avoid extracting
173		strings from substrings unless necessary.
174		(Also see CHANGES file for smlnj-lib.)
175
176		----------------------------------------------------------------------
177		Name: Matthias Blume (blume (at) tti - c (dot) org)
178		Date: 2004/11/24 22:15:00 CST
179		Tag: blume-20041124-cml
180		Description:
181
182		Made sure CML compiles when Position = Int64.
183
184		----------------------------------------------------------------------
185		Name: Matthias Blume (blume (at) tti - c (dot) org)
186		Date: 2004/11/24 14:30:00 CST
187		Tag: blume-20041124-position
188		Description:
189
190		The compiler can now be compiled in a mode that makes structure Position
191		equal to Int64.  The default, however, is unchanged (Position = Int31)
192		for the time being.
193
194		To enable 64-bit positions, use the following procedure:
195
196		1. Start sml
197		2. Autoload $smlnj/cmb.cm (if not already autoloaded)
198		3. Type
199		#set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
200		4. Run CMB.make() as usual.
201
202		This is barely tested.  The only test so far was a little SML program
203		counting the number of characters in an 8-gigabyte file by
204		reading it character-by-character.  That test was successful.
205
206		In support of 64-bit positions, a number of new functions have been
207		added to the runtime system.
208
209		----------------------------------------------------------------------
210		Name: Matthias Blume (blume (at) tti - c (dot) org)
211		Date: 2004/11/23 14:45:00 CST
212		Tag: blume-20041123-useFile
213		Description:
214
215		Fixed a problem with unhelpful error messages related to problems with
216		.cm- or .sml files that appear as part of the sml command line.
217
218		----------------------------------------------------------------------
219		Name: Matthias Blume (blume (at) tti - c (dot) org)
220		Date: 2004/11/18 15:40:00 CST
221		Tag: Release_110_51
222		Description:
223
224		New working version (110.51).  NEW BOOTFILES!
225
226		----------------------------------------------------------------------
227		Name: Matthias Blume (blume (at) tti - c (dot) org)
228		Date: 2004/11/18 15:35:00 CST
229		Tag: <none>
230		Description:
231
232		Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
233		Joemann).
234
235		----------------------------------------------------------------------
236		Name: Allen Leung (leunga (at) reservoir (dot) com)
237		Date: 2004/11/17 16:05:21 EST 2004
238		Tag: leunga-20041117-mlrisc-live-kill
239		Description:
240
241		Added support for MLTree constructs LIVE and KILL
242		to all the architectures.
243
244		----------------------------------------------------------------------
245		Name: Matthias Blume (blume (at) tti - c (dot) org)
246		Date: 2004/11/13 00:20:00 CST
247		Tag: blume-20041113-versiontool
248		Description:
249
250		- Stripped down the versiontool: It now only handles the version number.
251		The date string is generated at bootstrap time (during makeml).
252
253		- In a previous commit, fixed a minor issue with how polyequal is being
254		translated.  In particular, the code now "looks through" abstractions.
255		This results in slightly fewer polyEqual warnings and hopefully slightly
256		more efficient code.  Important examples for where this matters are
257		the new int64 and word64 types.
258
259		----------------------------------------------------------------------
260		Name: Matthias Blume (blume (at) tti - c (dot) org)
261		Date: 2004/11/12 00:30:00 CST
262		Tag: blume-20041112-int64
263		Description:
264
265		Structure Int64 fully hooked in.  (The implementation is not very
266		efficient, though.)
267
268		----------------------------------------------------------------------
269		Name: Matthias Blume (blume (at) tti - c (dot) org)
270		Date: 2004/11/11 17:30:00 CST
271		Tag: blume-20041111-more64
272		Description:
273
274		All the pieces of Word64 are now there, with the exception of the
275		conversions from and to LargeWord. (Eventually these need to be identities,
276		but for the time being they don't even make sense because LargeWord is
277		32-bit wide.)
278
279		Also started to add similar support for Int64, but major pieces of that
280		are still missing.
281
282		----------------------------------------------------------------------
283		Name: Matthias Blume (blume (at) tti - c (dot) org)
284		Date: 2004/11/11 00:15:00 CST
285		Tag: blume-20041111-word64
286		Description:
287
288		Structure Word64 is now (almost) complete, word literals and patterns
289		seem to work.  There are a few odd pieces missing.  In particular,
290		I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
291		at the moment.
292
293		Making Word64 official would mean that LargeWord becomes Word64.  But
294		this requires extreme care because most word-word conversions have to
295		go through LargeWord, so making a mistake means loss of efficiency or
296		worse.  Eventually there will be a solution similar to (but actually
297		simpler than) what I did with IntInf.
298
299		----------------------------------------------------------------------
300		Name: Matthias Blume (blume (at) tti - c (dot) org)
301		Date: 2004/11/10 18:12:00 CST
302		Tag: blume-20041110-64bit
303		Description:
304
305		More 64-bit hacking (but still not even half-way there yet).
306		Also, some assorted improvements to the handling of 8-bit words.
307
308		----------------------------------------------------------------------
309		Name: Matthias Blume (blume (at) tti - c (dot) org)
310		Date: 2004/11/09 17:50:00 CST
311		Tag: <none>
312		Description:
313
314		Started adding some infrastructure for supporting 64-bit int- and
315		word-types.  (Still in its very early stages.)
316
317		----------------------------------------------------------------------
318		Name: Matthias Blume (blume (at) tti - c (dot) org)
319		Date: 2004/10/28 10:45:00 CDT
320		Tag: Release_110_50
321		Description:
322
323		New working version (110.50).  NEW BOOTFILES!
324
325		=====================
326
327		Also:
328
329		- Changend config/srcarchiveurl from a file just
330		containing the URL string into a file containing
331		shell script code.  The code has access to the $VERSION variable.
332		- Made corresponding changes to config/install.sh and config/unpack.
333		- Default contents of config/srcarchiveurl uses $VERSION and
334		normally does not have to be edited to reflect a version change.
335
336		(As a result, a version change can be done by just editing
337		config/version, the rest is now automatic.)
338
339		----------------------------------------------------------------------
340		Name: Matthias Blume (blume (at) tti - c (dot) org)
341		Date: 2004/10/27 17:50:00 CDT
342		Tag: blume-20041027-btrace-msg
343		Description:
344
345		BackTrace.monitor now also reports the source of the exception that
346		triggered the trace.
347
348		----------------------------------------------------------------------
349		Name: Matthias Blume (blume (at) tti - c (dot) org)
350		Date: 2004/10/27 17:20:00 CDT
351		Tag: blume-20041027-x86-c-calls
352		Description:
353
354		This is the HISTORY entry for two earlier commits, both concerning
355		the x86 c-calls code in MLRISC:
356
357		- added a missing LOAD in the code that deals with struct arguments
358		- made sure the caller does not add the wrong number of bytes to the
359		stack pointer after a call of a function returning a struct
360		(the callee already pops the implicit argument which points to
361		the space reserved for the result)
362
363		----------------------------------------------------------------------
364		Name: Allen Leung (leunga (at) reservoir (dot) com)
365		Date: 2004/10/24 14:00:00 EST
366		Tag: leunga-20041024-x86-gas-fucomip
367		Description:
368
369		John discovered a bug in the syntax of fucomip.
370		The opcodes FU?COMIP? have been changed to
371
372		fu?comip? %st(i), %st
373
374		----------------------------------------------------------------------
375		Name: Matthias Blume (blume (at) tti - c (dot) org)
376		Date: 2004/10/20 15:06:00 CDT
377		Tag: blume-20041020-standalone-backtrace
378		Description:
379
380		Added a mechanism for getting back-trace information from standalone
381		programs.  Here is how it works:
382
383		1. The part of the program from which you want to get backtrace
384		information (usually the whole program) should be wrapped with
385		BackTrace.monitor.  This is a (unit->'a)->'a function, and your
386		main program could be modified from something like
387
388		fun main (pgm, args) = ...
389
390		to
391
392		fun main (pgm, args) = BackTrace.monitor (fn () => ...)
393
394		2. To be able to access BackTrace.monitor, you have to add
395		library $smlnj-tdp/plugins.cm to the .cm file that contains your
396		main function.
397
398		3. Remove all compiled code (i.e., all the .cm/ subdirectories that
399		CM might have created in the past for your project).
400
401		4. Build the system using this command line:
402
403		ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
404		myprog.cm MyProg.main myprog
405
406		instead of the usual
407
408		ml-build myprog.cm MyProg.main myprog
409
410		I changed a library name:
411
412		$/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
413
414		New libraries:
415
416		$smlnj-tdp/back-trace.cm
417		-- when loaded causes the back-trace plugin to be installed
418		$smlnj-tdp/coverage.cm
419		-- when loaded causes the coverage plugin to be installed
420
421		----------------------------------------------------------------------
422		Name: Matthias Blume (blume (at) tti - c (dot) org)
423		Date: 2004/10/18 16:45:00 CDT
424		Tag: blume-20041018-groupowner
425		Description:
426
427		Added an "obsolete" warning for the "group owner" syntax to CM's parser.
428
429		Eliminated group owner specs from .cm files throughout the source tree.
430
431		----------------------------------------------------------------------
432		Name: Matthias Blume (blume (at) tti - c (dot) org)
433		Date: 2004/10/15 15:45:00 CDT
434		Tag: blume-20041015-coverage
435		Description:
436
437		* Test coverage tool added!
438		* Further reorganization of tracing-, debugging-, and profiling support:
439
440		- moved original BTImp -- now called BackTrace -- into a separate
441		library called $/trace-debug-profile.cm
442		- eliminated all mentions of BTrace from SMLofNJ.Internals
443		- only the instrumentation mechanism is now left in the compiler proper
444		- BackTrace module is a plugin which is NOT plugged in by default
445		- Coverage module is another such plugin
446
447		To get the benefits of any of these plugin modules, the code in
448		question must be compiled with tdp instrumentation turned on.  This
449		can be done by setting SMLofNJ.Internals.TDP.mode to true.
450		(The ref cell is also controlled via the -Ctdp.instrument=... switch.)
451
452		Plugins are selected at link time.  (Pre-compiled instrumented code
453		can be re-loaded with different plugins in effect.)  When an
454		instrumented module is linked, whatever plugins are at that time
455		enabled will come into effect for that module.
456
457		To enable the back-trace plugin, load library $/trace-debug-profile.cm
458		and invoke BackTrace.install() (e.g., from the interactive prompt).
459		To enable the coverage plugin, load the same library and invoke
460		Coverage.install().
461
462		Back-traces are generated automatically on uncaught exceptions and
463		when the code in question explicitly invokes BackTrace.trigger().
464
465		Coverage (and execution frequency-) information must be queried
466		explicitly by calling Coverage.not_covered and Coverage.hot_spots.
467
468		----------------------------------------------------------------------
469		Name: Matthias Blume (blume (at) tti - c (dot) org)
470		Date: 2004/10/14 17:40:00 CDT
471		Tag: blume-20041014-tdp-core
472		Description:
473
474		Snapshot of a significant overhaul of how the trace/debug/profile support
475		is hooked into the system (specifically: Core and SMLofNJ.Internals).
476
477		----------------------------------------------------------------------
478		Name: Matthias Blume (blume (at) tti - c (dot) org)
479		Date: 2004/10/13 16:34:00 CDT
480		Tag: blume-20041013-tdp
481		Description:
482
483		Some rationalization of names:
484
485		structure BTrace -> structure TDPInstrument
486		etc.
487
488		This is is preparation of using the original back-trace
489		instrumentation for other purposes.  "TDP" stands for
490		Trace/Debug/Profile.
491
492		The control flag controlling whether instrumentation is on or off is now
493		registered under a different name, so instead of running sml as
494
495		sml -Cinstrument.btrace-mode=true
496
497		one has to say
498
499		sml -Ctdp.instrument=true
500
501		----------------------------------------------------------------------
502		Name: Matthias Blume (blume (at) tti - c (dot) org)
503		Date: 2004/10/11 16:37:00 CDT
504		Tag: blume-20041011-regions
505		Description:
506
507		Made some minor modifications to elabcore.sml to have source regions
508		be propagated more tightly -- resulting in better (i.e., smaller)
509		regions being reported in error- and debug messages.
510
511		----------------------------------------------------------------------
512		Name: Matthias Blume (blume (at) tti - c (dot) org)
513		Date: 2004/10/08 22:50:00 CDT
514		Tag: blume-20041008-cmkw
515		Description:
516
517		Fixed handling of keywords in .cm files: After seeing "is" the lexer
518		treats subsequent occurrences of "group", "library", "source", "is",
519		"*", and "-" as ordinary identifiers rather than keywords.
520
521		Most seriously, this fixes a problem with CM's "shell" tool.  The tool
522		is supposed to accept a tool argument called "source", but this did
523		not work because of the clash with the keyword.
524
525		----------------------------------------------------------------------
526		Name: Matthias Blume (blume (at) tti - c (dot) org)
527		Date: 2004/10/07 16:00:00 CDT
528		Tag: blume-20041007-cleanup
529		Description:
530
531		Assorted cleanup work:
532
533		- got rid of intstrmap in favor of using the library's
534		hash table implementation
535		- threw out most of the pathnames stuff, as it was not used anyway
536		- simplified tokentable implementation
537		- fixed some minor spelling errors
538
539		----------------------------------------------------------------------
540		Name: Matthias Blume (blume (at) tti - c (dot) org)
541		Date: 2004/10/06 15:15:15 CDT
542		Tag: blume-20041006-handler
543		Description:
544
545		Cleaned up the absyn to reflect the invariant that HANDLE always
546		carries a FNexp as part of the type definition.  This eliminates some
547		superfluous sanity checks at runtime down the road.
548
549		Some minor cleanup of the btrace code.
550
551		----------------------------------------------------------------------
552		Name: Matthias Blume (blume (at) tti - c (dot) org)
553		Date: 2004/10/01 10:20:30 CDT
554		Tag: blume-20041001-slave
555		Description:
556
557		Added hack to make slave mode work in the presence of the version
558		tool.  (Still, since the master does two passes over the code for
559		CMB.make, the release number gets bumped twice when slaves are
560		attached.  I don't know if this is worth fixing...)
561
562		----------------------------------------------------------------------
563		Name: Matthias Blume (blume (at) tti - c (dot) org)
564		Date: 2004/09/30 10:55:00 CDT
565		Tag: blume-20040930-version
566		Description:
567
568		* Moved the "version" magic into its own little library under
569		src/system/smlnj/internal.  This avoids expensive reconstruction of
570		a stable src/compiler/core.cm.
571
572		* At the same time, structure CompilerVersion is now known as
573		structure SMLNJVersion.
574
575		* Arranged for the version tool to NOT kick in when rebuilding the system
576		(makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
577		Also, loading the versiontool does not work when rebuilding the system
578		because CM is not properly initialized at that time.
579
580		----------------------------------------------------------------------
581		Name: Matthias Blume (blume (at) tti - c (dot) org)
582		Date: 2004/09/29 14:00:00 CDT
583		Tag: blume-20040929-autoversion
584		Description:
585
586		Implemented some CM magic to have
587		file src/compiler/TopLevel/main/version.sml
588		generated automagically.
589		The version is taken from two files: config/version and config/release.
590		The first is expected to contain a two-part version number such as 110.49.
591		The second should contain a single number, but it may be missing.
592
593		If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
594		time the version tool is loaded (which is the first time you say CMB.make),
595		then the tool will increment the value stored in config/release every
596		time CMB.make is invoked.
597
598		The binfile format is now insensitive to anything beyond the first
599		two components of a version number, so bumping the release does not render
600		binfiles incompatible.  Auto-bumping can be used to keep track of versions
601		during development without invalidating existing binfiles.
602
603		In any case, every CMB.make updates the date information in version.sml.
604		(This is the date that is printed in the banner.)
605
606		----------------------------------------------------------------------
607		Name: Matthias Blume (blume (at) tti - c (dot) org)
608		Date: 2004/09/28 10:53:00 CDT
609		Tag: blume-20040928-controls
610		Description:
611
612		Some cleanup of the controls code.
613
614		----------------------------------------------------------------------
615		Name: Matthias Blume (blume (at) tti - c (dot) org)
616		Date: 2004/09/27 22:08:00 CDT
617		Tag: blume-20040927-controls
618		Description:
619
620		Added two pieces of functionality to the Controls interface:
621
622		1.   val save'restore: 'a control -> unit -> unit
623
624		grabs the current value of the control in stage 1 and restores it
625		in stage 2.
626
627		2.   val set' : 'a control * 'a -> unit -> unit
628
629		stores the given value into the control in stage 2 (i.e., delayed)
630		but does all error checking in stage 1.
631		(This is for string controls that need to do parse their argument --
632		something that might fail.  In some cases, notably in CM, one
633		already knows the intended argument but wants to delay the actual
634		assignment until a time when error recovery would be more difficult.)
635
636		Changed the handling of controls in tool arguments to classes "sml" and
637		"lazysml":
638		- use Controls.save'restore as a more robust way of restoring the
639		old value (in particular: without having to re-parse the string)
640		- use controls to handle the "overload" keyword in the init group
641		(I believe this change actually fixes a long-standing obscure bug.)
642
643		----------------------------------------------------------------------
644		Name: Matthias Blume (blume (at) tti - c (dot) org)
645		Date: 2004/09/27 17:00:00 CDT
646		Tag: blume-20040927-lazysml
647		Description:
648
649		Added a new tool class called "lazysml" to CM's tool chest.  The only
650		difference to "sml" is that compilation is done with Control.lazysml
651		set to true.  A source of class "lazysml" is automatically recognized
652		by a file name suffix of ".lml".
653
654		In addition to the above feature, the original class "sml" now also
655		supports a tool argument "lazy" which has the same effect.  As a
656		result, the following three lines are equivalent:
657
658		foo.sml : lazysml
659		foo.sml : sml (lazy)
660		foo.sml (lazy)
661
662		The setting goes into effect both during parsing and during
663		compilation.  The original setting is restored right after parsing and
664		after compilation, respectively.
665
666		In addition to all the above, there is also a general mechanism to set
667		ANY of the "controls" that are available at the command line via
668		"-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
669		apply as well. (In fact, "lazy" is implemented as a special case of
670		the general mechanism.)
671
672		The .cm file syntax uses a new keyword tool argument called "with".
673		There are several ways of indicating the desired settings:
674
675		foo.sml (with:parser.quotations=true)
676		foo.sml (with:(name:parser.quotations value:true))
677		foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
678		foo.sml (with:(name1=value1 name2=value2 ...))
679		foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
680
681		etc.
682
683		Another possible abbreviation is to leave out the =v or value:v part
684		if the name refers to a boolean control (in which case the value is
685		taken to be true).  Thus, one could get lazy sml also by saying:
686
687		foo.sml (with:parser.lazy-keyword=true)
688		foo.sml (with:parser.lazy-keyword)
689		foo.sml (with:(name:parser.lazy-keyword value:true))
690		foo.sml (with:(name:parser.lazy-keyword))
691
692		----------------------------------------------------------------------
693		Name: Matthias Blume (blume (at) tti - c (dot) org)
694		Date: 2004/09/24 16:22:00 CDT
695		Tag: blume-20040924-ppc-long-branch
696		Description:
697
698		Turned message about "emiting long form of branch" off by default.
699		Added a control flag to turn it back on when desired.
700
701		----------------------------------------------------------------------
702		Name: Matthias Blume (blume (at) tti - c (dot) org)
703		Date: 2004/09/24 16:05:00 CDT
704		Tag: blume-20040924-rounding
705		Description:
706
707		Applied patch for setting rounding modes under Mac OS X.  Thanks to
708		Melissa O'Neill for providing the code!
709
710		----------------------------------------------------------------------
711		Name: Matthias Blume (blume (at) tti - c (dot) org)
712		Date: 2004/09/23 17:30:00 CDT
713		Tag: blume-20040923-envvars
714		Description:
715
716		1. Changed definition of type ControlRegistry.registry_tree to
717		include control_info (i.e., the name of the controlling environment
718		variable).
719
720		2. Added command-line flags -e and -E to print the names of environment
721		variables that can be used to control internal settings.
722		(This uses the new API mentioned in 1.)
723
724		----------------------------------------------------------------------
725		Name: Matthias Blume (blume (at) tti - c (dot) org)
726		Date: 2004/09/13 16:50:00 CDT
727		Tag: Release_110_49
728		Description:
729
730		New working version (110.49).  NEW BOOTFILES!
731
732		----------------------------------------------------------------------
733		Name: Matthias Blume
734		Date: 2004/09/13 16:20:00 CDT
735		Tag: blume-20040913-config-mlrisc
736		Description:
737
738		Put target "mlrisc" back into the default list.
739		(There is no harm in having it, and some users have expressed their
740		wish to have "mlrisc" included by default.)
741
742		----------------------------------------------------------------------
743		Name: John Reppy
744		Date: 2004/09/13
745		Tag: jhr-20040913-signals
746		Description:
747
748		Fixed the signal masking code to properly nest mask/unmask operations
749		on a per-signal basis.
750
751		----------------------------------------------------------------------
752		Name: Matthias Blume (blume (at) tti - c (dot) org)
753		Date: 2004/09/08 13:20:00 CDT
754		Tag: blume-20040908-heap-magic
755		Description:
756
757		Bumped the heap macig number to 0x09082004 to account for the changed
758		layout of the ML frame under MacOS X.
759
760		----------------------------------------------------------------------
761		Name: Allen Leung (leunga (at) reservoir (dot) com)
762		Date: 2004/09/03 11:26:00 EST
763		Tag: leunga-20040903-cygwin-install
764		Description:
765
766		Added a patch to _arch-n-opsys to enable the Cygwin runtime.
767		The Cygwin runtime is turned on by setting the environment
768		variable SMLNJ_CYGWIN_RUNTIME to 1.
769
770		----------------------------------------------------------------------
771		Name: Matthias Blume (blume (at) tti - c (dot) org)
772		Date: 2004/08/31 17:15:00 CDT
773		Tag: blume-20040831-core
774		Description:
775
776		Added some exports to src/compiler/core.cm upon request by J. Joemann.
777
778		----------------------------------------------------------------------
779		Name: Matthias Blume (blume (at) tti - c (dot) org)
780		Date: 2004/08/30 17:55:00 CDT
781		Tag: blume-20040830-installer
782		Description:
783
784		Upon request by Johannes Joemann:
785
786		- improved ML code of installer to fall back to coping when renaming
787		fails (i.e., when source and target are on different file systems);
788		the code compiles but has yet to be tested in anger
789		- removed mlrisc from list of default targets (config/targets)
790
791		----------------------------------------------------------------------
792		Name: Matthias Blume (blume (at) tti - c (dot) org)
793		Date: 2004/08/27 17:20:00 CDT
794		Tag: blume-20040827-ptreql
795		Description:
796
797		Added ptreql primop to structure InlineT (upon request from Larry
798		Paulson).
799
800		----------------------------------------------------------------------
801		Name: Allen Leung (leunga (at) reservoir (dot) com)
802		Date: 2004/08/15 21:21:00 EST
803		Tag: leunga-110_48-udgraph
804		Description:
805
806		Another bug fix from Carl Hauser:
807
808		diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
809		> 48c48
810		> <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
811		> e::L)
812		> ---
813		> >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
814		> Without this, any deletion of an edge in an undirected graph does severe
815		> violence to the graph.
816
817		----------------------------------------------------------------------
818		Name: Allen Leung (leunga (at) reservoir (dot) com)
819		Date: 2004/08/10 23:35:00 EST
820		Tag: leunga-110_48-ppc
821		Description:
822
823		The IBM/MacOS syntax switch on PPC was incorrectly swapped.
824
825		----------------------------------------------------------------------
826		Name: Matthias Blume (blume (at) tti - c (dot) org)
827		Date: 2004/08/10 12:00:00 CDT
828		Tag: Release_110_48
829		Description:
830
831		New working version (110.48).  NEW BOOTFILES!
832
833		----------------------------------------------------------------------
834		Name: Allen Leung (leunga (at) reservoir (dot) com)
835		Date: 2004/08/09 12:21:00 EST
836		Tag: leunga-110_47-dijsktra
837		Description:
838
839		Bug fix from Carl Hauser:
840
841		single_source_shortest_paths in dijkstra.sml was observed to get wrong
842		answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
843
844		The problem is that following the expression A.update(dist,s,Num.zero)
845		it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
846
847		----------------------------------------------------------------------
848		Name: Matthias Blume (blume (at) tti - c (dot) org)
849		Date: 2004/08/06 18:10:00 CDT
850		Tag: blume-20040806-cmdline
851		Description:
852
853		Fiddled with handling of command-line options:
854
855		* sml now quits after processing the command line
856		if -H, -S, -h<n>, or -s<n> appears as the last
857		command-line argument
858		* a new option -q terminates the session when encountered on
859		the command line; subsequent arguments will be ignored
860		* bug fixes: short (erroneous) arguments are no longer ignored
861		completely
862
863		----------------------------------------------------------------------
864		Name: Allen Leung (leunga (at) reservoir (dot) com)
865		Date: 2004/08/04 18:17:00 EST
866		Tag: leunga-110_47-ppc-ibm-asm
867		Description:
868
869		- Added minimal IBM assembly syntax support for PowerPC.
870
871		- Cygwin: manually changed the file cygwin.def.  Some exported symbols have
872		been altered in the runtime.  We need an automatic way to keep the file
873		in sync.
874
875		----------------------------------------------------------------------
876		Name: Matthias Blume (blume (at) tti - c (dot) org)
877		Date: 2004/08/04 14:00:00 CDT
878		Tag: Release_110_47
879		Description:
880
881		New working version (110.47).  NEW BOOTFILES!
882
883		----------------------------------------------------------------------
884		Name: Matthias Blume (blume (at) tti - c (dot) org)
885		Date: 2004/08/03 14:25:00 CDT
886		Tag: blume-20040803-callingconv
887		Description:
888
889		Added low-level support for choosing C calling conventions by
890		twiddling the type of rawccall.  (See
891		src/compiler/Semant/types/cproto.sml for details.)
892
893		----------------------------------------------------------------------
894		Name: Matthias Blume (blume (at) tti - c (dot) org)
895		Date: 2004/08/02 15:55:00 CDT
896		Tag: blume-20040802-backout
897		Description:
898
899		Backed out of change to win32-filesys.c.  The earlier patch to
900		get_file_time caused CM to produce files with the wrong time stamp.
901
902		----------------------------------------------------------------------
903		Name: Matthias Blume (blume (at) tti - c (dot) org)
904		Date: 2004/08/02 14:45:00 CDT
905		Tag: blume-20040802-nlffi-win32
906		Description:
907
908		Added NLFFI support for Win32, adapted from a patch provided by David
909		Hansel.  This is currently completely untested.  Also, the issue
910		concerning stdcall vs. ccall is still unresolved.
911
912		----------------------------------------------------------------------
913		Name: Matthias Blume (blume (at) tti - c (dot) org)
914		Date: 2004/07/30 17:55:00 CDT
915		Tag: blume-20040730-various
916		Description:
917
918		Gearing up towards 110.47...
919
920		- various minor bugfixes to ml-nlffigen
921		- a beginning of a manual for nlffi
922
923		- eliminated 'export name=value' in config/install.sh as this does
924		not work with certain versions of /bin/sh
925		(Thanks to David King at Motorola for catching this.)
926
927		- several bugfixes provided or suggested by David Hansel at Reactive Systems:
928		- added a test for tm==NULL to gmtime.c and localtime.c
929		- applied patch for incorrect GetFileTime under win32
930		- toSeconds -> toMilliseconds in Win32/win32-process.sml
931
932		----------------------------------------------------------------------
933		Name: Matthias Blume (blume (at) tti - c (dot) org)
934		Date: 2004/07/21 18:20:00 CDT
935		Tag: blume-20040721-nlffigen
936		Description:
937
938		- Fixed minor issue in ml-nlffigen: Now generate structure T_foo
939		for a typedef to an incomplete type, but leave out the "typ" member.
940		(This is just for consistency.)
941		- Started to produce what is supposed to become better (i.e., comprehensive)
942		documentation of what ml-nlffigen does and produces.
943
944		----------------------------------------------------------------------
945		Name: Matthias Blume (blume (at) tti - c (dot) org)
946		Date: 2004/07/14 16:25:00 CDT
947		Tag: blume-20040714-union
948		Description:
949
950		Added C_UNION to c-calls/c-types.sml and updated the machinery
951		(ml-nlffigen, cproto.sml) that conveys C function interface
952		information to the code generator.
953
954		However, the actual architecture-specific implementation of function
955		arguments and results that are C unions is still not implemented.
956
957		----------------------------------------------------------------------
958		Name: Allen Leung (leunga (at) reservoir (dot) com)
959		Date: 2004/07/14 14:38:00 EST
960		Tag: leunga-110_46_1-ppc-lwzu
961		Description:
962
963		Added these instructions to the PowerPC architecture:
964		LBZU(X), LHZU(X), LWZU(X),
965		STWU(X), STFDU, STFSU
966
967		etc...
968
969		Note: I haven't added their instruction encoding into the description.
970
971		----------------------------------------------------------------------
972		Name: Allen Leung (leunga (at) reservoir (dot) com)
973		Date: 2004/07/13 15:04:00 EST
974		Tag: leunga-110_46_1-ppc-lwarx
975		Description:
976
977		Added the two instructions LWARX and STWCX to the PowerPC
978		instruction set.
979
980		A (untested) rewrite of loop-structure.sml.  The old version
981		is completely broken.
982
983		----------------------------------------------------------------------
984		Name: Matthias Blume (blume (at) tti - c (dot) org)
985		Date: 2004/07/13 13:50:00 CDT
986		Tag: blume-20040713-nlffi
987		Description:
988
989		- use paramAlloc to report c-calls with too many arguments
990		(for PPC version where parameter area is pre-allocated)
991		- added ccall_maxargspace to machspec (to implement the above)
992		- made "make" commend in CM's "make" tool configurable
993		- added option (default: on) for passing the name of the SML/NJ's "bin"
994		directory to "make"; the call looks like this:
995
996		make <options> SMLNJ_BINDIR=<dir> <target>
997
998		This can be used by the Makefile to, e.g., pick the "right" version
999		of ml-nlffigen.
1000		- minor code tweaks
1001
1002		----------------------------------------------------------------------
1003		Name: Matthias Blume (blume (at) tti - c (dot) org)
1004		Date: 2004/07/12 22:50:00 CDT
1005		Tag: blume-110_46_1-macosx-nlffi
1006		Description:
1007
1008		NLFFI under Mac OS X now working (sort of).  This is largely untested,
1009		though.
1010
1011		Note:  1. You have to make a new, clean build of the runtime system.
1012		2. There are new BOOTFILES, you have to use them!
1013		(Doing the bootstrap process yourself would be *very* painful!
1014		If you absolutely have to do it, build the system under
1015		a different architecture and then cross-compile.)
1016
1017		Version bumped to 110.46.1 to account for runtime data format changes.
1018
1019		----------------------------------------------------------------------
1020		Name: Matthias Blume (blume (at) tti - c (dot) org)
1021		Date: 2004/06/18 14:30:00 CDT
1022		Tag: blume-20040618-unix
1023		Description:
1024
1025		Changed the implementation of structure Unix so that the same stream
1026		is returned every time one of the {text,bin}{In,Out}streamOf functions
1027		is invoked on the same proc.  This is not what the spec currently
1028		says -- although IMO it arguably should.  (See discussion below.)
1029
1030		----------------------------------------------------------------------
1031		Name: Matthias Blume (blume (at) tti - c (dot) org)
1032		Date: 2004/06/17 18:15:00 CDT
1033		Tag: Release_110_46
1034		Description:
1035
1036		New working version (110.46).  NEW BOOTFILES!
1037
1038		----------------------------------------------------------------------
1039		Name: Matthias Blume (blume (at) tti - c (dot) org)
1040		Date: 2004/06/17 17:20:00 CDT
1041		Tag: blume-20040617-timer-unix
1042		Description:
1043
1044		Changed the interface of structures Timer and Unix to match the most
1045		recent Basis spec.
1046
1047		In the case of Unix there still seems to be an open/weird issue:
1048
1049		The {text,bin}{In,Out}streamOf functions are supposed to create
1050		fresh streams whenever they are called -- as opposed to have them
1051		return the same stream every time.  This design is supposed to
1052		prevent space leaks caused by proc values hanging on to streams.
1053
1054		The reap function, on the other hand, is supposed to close the
1055		streams.  This cannot be done without having a handle on the
1056		stream in proc after all...
1057
1058		I took the liberty to implement the following stopgap solution:
1059
1060		The proc value hangs on to the most recently created stream(s).
1061		Reap closes those.  If either or both of the two streams hadn't
1062		been created at all yet, then reap will close the corresponding
1063		file descriptors directly.
1064
1065		PS: I don't understand the original space leak argument anymore.  If
1066		a proc hangs on to the imperative stream, then I/O operations on those
1067		will advance the state of the cached stream and avoid the space leak.
1068
1069		----------------------------------------------------------------------
1070		Name: Matthias Blume (blume (at) tti - c (dot) org)
1071		Date: 2004/05/28 16:45:00 CDT
1072		Tag: blume-20040528-basis
1073		Description:
1074
1075		Added signature PACK_REAL and exported functor PrimIO.
1076
1077		----------------------------------------------------------------------
1078		Name: Matthias Blume (blume (at) tti - c (dot) org)
1079		Date: 2004/05/25 16:00:00 CDT
1080		Tag: blume-20040525-group-owner
1081		Description:
1082
1083		CM now ignores (but still accepts) the "owner" information in group
1084		descriptions.  The owner of a group is its next enclosing
1085		library. Each group must have a unique owner.  (There is a virtual
1086		"toplevel" library that owns groups which are not nested within a real
1087		library.)  Previously, each group had to explicitly declare its owner,
1088		and CM would check that such a declaration is correct.  The new scheme
1089		is to have CM check that for each group there is precisely one owning
1090		library.
1091
1092		The advantage of the new scheme is that the programmer no longer needs
1093		to maintain the somewhat annoying owner information.  The downside is
1094		that CM cannot enforce the ownership rule across multiple runs of
1095		CM.make.  Fortunately, enclosing the same group in two different
1096		libraries A and B which are not part of the same program does not
1097		cause real problems.
1098
1099		----------------------------------------------------------------------
1100		Name: Matthias Blume (blume (at) tti - c (dot) org)
1101		Date: 2004/05/20 16:00:00 CDT
1102		Tag: blume-20040520-win32
1103		Description:
1104
1105		Made the win32 version work again.  (Strangely, a misplaced comma had
1106		slipped into win32-process.c which prevented the runtime from being
1107		compiled correctly.)
1108
1109		Also, included a minor addition to ml-build.bat analogous to what was
1110		done in blume-20040519-ml-build.
1111
1112		----------------------------------------------------------------------
1113		Name: Matthias Blume (blume (at) tti - c (dot) org)
1114		Date: 2004/05/19 22:10:00 CDT
1115		Tag: blume-20040519-ml-build
1116		Description:
1117
1118		Arranged for ml-build to clean up after itself a little bit better.
1119		The script generates a temporary SML source file and compiles it using
1120		CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
1121		gets rid of those at the end, so they don't accumulate under .cm.
1122
1123		This required a minor change to install.sh because the name of the
1124		metadata directory (default: .cm) is actually configurable at
1125		installation time.
1126
1127		----------------------------------------------------------------------
1128		Name: Matthias Blume (blume (at) tti - c (dot) org)
1129		Date: 2004/05/18 15:50:00 CDT
1130		Tag: blume-20040518-mkreader
1131		Description:
1132
1133		Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
1134		implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
1135
1136		----------------------------------------------------------------------
1137		Name: Matthias Blume (blume (at) tti - c (dot) org)
1138		Date: 2004/05/11 14:35:00 CDT
1139		Tag: blume-20040511-win32sock
1140		Description:
1141
1142		Added previously missing support for many socket-related functions
1143		under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
1144		for the voluminous patch!
1145
1146		(I have not tested this patch under win32 yet.)
1147
1148		Here is David's e-mail:
1149
1150		Hi,
1151
1152		Attached to this email you find a diff against sml/nj 110.45
1153		that will enable socket support under Windows.
1154
1155		To apply the patch (using unix or cygwin)
1156		1) gunzip runtime.diff.gz
1157		2) "cd" into "src/runtime" in the source tree of a fresh
1158		110.45 installation.
1159		3) patch -p 1 < [your/path/to]runtime.diff
1160
1161		The code compiles fine but has NOT yet been extensively tested.
1162		I only ran a few tests for basic socket client functionality
1163		(which worked fine).  Especially the functions that use ioctl
1164		are not tested at all and might not work (see below).
1165
1166		I implemented this since we want to move to a newer version of sml/nj
1167		but need socket support in order to use it.  This is the first time I
1168		even had a look at the sml/nj source,  so please review my changes
1169		before making this part of the distribution!  Here are a few issues
1170		that I think might be better for someone to solve who is more
1171		familiar with the sml/nj source (and socket programming):
1172
1173		- getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
1174		exception since I could not figure out what the windows equivalent
1175		of these functions is
1176
1177		- In sockets-osdep.h there are a some #include statements that are
1178		only used in a few files that include sockets-osdep.h
1179
1180		- In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
1181		does not process its return value since I don't know how to
1182		report an error upwards.
1183
1184		- It would probably be good to have a call to WSACleanup() when
1185		the library is unloaded (if there is such a possibility).
1186		Otherwise I think Windows will take care of this automatically
1187		when the process finishes.
1188
1189		- I used ioctlsocket() as a replacement for ioctl() but I have
1190		no idea if that is actually the proper replacement on Windows.
1191
1192		- All these issues are marked in the code by "FIXME" comments.
1193
1194		We use sml/nj extensively in our products and are quite happy
1195		with it.  I hope this contribution will help you.
1196
1197		Keep up the good work!
1198
1199		David
1200
1201		----------------------------------------------------------------------
1202		Name: Matthias Blume (blume (at) tti - c (dot) org)
1203		Date: 2004/05/11 14:20:00 CDT
1204		Tag: blume-20040511-installml
1205		Description:
1206
1207		Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
1208		the patch.)
1209
1210		----------------------------------------------------------------------
1211		Name: Matthias Blume (blume (at) tti - c (dot) org)
1212		Date: 2004/05/11 14:05:00 CDT
1213		Tag: blume-20040511-nlffi-netbsd
1214		Description:
1215
1216		Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
1217		the patch.)
1218
1219		----------------------------------------------------------------------
1220		Name: Matthias Blume (blume (at) tti - c (dot) org)
1221		Date: 2004/05/11 12:05:00 CDT
1222		Tag: blume-20040511-exports
1223		Description:
1224
1225		As per request by Adam Chlipala <adam@hcoop.net>, extended various
1226		export lists in compiler-related .cm-files.
1227
1228		----------------------------------------------------------------------
1229		Name: Matthias Blume (blume (at) tti - c (dot) org)
1230		Date: 2004/05/11 11:35:00 CDT
1231		Tag: blume-20040511-allsource
1232		Description:
1233
1234		The installer now honors the "src-smlnj" target again, although its meaning
1235		has changed from "all sources required for the compiler" to "all sources
1236		the installer knows about".  In other words, if you enable "src-smlnj"
1237		in the "targets" file, then the installer will pull in sources for
1238		everything.  (Notice that this refers to source code only.  Compiled
1239		code is still only installed for modules that were requested explicitly
1240		or which are required for other modules that were requested explicitly.)
1241
1242		----------------------------------------------------------------------
1243		Name: Matthias Blume (blume (at) tti - c (dot) org)
1244		Date: 2004/04/23 17:40:00 CDT
1245		Tag: blume-20040423-ieee-scan
1246		Description:
1247
1248		Fixed IEEEReal.scan (and .fromString) so that if there is an overflow
1249		in the exponent calculation we get INF or ZERO (depending on the mantissa
1250		and the sign of the exponent).
1251
1252		----------------------------------------------------------------------
1253		Name: Matthias Blume (blume (at) tti - c (dot) org)
1254		Date: 2004/04/23 10:40:00 CDT
1255		Tag: blume-20040423-ml-build
1256		Description:
1257
1258		The ml-build script now terminates with a non-0 status when something
1259		goes wrong.
1260
1261		----------------------------------------------------------------------
1262		Name: Matthias Blume (blume (at) tti - c (dot) org)
1263		Date: 2004/04/22 16:35:00 CDT
1264		Tag: blume-20040422-Option
1265		Description:
1266
1267		Made exception Option to be the same as exception Option.Option
1268		(as it should be).
1269
1270		----------------------------------------------------------------------
1271		Name: Allen Leung (leunga (at) reservoir (dot) com)
1272		Date: 2004/03/19 14:40:00 EST
1273		Tag: leunga-20040319-cygwin-nlffi
1274		Description:
1275
1276		Fixed the runtime so that ml-nlffi-lib runs on the cygwin version
1277		of SML/NJ.  The problem is that
1278
1279		lib = dlopen(NULL, ...)
1280		f   = dlsym(lib, "malloc");
1281
1282		does not work on Windows unless we explicitly export symbols
1283		such as 'malloc' during linking.  We fixed this by explicitly
1284		exporting the required symbols with the magic gcc incantation:
1285
1286		-Wl,--export-all cygwin.def
1287
1288		where cygwin.def is a file containing all the symbols that
1289		we wish to export.
1290
1291		I suspect this is a Windows problem and we'll have to
1292		do the same (somehow with windows compilers) when
1293		we build the native win32 version with the system
1294		calls LoadLibrary/GetProcAddress.
1295
1296		----------------------------------------------------------------------
1297		Name: Matthias Blume (blume (at) tti - c (dot) org)
1298		Date: 2004/03/04 16:35:00 CST
1299		Tag: blume-20040304-intinf-fmt
1300		Description:
1301
1302		Fixed problem with IntInf.fmt (sign would show up on the right instead
1303		of on the left for BIN, OCT, and HEX).
1304
1305		----------------------------------------------------------------------
1306		Name: Matthias Blume (blume (at) tti - c (dot) org)
1307		Date: 2004/03/04 11:25:00 CST
1308		Tag: blume-20040304-symlinks
1309		Description:
1310
1311		Fixed problem with installer script (unix only) where bin/ml-yacc and
1312		friends pointed (via symlinks) to absolute locations instead of just
1313		.run-sml.  This was reported by Vesa A Norrman.
1314
1315		----------------------------------------------------------------------
1316		Name: Matthias Blume (blume (at) tti - c (dot) org)
1317		Date: 2004/02/13 14:50:00 CST
1318		Tag: Release_110_45
1319		Description:
1320
1321		New working version (110.45). New bootfiles.
1322
1323		----------------------------------------------------------------------
1324		Name: Matthias Blume (blume (at) tti - c (dot) org)
1325		Date: 2004/01/26 15:15:15 CST
1326		Tag: blume-20040126-toplevel
1327		Description:
1328
1329		Improved handling of exceptions at the interactive toplevel.
1330
1331		----------------------------------------------------------------------
1332		Name: Matthias Blume (blume (at) tti - c (dot) org)
1333		Date: 2004/01/26 11:25:00
1334		Tag: blume-20040126-app
1335		Description:
1336
1337		Type of top-level "app" corrected.
1338		Added code for setting vp_limitPtrMask to Win32-specific runtime.
1339
1340		----------------------------------------------------------------------
1341		Name: Matthias Blume (blume (at) tti - c (dot) org)
1342		Date: 2003/11/18 17:10 CST
1343		Tag: blume-20031118-basis-fiddle
1344		Description:
1345
1346		- changed Timer interface to what might become the spec
1347		- POSIX_FLAGS -> BIT_FLAGS according to spec
1348		- some other minor discrepancies wrt. spec eliminated
1349
1350		----------------------------------------------------------------------
1351		Name: Matthias Blume (blume (at) tti - c (dot) org)
1352		Date: 2003/11/06 12:00:00 CST
1353		Tag: Release_110_44
1354		Description:
1355
1356		New working version (110.44). New bootfiles.
1357
1358		----------------------------------------------------------------------
1359		Name: Matthias Blume (blume (at) tti - c (dot) org)
1360		Date: 2003/11/04 11:50:00 CST
1361		Tag: blume-20031104-move-libraries
1362		Description:
1363
1364		Eliminated the "dont_move_libraries" directive in config/targets.
1365		(The mechanism was broken and could not be fixed easily.  Moreover,
1366		there does not seem to be any reason not to move all libraries into
1367		lib during installation.  I originally implemented this directive as a
1368		backward-compatibility feature when I first introduced the new CM.
1369		Now that things have been stable for a long time and going back to the
1370		old CM is not an option, there is no reason to keep it around.)
1371
1372		----------------------------------------------------------------------
1373		Name: Matthias Blume (blume (at) tti - c (dot) org)
1374		Date: 2003/11/03 16:00:00 CST
1375		Tag: blume-20031103-installdir
1376		Description:
1377
1378		Made installer honor INSTALLDIR variable again.  (Thanks to Chris
1379		Richards for pointing out the problem and providing the solution.)
1380
1381		----------------------------------------------------------------------
1382		Name: Matthias Blume (blume (at) tti - c (dot) org)
1383		Date: 2003/10/01 17:05:00 CDT
1384		Tag: blume-20031001-lal-mlrisc
1385		Description:
1386
1387		MLRISC bug fix from Lal.
1388
1389		----------------------------------------------------------------------
1390		Name: Matthias Blume (blume (at) tti - c (dot) org)
1391		Date: 2003/09/30 16:10:00 CDT
1392		Tag: blume-20030930-primio-bat
1393		Description:
1394
1395		1. Added openVector, nullRd, and nullWr to PRIM_IO.
1396		2. Improved .bat files (for Win32 port) to make things work under Win95.
1397		(thanks to Aaron S. Hawley for this one)
1398
1399		----------------------------------------------------------------------
1400		Name: Matthias Blume (blume (at) tti - c (dot) org)
1401		Date: 2003/09/26 16:05:00 CDT
1402		Tag: blume-20030926-wrappriv
1403		Description:
1404
1405		Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
1406
1407		----------------------------------------------------------------------
1408		Name: Matthias Blume (blume (at) tti - c (dot) org)
1409		Date: 2003/09/26 15:00:00 CDT
1410		Tag: blume-20030926-110_43_3
1411		Description:
1412
1413		- additional cleanup
1414		- version number bump, NEW BOOTFILES
1415
1416		----------------------------------------------------------------------
1417		Name: Matthias Blume (blume (at) tti - c (dot) org)
1418		Date: 2003/09/26 12:00:00 CDT
1419		Tag: blume-20030926-ppautoload
1420		Description:
1421
1422		I modified the read-eval-print loop so that the autoloader gets
1423		invoked whenever the prettyprinter tries to look up a symbol that
1424		is not currently defined in the toplevel environment but which
1425		appears in CM's autoload registry.  As a result, we see far fewer of
1426		those ?.Foo.Bar.xxx names in the prettyprinter's output.
1427
1428		In addition to this I tried to clean up some pieces of the Basis
1429		implementation (e.g., Socket, Word8Array) in order to prevent other
1430		instances of these ?.Foo.Bar.xxx names from being printed.
1431
1432		The mechanism that picks names for types still needs some work, though.
1433		(Right now it seems that if there is a type A.t which is defined to
1434		be B.u, but B is unavailable at toplevel, then A.t gets printed as
1435		"?.B.u" although the perhaps more sensible solution would be to use
1436		"A.t" in this case.  In other words, the prettyprinter should follow
1437		a chain of DEFtycs not farther than there are corresponding toplevel
1438		names in the current environment.)
1439
1440		----------------------------------------------------------------------
1441		Name: Matthias Blume (blume (at) tti - c (dot) org)
1442		Date: 2003/09/24 16:31:00 CDT
1443		Tag: blume-20030924-installer
1444		Description:
1445
1446		Another installer tweak:  All the ML code for the installer is now
1447		compiled during CMB.make and put into a little library called
1448		$smlnj/installer.cm.  The installation then simply invokes
1449
1450		sml -m $smlnj/installer.cm
1451
1452		and everything happens automagically.
1453
1454		Win32:  ML code senses value of environment variable SMLNJ_HOME.
1455		Unix:   ML code senses values of environment variables ROOT, CONFIGDIR,
1456		and BINDIR.
1457
1458		The new scheme guarantees that the ML code responsible for the installation
1459		is in sync with the APIs of the main system.  Also, the installer is
1460		somewhat faster because the installer script is precompiled.
1461
1462		----------------------------------------------------------------------
1463		Name: Matthias Blume (blume (at) tti - c (dot) org)
1464	Date: 2003/09/24 15:35:00 CDT	Date: 2003/09/24 15:35:00 CDT
1465	Tag: blume-20030924-synsock	Tag: blume-20030924-synsock
1466	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1390   changed lines   Added in v.1747

---

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