Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1614   changed lines   Added in v.1761

---

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