Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1399   changed lines   Added in v.1795

---

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