Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1537, Tue Jul 13 18:49:54 2004 UTC	revision 1785, Wed May 4 15:51:20 2005 UTC
#	Line 13	Line 13
13	Description:	Description:
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16		Name: Allen Leung (leunga (at) reservoir (dot) com)
17		Date: 2005/05/04 11:50:00 EST
18		Tag: leunga-20050504-checkgc
19		Description:
20
21		Added a gc protocol checking phase.  This phase is enabled with
22		the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
23
24		----------------------------------------------------------------------
25		Name: Matthias Blume (blume (at) tti - c (dot) org)
26		Date: 2005/05/04 10:45:00 CDT
27		Tag: blume-20050504-intinf
28		Description:
29
30		Fixed a bug in the implementation of div and mod for IntInf.
31		Thanks to Neophytos Michael for reporting the problem.
32
33		----------------------------------------------------------------------
34		Name: Matthias Blume (blume (at) tti - c (dot) org)
35		Date: 2005/05/04 10:35:00 CDT
36		Tag: blume-20050504-join
37		Description:
38
39		Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
40
41		----------------------------------------------------------------------
42		Name: Matthias Blume (blume (at) tti - c (dot) org)
43		Date: 2005/02/28 23:40:00 CST
44		Tag: blume-20050228-mVar
45		Description:
46
47		Fixed serious bug (brown paper bag variety) in new implementation of
48		structure Atom in CML.  (I had accidentally used a mailbox instead of
49		an mvar, leaving the door open for races.)
50
51		----------------------------------------------------------------------
52		Name: Matthias Blume (blume (at) tti - c (dot) org)
53		Date: 2005/02/25 15:00:00 CST
54		Tag: Release_110_53
55		Description:
56
57		New working version (110.53).  NEW BOOTFILES!
58
59		----------------------------------------------------------------------
60		Name: Matthias Blume (blume (at) tti - c (dot) org)
61		Date: 2005/02/25 14:50:00 CST
62		Tag: blume-20050225-susp
63		Description:
64
65		Brought back SMLofNJ.Susp.  The underlying suspension type is the one
66		implemented in Core -- which means that it is the same as the one used
67		by the lazy extension.
68
69		----------------------------------------------------------------------
70		Name: Matthias Blume (blume (at) tti - c (dot) org)
71		Date: 2005/02/24 16:50:00 CST
72		Tag: blume-20050224-cml-atom
73		Description:
74
75		Simpler and at the same time more general implementation of structure
76		Atom in CML.
77
78		----------------------------------------------------------------------
79		Name: Matthias Blume (blume (at) tti - c (dot) org)
80		Date: 2005/02/15 17:35:00 CST
81		Tag: blume-20050215-tools
82		Description:
83
84		Created new "tools" directory under "src" and moved "TraceDebugProf"
85		there.
86
87		----------------------------------------------------------------------
88		Name: Matthias Blume (blume (at) tti - c (dot) org)
89		Date: 2005/02/10 17:55:00 CST
90		Tag: blume-20050210-longlong
91		Description:
92
93		Implemented "long long" arguments and results for NLFFI.  (Only the
94		PPC/MacOS implementation is complete, the other backends still need to
95		be updated.)
96
97		----------------------------------------------------------------------
98		Name: Matthias Blume (blume (at) tti - c (dot) org)
99		Date: 2005/01/24 17:40:00 CST
100		Tag: blume-20050124-mlyacc
101		Description:
102
103		Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
104		problem with certain "as" patterns which previously got rendered
105		using incorrect syntax.
106
107		----------------------------------------------------------------------
108		Name: Matthias Blume (blume (at) tti - c (dot) org)
109		Date: 2005/01/18 12:00:00 CST
110		Tag: blume-20050118-profile
111		Description:
112
113		Made time profiling code (interrupt handler) in runtime system aware
114		of new array representation.
115
116		----------------------------------------------------------------------
117		Name: Matthias Blume (blume (at) tti - c (dot) org)
118		Date: 2005/01/14 18:00:00 CST
119		Tag: blume-20050114-heap2exec
120		Description:
121
122		Implemented new (but still experimental) heap2exec facility.  This is
123		tested under Mac OS X and should work under Linux (will test shortly).
124		It will probably also work on the Sparc (will test some time later).
125
126		- removed old "HACKED_STANDALONE" hack from runtime
127
128		To be able to test this, uncomment the request for "heap2asm" in
129		config/targets prior to installation.  (Notice that this is different
130		from "heap2exec" mentioned below.  Not a typo.)
131
132		To perform an actual test, run the command
133
134		$ bin/heap2exec heapfile execfile
135
136		(You can put heap2exec on your shell's path.)
137
138		For example, run
139
140		$ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
141
142		This will create a standalone executable called "mly" which you can
143		then invoke directly as a command.
144
145		----------------------------------------------------------------------
146		Name: Matthias Blume (blume (at) tti - c (dot) org)
147		Date: 2005/01/07 11:44:00 CST
148		Tag: blume-20050107-mlstring
149		Description:
150
151		fixed off-by-one error in ML_STRING macro (globals.c)
152
153		----------------------------------------------------------------------
154		Name: Matthias Blume (blume (at) tti - c (dot) org)
155		Date: 2004/12/23 18:00:00 CST
156		Tag: blume-20041223-santa
157		Description:
158
159		Made ml-build script "smarter" (but only very little).
160
161		----------------------------------------------------------------------
162		Name: Matthias Blume (blume (at) tti - c (dot) org)
163		Date: 2004/12/21 15:05:00 CST
164		Tag: blume-20041221-longlong
165		Description:
166
167		* Implemented access to signed and unsigned long long data in NLFFI.
168		(The parameter-passing part of the picture has not complete. But
169		data structure access seems to work.)
170
171		* Fixed CM's incorrect assumption that the PPC is little-endian.
172		(On the Mac, it is big-endian.  And that's currently our only
173		PPC platform.)
174
175		----------------------------------------------------------------------
176		Name: Matthias Blume (blume (at) tti - c (dot) org)
177		Date: 2004/12/21 12:50:00 CST
178		Tag: blume-20041221-memory
179		Description:
180
181		Some cleanup in the $c/memory.cm library: separated some concerns by
182		moving allocation code and memory access code each into their own
183		files.
184
185		----------------------------------------------------------------------
186		Name: Allen Leung (leunga (at) reservoir (dot) com)
187		Date: 2004/12/17 16:12:00 EST
188		Tag: leunga-20041217-cygwin-smlnj-home
189		Description:
190
191		The Unix I/O library of SML/NJ on cygwin does not understand
192		Windows style pathname, so problems arise when SMLNJ_HOME is set
193		to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
194		to a POSIX pathname on cygwin.
195
196		----------------------------------------------------------------------
197		Name: Matthias Blume (blume (at) tti - c (dot) org)
198		Date: 2004/12/16 13:35:00 CST
199		Tag: Release_110_52
200		Description:
201
202		Last-minute changes incorporated into 110.52.  Release tag moved.
203
204		The changes:
205		- HashString.hashString' -> HashString.hashSubstring
206		- bug fix in UnivariateStats
207
208		----------------------------------------------------------------------
209		Name: Matthias Blume (blume (at) tti - c (dot) org)
210		Date: 2004/12/15 23:40:00 CST
211		Tag: blume-20041215-hashSubstring
212		Description:
213
214		- HashString.hashString' -> HashString.hashSubstring
215		- corresponding changes in atom.sml
216		- "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
217		added some comments
218
219		----------------------------------------------------------------------
220		Name: Matthias Blume (blume (at) tti - c (dot) org)
221		Date: 2004/12/15 15:30:00 CST
222		Tag: (Release_110_52)
223		Description:
224
225		New working version (110.52).  NEW BOOTFILES!
226
227		----------------------------------------------------------------------
228		Name: Matthias Blume (blume (at) tti - c (dot) org)
229		Date: 2004/12/15 12:45:00 CST
230		Tag: blume-20041215-spaces
231		Description:
232
233		More on the space problem (this time for Win32).
234
235		----------------------------------------------------------------------
236		Name: Matthias Blume (blume (at) tti - c (dot) org)
237		Date: 2004/12/14 17:30:00 CST
238		Tag: blume-20041214-spaces
239		Description:
240
241		Hacked some of the scripts (in particular: the installer) to cope with
242		spaces in filenames a bit better.  But beware: the current "solution"
243		is likely still full of bugs and inherently incomplete.  (We need to
244		do away with those shell scripts for a comprehensive solution.)
245
246		----------------------------------------------------------------------
247		Name: Matthias Blume (blume (at) tti - c (dot) org)
248		Date: 2004/12/13 14:45:00 CST
249		Tag: blume-20041213-ml-makedepend
250		Description:
251
252		Fixed bug in code for ml-makedepend.
253
254		----------------------------------------------------------------------
255		Name: Matthias Blume (blume (at) tti - c (dot) org)
256		Date: 2004/12/09 16:30:00 CST
257		Tag: blume-20041209-statistics
258		Description:
259
260		Added two simple but potentially useful statistics modules to SML/NJ Library.
261		(See CHANGES file there.)
262
263		----------------------------------------------------------------------
264		Name: Matthias Blume (blume (at) tti - c (dot) org)
265		Date: 2004/12/01 16:50:00 CST
266		Tag: blume-20041201-atom
267		Description:
268
269		smlnj-lib:
270
271		Added function HashString.hashString' for substrings.
272		Hand-inlined CharVector.foldl into HashString (for speed).
273		Modified implementation of structure Atom to avoid extracting
274		strings from substrings unless necessary.
275		(Also see CHANGES file for smlnj-lib.)
276
277		----------------------------------------------------------------------
278		Name: Matthias Blume (blume (at) tti - c (dot) org)
279		Date: 2004/11/24 22:15:00 CST
280		Tag: blume-20041124-cml
281		Description:
282
283		Made sure CML compiles when Position = Int64.
284
285		----------------------------------------------------------------------
286		Name: Matthias Blume (blume (at) tti - c (dot) org)
287		Date: 2004/11/24 14:30:00 CST
288		Tag: blume-20041124-position
289		Description:
290
291		The compiler can now be compiled in a mode that makes structure Position
292		equal to Int64.  The default, however, is unchanged (Position = Int31)
293		for the time being.
294
295		To enable 64-bit positions, use the following procedure:
296
297		1. Start sml
298		2. Autoload $smlnj/cmb.cm (if not already autoloaded)
299		3. Type
300		#set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
301		4. Run CMB.make() as usual.
302
303		This is barely tested.  The only test so far was a little SML program
304		counting the number of characters in an 8-gigabyte file by
305		reading it character-by-character.  That test was successful.
306
307		In support of 64-bit positions, a number of new functions have been
308		added to the runtime system.
309
310		----------------------------------------------------------------------
311		Name: Matthias Blume (blume (at) tti - c (dot) org)
312		Date: 2004/11/23 14:45:00 CST
313		Tag: blume-20041123-useFile
314		Description:
315
316		Fixed a problem with unhelpful error messages related to problems with
317		.cm- or .sml files that appear as part of the sml command line.
318
319		----------------------------------------------------------------------
320		Name: Matthias Blume (blume (at) tti - c (dot) org)
321		Date: 2004/11/18 15:40:00 CST
322		Tag: Release_110_51
323		Description:
324
325		New working version (110.51).  NEW BOOTFILES!
326
327		----------------------------------------------------------------------
328		Name: Matthias Blume (blume (at) tti - c (dot) org)
329		Date: 2004/11/18 15:35:00 CST
330		Tag: <none>
331		Description:
332
333		Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
334		Joemann).
335
336		----------------------------------------------------------------------
337		Name: Allen Leung (leunga (at) reservoir (dot) com)
338		Date: 2004/11/17 16:05:21 EST 2004
339		Tag: leunga-20041117-mlrisc-live-kill
340		Description:
341
342		Added support for MLTree constructs LIVE and KILL
343		to all the architectures.
344
345		----------------------------------------------------------------------
346		Name: Matthias Blume (blume (at) tti - c (dot) org)
347		Date: 2004/11/13 00:20:00 CST
348		Tag: blume-20041113-versiontool
349		Description:
350
351		- Stripped down the versiontool: It now only handles the version number.
352		The date string is generated at bootstrap time (during makeml).
353
354		- In a previous commit, fixed a minor issue with how polyequal is being
355		translated.  In particular, the code now "looks through" abstractions.
356		This results in slightly fewer polyEqual warnings and hopefully slightly
357		more efficient code.  Important examples for where this matters are
358		the new int64 and word64 types.
359
360		----------------------------------------------------------------------
361		Name: Matthias Blume (blume (at) tti - c (dot) org)
362		Date: 2004/11/12 00:30:00 CST
363		Tag: blume-20041112-int64
364		Description:
365
366		Structure Int64 fully hooked in.  (The implementation is not very
367		efficient, though.)
368
369		----------------------------------------------------------------------
370		Name: Matthias Blume (blume (at) tti - c (dot) org)
371		Date: 2004/11/11 17:30:00 CST
372		Tag: blume-20041111-more64
373		Description:
374
375		All the pieces of Word64 are now there, with the exception of the
376		conversions from and to LargeWord. (Eventually these need to be identities,
377		but for the time being they don't even make sense because LargeWord is
378		32-bit wide.)
379
380		Also started to add similar support for Int64, but major pieces of that
381		are still missing.
382
383		----------------------------------------------------------------------
384		Name: Matthias Blume (blume (at) tti - c (dot) org)
385		Date: 2004/11/11 00:15:00 CST
386		Tag: blume-20041111-word64
387		Description:
388
389		Structure Word64 is now (almost) complete, word literals and patterns
390		seem to work.  There are a few odd pieces missing.  In particular,
391		I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
392		at the moment.
393
394		Making Word64 official would mean that LargeWord becomes Word64.  But
395		this requires extreme care because most word-word conversions have to
396		go through LargeWord, so making a mistake means loss of efficiency or
397		worse.  Eventually there will be a solution similar to (but actually
398		simpler than) what I did with IntInf.
399
400		----------------------------------------------------------------------
401		Name: Matthias Blume (blume (at) tti - c (dot) org)
402		Date: 2004/11/10 18:12:00 CST
403		Tag: blume-20041110-64bit
404		Description:
405
406		More 64-bit hacking (but still not even half-way there yet).
407		Also, some assorted improvements to the handling of 8-bit words.
408
409		----------------------------------------------------------------------
410		Name: Matthias Blume (blume (at) tti - c (dot) org)
411		Date: 2004/11/09 17:50:00 CST
412		Tag: <none>
413		Description:
414
415		Started adding some infrastructure for supporting 64-bit int- and
416		word-types.  (Still in its very early stages.)
417
418		----------------------------------------------------------------------
419		Name: Matthias Blume (blume (at) tti - c (dot) org)
420		Date: 2004/10/28 10:45:00 CDT
421		Tag: Release_110_50
422		Description:
423
424		New working version (110.50).  NEW BOOTFILES!
425
426		=====================
427
428		Also:
429
430		- Changend config/srcarchiveurl from a file just
431		containing the URL string into a file containing
432		shell script code.  The code has access to the $VERSION variable.
433		- Made corresponding changes to config/install.sh and config/unpack.
434		- Default contents of config/srcarchiveurl uses $VERSION and
435		normally does not have to be edited to reflect a version change.
436
437		(As a result, a version change can be done by just editing
438		config/version, the rest is now automatic.)
439
440		----------------------------------------------------------------------
441		Name: Matthias Blume (blume (at) tti - c (dot) org)
442		Date: 2004/10/27 17:50:00 CDT
443		Tag: blume-20041027-btrace-msg
444		Description:
445
446		BackTrace.monitor now also reports the source of the exception that
447		triggered the trace.
448
449		----------------------------------------------------------------------
450		Name: Matthias Blume (blume (at) tti - c (dot) org)
451		Date: 2004/10/27 17:20:00 CDT
452		Tag: blume-20041027-x86-c-calls
453		Description:
454
455		This is the HISTORY entry for two earlier commits, both concerning
456		the x86 c-calls code in MLRISC:
457
458		- added a missing LOAD in the code that deals with struct arguments
459		- made sure the caller does not add the wrong number of bytes to the
460		stack pointer after a call of a function returning a struct
461		(the callee already pops the implicit argument which points to
462		the space reserved for the result)
463
464		----------------------------------------------------------------------
465		Name: Allen Leung (leunga (at) reservoir (dot) com)
466		Date: 2004/10/24 14:00:00 EST
467		Tag: leunga-20041024-x86-gas-fucomip
468		Description:
469
470		John discovered a bug in the syntax of fucomip.
471		The opcodes FU?COMIP? have been changed to
472
473		fu?comip? %st(i), %st
474
475		----------------------------------------------------------------------
476		Name: Matthias Blume (blume (at) tti - c (dot) org)
477		Date: 2004/10/20 15:06:00 CDT
478		Tag: blume-20041020-standalone-backtrace
479		Description:
480
481		Added a mechanism for getting back-trace information from standalone
482		programs.  Here is how it works:
483
484		1. The part of the program from which you want to get backtrace
485		information (usually the whole program) should be wrapped with
486		BackTrace.monitor.  This is a (unit->'a)->'a function, and your
487		main program could be modified from something like
488
489		fun main (pgm, args) = ...
490
491		to
492
493		fun main (pgm, args) = BackTrace.monitor (fn () => ...)
494
495		2. To be able to access BackTrace.monitor, you have to add
496		library $smlnj-tdp/plugins.cm to the .cm file that contains your
497		main function.
498
499		3. Remove all compiled code (i.e., all the .cm/ subdirectories that
500		CM might have created in the past for your project).
501
502		4. Build the system using this command line:
503
504		ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
505		myprog.cm MyProg.main myprog
506
507		instead of the usual
508
509		ml-build myprog.cm MyProg.main myprog
510
511		I changed a library name:
512
513		$/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
514
515		New libraries:
516
517		$smlnj-tdp/back-trace.cm
518		-- when loaded causes the back-trace plugin to be installed
519		$smlnj-tdp/coverage.cm
520		-- when loaded causes the coverage plugin to be installed
521
522		----------------------------------------------------------------------
523		Name: Matthias Blume (blume (at) tti - c (dot) org)
524		Date: 2004/10/18 16:45:00 CDT
525		Tag: blume-20041018-groupowner
526		Description:
527
528		Added an "obsolete" warning for the "group owner" syntax to CM's parser.
529
530		Eliminated group owner specs from .cm files throughout the source tree.
531
532		----------------------------------------------------------------------
533		Name: Matthias Blume (blume (at) tti - c (dot) org)
534		Date: 2004/10/15 15:45:00 CDT
535		Tag: blume-20041015-coverage
536		Description:
537
538		* Test coverage tool added!
539		* Further reorganization of tracing-, debugging-, and profiling support:
540
541		- moved original BTImp -- now called BackTrace -- into a separate
542		library called $/trace-debug-profile.cm
543		- eliminated all mentions of BTrace from SMLofNJ.Internals
544		- only the instrumentation mechanism is now left in the compiler proper
545		- BackTrace module is a plugin which is NOT plugged in by default
546		- Coverage module is another such plugin
547
548		To get the benefits of any of these plugin modules, the code in
549		question must be compiled with tdp instrumentation turned on.  This
550		can be done by setting SMLofNJ.Internals.TDP.mode to true.
551		(The ref cell is also controlled via the -Ctdp.instrument=... switch.)
552
553		Plugins are selected at link time.  (Pre-compiled instrumented code
554		can be re-loaded with different plugins in effect.)  When an
555		instrumented module is linked, whatever plugins are at that time
556		enabled will come into effect for that module.
557
558		To enable the back-trace plugin, load library $/trace-debug-profile.cm
559		and invoke BackTrace.install() (e.g., from the interactive prompt).
560		To enable the coverage plugin, load the same library and invoke
561		Coverage.install().
562
563		Back-traces are generated automatically on uncaught exceptions and
564		when the code in question explicitly invokes BackTrace.trigger().
565
566		Coverage (and execution frequency-) information must be queried
567		explicitly by calling Coverage.not_covered and Coverage.hot_spots.
568
569		----------------------------------------------------------------------
570		Name: Matthias Blume (blume (at) tti - c (dot) org)
571		Date: 2004/10/14 17:40:00 CDT
572		Tag: blume-20041014-tdp-core
573		Description:
574
575		Snapshot of a significant overhaul of how the trace/debug/profile support
576		is hooked into the system (specifically: Core and SMLofNJ.Internals).
577
578		----------------------------------------------------------------------
579		Name: Matthias Blume (blume (at) tti - c (dot) org)
580		Date: 2004/10/13 16:34:00 CDT
581		Tag: blume-20041013-tdp
582		Description:
583
584		Some rationalization of names:
585
586		structure BTrace -> structure TDPInstrument
587		etc.
588
589		This is is preparation of using the original back-trace
590		instrumentation for other purposes.  "TDP" stands for
591		Trace/Debug/Profile.
592
593		The control flag controlling whether instrumentation is on or off is now
594		registered under a different name, so instead of running sml as
595
596		sml -Cinstrument.btrace-mode=true
597
598		one has to say
599
600		sml -Ctdp.instrument=true
601
602		----------------------------------------------------------------------
603		Name: Matthias Blume (blume (at) tti - c (dot) org)
604		Date: 2004/10/11 16:37:00 CDT
605		Tag: blume-20041011-regions
606		Description:
607
608		Made some minor modifications to elabcore.sml to have source regions
609		be propagated more tightly -- resulting in better (i.e., smaller)
610		regions being reported in error- and debug messages.
611
612		----------------------------------------------------------------------
613		Name: Matthias Blume (blume (at) tti - c (dot) org)
614		Date: 2004/10/08 22:50:00 CDT
615		Tag: blume-20041008-cmkw
616		Description:
617
618		Fixed handling of keywords in .cm files: After seeing "is" the lexer
619		treats subsequent occurrences of "group", "library", "source", "is",
620		"*", and "-" as ordinary identifiers rather than keywords.
621
622		Most seriously, this fixes a problem with CM's "shell" tool.  The tool
623		is supposed to accept a tool argument called "source", but this did
624		not work because of the clash with the keyword.
625
626		----------------------------------------------------------------------
627		Name: Matthias Blume (blume (at) tti - c (dot) org)
628		Date: 2004/10/07 16:00:00 CDT
629		Tag: blume-20041007-cleanup
630		Description:
631
632		Assorted cleanup work:
633
634		- got rid of intstrmap in favor of using the library's
635		hash table implementation
636		- threw out most of the pathnames stuff, as it was not used anyway
637		- simplified tokentable implementation
638		- fixed some minor spelling errors
639
640		----------------------------------------------------------------------
641		Name: Matthias Blume (blume (at) tti - c (dot) org)
642		Date: 2004/10/06 15:15:15 CDT
643		Tag: blume-20041006-handler
644		Description:
645
646		Cleaned up the absyn to reflect the invariant that HANDLE always
647		carries a FNexp as part of the type definition.  This eliminates some
648		superfluous sanity checks at runtime down the road.
649
650		Some minor cleanup of the btrace code.
651
652		----------------------------------------------------------------------
653		Name: Matthias Blume (blume (at) tti - c (dot) org)
654		Date: 2004/10/01 10:20:30 CDT
655		Tag: blume-20041001-slave
656		Description:
657
658		Added hack to make slave mode work in the presence of the version
659		tool.  (Still, since the master does two passes over the code for
660		CMB.make, the release number gets bumped twice when slaves are
661		attached.  I don't know if this is worth fixing...)
662
663		----------------------------------------------------------------------
664		Name: Matthias Blume (blume (at) tti - c (dot) org)
665		Date: 2004/09/30 10:55:00 CDT
666		Tag: blume-20040930-version
667		Description:
668
669		* Moved the "version" magic into its own little library under
670		src/system/smlnj/internal.  This avoids expensive reconstruction of
671		a stable src/compiler/core.cm.
672
673		* At the same time, structure CompilerVersion is now known as
674		structure SMLNJVersion.
675
676		* Arranged for the version tool to NOT kick in when rebuilding the system
677		(makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
678		Also, loading the versiontool does not work when rebuilding the system
679		because CM is not properly initialized at that time.
680
681		----------------------------------------------------------------------
682		Name: Matthias Blume (blume (at) tti - c (dot) org)
683		Date: 2004/09/29 14:00:00 CDT
684		Tag: blume-20040929-autoversion
685		Description:
686
687		Implemented some CM magic to have
688		file src/compiler/TopLevel/main/version.sml
689		generated automagically.
690		The version is taken from two files: config/version and config/release.
691		The first is expected to contain a two-part version number such as 110.49.
692		The second should contain a single number, but it may be missing.
693
694		If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
695		time the version tool is loaded (which is the first time you say CMB.make),
696		then the tool will increment the value stored in config/release every
697		time CMB.make is invoked.
698
699		The binfile format is now insensitive to anything beyond the first
700		two components of a version number, so bumping the release does not render
701		binfiles incompatible.  Auto-bumping can be used to keep track of versions
702		during development without invalidating existing binfiles.
703
704		In any case, every CMB.make updates the date information in version.sml.
705		(This is the date that is printed in the banner.)
706
707		----------------------------------------------------------------------
708		Name: Matthias Blume (blume (at) tti - c (dot) org)
709		Date: 2004/09/28 10:53:00 CDT
710		Tag: blume-20040928-controls
711		Description:
712
713		Some cleanup of the controls code.
714
715		----------------------------------------------------------------------
716		Name: Matthias Blume (blume (at) tti - c (dot) org)
717		Date: 2004/09/27 22:08:00 CDT
718		Tag: blume-20040927-controls
719		Description:
720
721		Added two pieces of functionality to the Controls interface:
722
723		1.   val save'restore: 'a control -> unit -> unit
724
725		grabs the current value of the control in stage 1 and restores it
726		in stage 2.
727
728		2.   val set' : 'a control * 'a -> unit -> unit
729
730		stores the given value into the control in stage 2 (i.e., delayed)
731		but does all error checking in stage 1.
732		(This is for string controls that need to do parse their argument --
733		something that might fail.  In some cases, notably in CM, one
734		already knows the intended argument but wants to delay the actual
735		assignment until a time when error recovery would be more difficult.)
736
737		Changed the handling of controls in tool arguments to classes "sml" and
738		"lazysml":
739		- use Controls.save'restore as a more robust way of restoring the
740		old value (in particular: without having to re-parse the string)
741		- use controls to handle the "overload" keyword in the init group
742		(I believe this change actually fixes a long-standing obscure bug.)
743
744		----------------------------------------------------------------------
745		Name: Matthias Blume (blume (at) tti - c (dot) org)
746		Date: 2004/09/27 17:00:00 CDT
747		Tag: blume-20040927-lazysml
748		Description:
749
750		Added a new tool class called "lazysml" to CM's tool chest.  The only
751		difference to "sml" is that compilation is done with Control.lazysml
752		set to true.  A source of class "lazysml" is automatically recognized
753		by a file name suffix of ".lml".
754
755		In addition to the above feature, the original class "sml" now also
756		supports a tool argument "lazy" which has the same effect.  As a
757		result, the following three lines are equivalent:
758
759		foo.sml : lazysml
760		foo.sml : sml (lazy)
761		foo.sml (lazy)
762
763		The setting goes into effect both during parsing and during
764		compilation.  The original setting is restored right after parsing and
765		after compilation, respectively.
766
767		In addition to all the above, there is also a general mechanism to set
768		ANY of the "controls" that are available at the command line via
769		"-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
770		apply as well. (In fact, "lazy" is implemented as a special case of
771		the general mechanism.)
772
773		The .cm file syntax uses a new keyword tool argument called "with".
774		There are several ways of indicating the desired settings:
775
776		foo.sml (with:parser.quotations=true)
777		foo.sml (with:(name:parser.quotations value:true))
778		foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
779		foo.sml (with:(name1=value1 name2=value2 ...))
780		foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
781
782		etc.
783
784		Another possible abbreviation is to leave out the =v or value:v part
785		if the name refers to a boolean control (in which case the value is
786		taken to be true).  Thus, one could get lazy sml also by saying:
787
788		foo.sml (with:parser.lazy-keyword=true)
789		foo.sml (with:parser.lazy-keyword)
790		foo.sml (with:(name:parser.lazy-keyword value:true))
791		foo.sml (with:(name:parser.lazy-keyword))
792
793		----------------------------------------------------------------------
794		Name: Matthias Blume (blume (at) tti - c (dot) org)
795		Date: 2004/09/24 16:22:00 CDT
796		Tag: blume-20040924-ppc-long-branch
797		Description:
798
799		Turned message about "emiting long form of branch" off by default.
800		Added a control flag to turn it back on when desired.
801
802		----------------------------------------------------------------------
803		Name: Matthias Blume (blume (at) tti - c (dot) org)
804		Date: 2004/09/24 16:05:00 CDT
805		Tag: blume-20040924-rounding
806		Description:
807
808		Applied patch for setting rounding modes under Mac OS X.  Thanks to
809		Melissa O'Neill for providing the code!
810
811		----------------------------------------------------------------------
812		Name: Matthias Blume (blume (at) tti - c (dot) org)
813		Date: 2004/09/23 17:30:00 CDT
814		Tag: blume-20040923-envvars
815		Description:
816
817		1. Changed definition of type ControlRegistry.registry_tree to
818		include control_info (i.e., the name of the controlling environment
819		variable).
820
821		2. Added command-line flags -e and -E to print the names of environment
822		variables that can be used to control internal settings.
823		(This uses the new API mentioned in 1.)
824
825		----------------------------------------------------------------------
826		Name: Matthias Blume (blume (at) tti - c (dot) org)
827		Date: 2004/09/13 16:50:00 CDT
828		Tag: Release_110_49
829		Description:
830
831		New working version (110.49).  NEW BOOTFILES!
832
833		----------------------------------------------------------------------
834		Name: Matthias Blume
835		Date: 2004/09/13 16:20:00 CDT
836		Tag: blume-20040913-config-mlrisc
837		Description:
838
839		Put target "mlrisc" back into the default list.
840		(There is no harm in having it, and some users have expressed their
841		wish to have "mlrisc" included by default.)
842
843		----------------------------------------------------------------------
844		Name: John Reppy
845		Date: 2004/09/13
846		Tag: jhr-20040913-signals
847		Description:
848
849		Fixed the signal masking code to properly nest mask/unmask operations
850		on a per-signal basis.
851
852		----------------------------------------------------------------------
853		Name: Matthias Blume (blume (at) tti - c (dot) org)
854		Date: 2004/09/08 13:20:00 CDT
855		Tag: blume-20040908-heap-magic
856		Description:
857
858		Bumped the heap macig number to 0x09082004 to account for the changed
859		layout of the ML frame under MacOS X.
860
861		----------------------------------------------------------------------
862		Name: Allen Leung (leunga (at) reservoir (dot) com)
863		Date: 2004/09/03 11:26:00 EST
864		Tag: leunga-20040903-cygwin-install
865		Description:
866
867		Added a patch to _arch-n-opsys to enable the Cygwin runtime.
868		The Cygwin runtime is turned on by setting the environment
869		variable SMLNJ_CYGWIN_RUNTIME to 1.
870
871		----------------------------------------------------------------------
872		Name: Matthias Blume (blume (at) tti - c (dot) org)
873		Date: 2004/08/31 17:15:00 CDT
874		Tag: blume-20040831-core
875		Description:
876
877		Added some exports to src/compiler/core.cm upon request by J. Joemann.
878
879		----------------------------------------------------------------------
880		Name: Matthias Blume (blume (at) tti - c (dot) org)
881		Date: 2004/08/30 17:55:00 CDT
882		Tag: blume-20040830-installer
883		Description:
884
885		Upon request by Johannes Joemann:
886
887		- improved ML code of installer to fall back to coping when renaming
888		fails (i.e., when source and target are on different file systems);
889		the code compiles but has yet to be tested in anger
890		- removed mlrisc from list of default targets (config/targets)
891
892		----------------------------------------------------------------------
893		Name: Matthias Blume (blume (at) tti - c (dot) org)
894		Date: 2004/08/27 17:20:00 CDT
895		Tag: blume-20040827-ptreql
896		Description:
897
898		Added ptreql primop to structure InlineT (upon request from Larry
899		Paulson).
900
901		----------------------------------------------------------------------
902		Name: Allen Leung (leunga (at) reservoir (dot) com)
903		Date: 2004/08/15 21:21:00 EST
904		Tag: leunga-110_48-udgraph
905		Description:
906
907		Another bug fix from Carl Hauser:
908
909		diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
910		> 48c48
911		> <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
912		> e::L)
913		> ---
914		> >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
915		> Without this, any deletion of an edge in an undirected graph does severe
916		> violence to the graph.
917
918		----------------------------------------------------------------------
919		Name: Allen Leung (leunga (at) reservoir (dot) com)
920		Date: 2004/08/10 23:35:00 EST
921		Tag: leunga-110_48-ppc
922		Description:
923
924		The IBM/MacOS syntax switch on PPC was incorrectly swapped.
925
926		----------------------------------------------------------------------
927		Name: Matthias Blume (blume (at) tti - c (dot) org)
928		Date: 2004/08/10 12:00:00 CDT
929		Tag: Release_110_48
930		Description:
931
932		New working version (110.48).  NEW BOOTFILES!
933
934		----------------------------------------------------------------------
935		Name: Allen Leung (leunga (at) reservoir (dot) com)
936		Date: 2004/08/09 12:21:00 EST
937		Tag: leunga-110_47-dijsktra
938		Description:
939
940		Bug fix from Carl Hauser:
941
942		single_source_shortest_paths in dijkstra.sml was observed to get wrong
943		answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
944
945		The problem is that following the expression A.update(dist,s,Num.zero)
946		it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
947
948		----------------------------------------------------------------------
949		Name: Matthias Blume (blume (at) tti - c (dot) org)
950		Date: 2004/08/06 18:10:00 CDT
951		Tag: blume-20040806-cmdline
952		Description:
953
954		Fiddled with handling of command-line options:
955
956		* sml now quits after processing the command line
957		if -H, -S, -h<n>, or -s<n> appears as the last
958		command-line argument
959		* a new option -q terminates the session when encountered on
960		the command line; subsequent arguments will be ignored
961		* bug fixes: short (erroneous) arguments are no longer ignored
962		completely
963
964		----------------------------------------------------------------------
965		Name: Allen Leung (leunga (at) reservoir (dot) com)
966		Date: 2004/08/04 18:17:00 EST
967		Tag: leunga-110_47-ppc-ibm-asm
968		Description:
969
970		- Added minimal IBM assembly syntax support for PowerPC.
971
972		- Cygwin: manually changed the file cygwin.def.  Some exported symbols have
973		been altered in the runtime.  We need an automatic way to keep the file
974		in sync.
975
976		----------------------------------------------------------------------
977		Name: Matthias Blume (blume (at) tti - c (dot) org)
978		Date: 2004/08/04 14:00:00 CDT
979		Tag: Release_110_47
980		Description:
981
982		New working version (110.47).  NEW BOOTFILES!
983
984		----------------------------------------------------------------------
985		Name: Matthias Blume (blume (at) tti - c (dot) org)
986		Date: 2004/08/03 14:25:00 CDT
987		Tag: blume-20040803-callingconv
988		Description:
989
990		Added low-level support for choosing C calling conventions by
991		twiddling the type of rawccall.  (See
992		src/compiler/Semant/types/cproto.sml for details.)
993
994		----------------------------------------------------------------------
995		Name: Matthias Blume (blume (at) tti - c (dot) org)
996		Date: 2004/08/02 15:55:00 CDT
997		Tag: blume-20040802-backout
998		Description:
999
1000		Backed out of change to win32-filesys.c.  The earlier patch to
1001		get_file_time caused CM to produce files with the wrong time stamp.
1002
1003		----------------------------------------------------------------------
1004		Name: Matthias Blume (blume (at) tti - c (dot) org)
1005		Date: 2004/08/02 14:45:00 CDT
1006		Tag: blume-20040802-nlffi-win32
1007		Description:
1008
1009		Added NLFFI support for Win32, adapted from a patch provided by David
1010		Hansel.  This is currently completely untested.  Also, the issue
1011		concerning stdcall vs. ccall is still unresolved.
1012
1013		----------------------------------------------------------------------
1014		Name: Matthias Blume (blume (at) tti - c (dot) org)
1015		Date: 2004/07/30 17:55:00 CDT
1016		Tag: blume-20040730-various
1017		Description:
1018
1019		Gearing up towards 110.47...
1020
1021		- various minor bugfixes to ml-nlffigen
1022		- a beginning of a manual for nlffi
1023
1024		- eliminated 'export name=value' in config/install.sh as this does
1025		not work with certain versions of /bin/sh
1026		(Thanks to David King at Motorola for catching this.)
1027
1028		- several bugfixes provided or suggested by David Hansel at Reactive Systems:
1029		- added a test for tm==NULL to gmtime.c and localtime.c
1030		- applied patch for incorrect GetFileTime under win32
1031		- toSeconds -> toMilliseconds in Win32/win32-process.sml
1032
1033		----------------------------------------------------------------------
1034		Name: Matthias Blume (blume (at) tti - c (dot) org)
1035		Date: 2004/07/21 18:20:00 CDT
1036		Tag: blume-20040721-nlffigen
1037		Description:
1038
1039		- Fixed minor issue in ml-nlffigen: Now generate structure T_foo
1040		for a typedef to an incomplete type, but leave out the "typ" member.
1041		(This is just for consistency.)
1042		- Started to produce what is supposed to become better (i.e., comprehensive)
1043		documentation of what ml-nlffigen does and produces.
1044
1045		----------------------------------------------------------------------
1046		Name: Matthias Blume (blume (at) tti - c (dot) org)
1047		Date: 2004/07/14 16:25:00 CDT
1048		Tag: blume-20040714-union
1049		Description:
1050
1051		Added C_UNION to c-calls/c-types.sml and updated the machinery
1052		(ml-nlffigen, cproto.sml) that conveys C function interface
1053		information to the code generator.
1054
1055		However, the actual architecture-specific implementation of function
1056		arguments and results that are C unions is still not implemented.
1057
1058		----------------------------------------------------------------------
1059		Name: Allen Leung (leunga (at) reservoir (dot) com)
1060		Date: 2004/07/14 14:38:00 EST
1061		Tag: leunga-110_46_1-ppc-lwzu
1062		Description:
1063
1064		Added these instructions to the PowerPC architecture:
1065		LBZU(X), LHZU(X), LWZU(X),
1066		STWU(X), STFDU, STFSU
1067
1068		etc...
1069
1070		Note: I haven't added their instruction encoding into the description.
1071
1072		----------------------------------------------------------------------
1073		Name: Allen Leung (leunga (at) reservoir (dot) com)
1074		Date: 2004/07/13 15:04:00 EST
1075		Tag: leunga-110_46_1-ppc-lwarx
1076		Description:
1077
1078		Added the two instructions LWARX and STWCX to the PowerPC
1079		instruction set.
1080
1081		A (untested) rewrite of loop-structure.sml.  The old version
1082		is completely broken.
1083
1084		----------------------------------------------------------------------
1085	Name: Matthias Blume (blume (at) tti - c (dot) org)	Name: Matthias Blume (blume (at) tti - c (dot) org)
1086	Date: 2004/07/13 13:50:00 CDT	Date: 2004/07/13 13:50:00 CDT
1087	Tag: blume-20040713-nlffi	Tag: blume-20040713-nlffi

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1537   changed lines   Added in v.1785

---

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