Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1220, Wed May 22 15:04:10 2002 UTC	revision 1653, Fri Oct 15 20:45:02 2004 UTC
#	Line 13	Line 13
13	Description:	Description:
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16		Name: Matthias Blume (blume (at) tti - c (dot) org)
17		Date: 2004/10/15 15:45:00 CDT
18		Tag: blume-20041015-coverage
19		Description:
20
21		* Test coverage tool added!
22		* Further reorganization of tracing-, debugging-, and profiling support:
23
24		- moved original BTImp -- now called BackTrace -- into a separate
25		library called $/trace-debug-profile.cm
26		- eliminated all mentions of BTrace from SMLofNJ.Internals
27		- only the instrumentation mechanism is now left in the compiler proper
28		- BackTrace module is a plugin which is NOT plugged in by default
29		- Coverage module is another such plugin
30
31		To get the benefits of any of these plugin modules, the code in
32		question must be compiled with tdp instrumentation turned on.  This
33		can be done by setting SMLofNJ.Internals.TDP.mode to true.
34		(The ref cell is also controlled via the -Ctdp.instrument=... switch.)
35
36		Plugins are selected at link time.  (Pre-compiled instrumented code
37		can be re-loaded with different plugins in effect.)  When an
38		instrumented module is linked, whatever plugins are at that time
39		enabled will come into effect for that module.
40
41		To enable the back-trace plugin, load library $/trace-debug-profile.cm
42		and invoke BackTrace.install() (e.g., from the interactive prompt).
43		To enable the coverage plugin, load the same library and invoke
44		Coverage.install().
45
46		Back-traces are generated automatically on uncaught exceptions and
47		when the code in question explicitly invokes BackTrace.trigger().
48
49		Coverage (and execution frequency-) information must be queried
50		explicitly by calling Coverage.not_covered and Coverage.hot_spots.
51
52		----------------------------------------------------------------------
53		Name: Matthias Blume (blume (at) tti - c (dot) org)
54		Date: 2004/10/14 17:40:00 CDT
55		Tag: blume-20041014-tdp-core
56		Description:
57
58		Snapshot of a significant overhaul of how the trace/debug/profile support
59		is hooked into the system (specifically: Core and SMLofNJ.Internals).
60
61		----------------------------------------------------------------------
62		Name: Matthias Blume (blume (at) tti - c (dot) org)
63		Date: 2004/10/13 16:34:00 CDT
64		Tag: blume-20041013-tdp
65		Description:
66
67		Some rationalization of names:
68
69		structure BTrace -> structure TDPInstrument
70		etc.
71
72		This is is preparation of using the original back-trace
73		instrumentation for other purposes.  "TDP" stands for
74		Trace/Debug/Profile.
75
76		The control flag controlling whether instrumentation is on or off is now
77		registered under a different name, so instead of running sml as
78
79		sml -Cinstrument.btrace-mode=true
80
81		one has to say
82
83		sml -Ctdp.instrument=true
84
85		----------------------------------------------------------------------
86		Name: Matthias Blume (blume (at) tti - c (dot) org)
87		Date: 2004/10/11 16:37:00 CDT
88		Tag: blume-20041011-regions
89		Description:
90
91		Made some minor modifications to elabcore.sml to have source regions
92		be propagated more tightly -- resulting in better (i.e., smaller)
93		regions being reported in error- and debug messages.
94
95		----------------------------------------------------------------------
96		Name: Matthias Blume (blume (at) tti - c (dot) org)
97		Date: 2004/10/08 22:50:00 CDT
98		Tag: blume-20041008-cmkw
99		Description:
100
101		Fixed handling of keywords in .cm files: After seeing "is" the lexer
102		treats subsequent occurrences of "group", "library", "source", "is",
103		"*", and "-" as ordinary identifiers rather than keywords.
104
105		Most seriously, this fixes a problem with CM's "shell" tool.  The tool
106		is supposed to accept a tool argument called "source", but this did
107		not work because of the clash with the keyword.
108
109		----------------------------------------------------------------------
110		Name: Matthias Blume (blume (at) tti - c (dot) org)
111		Date: 2004/10/07 16:00:00 CDT
112		Tag: blume-20041007-cleanup
113		Description:
114
115		Assorted cleanup work:
116
117		- got rid of intstrmap in favor of using the library's
118		hash table implementation
119		- threw out most of the pathnames stuff, as it was not used anyway
120		- simplified tokentable implementation
121		- fixed some minor spelling errors
122
123		----------------------------------------------------------------------
124		Name: Matthias Blume (blume (at) tti - c (dot) org)
125		Date: 2004/10/06 15:15:15 CDT
126		Tag: blume-20041006-handler
127		Description:
128
129		Cleaned up the absyn to reflect the invariant that HANDLE always
130		carries a FNexp as part of the type definition.  This eliminates some
131		superfluous sanity checks at runtime down the road.
132
133		Some minor cleanup of the btrace code.
134
135		----------------------------------------------------------------------
136		Name: Matthias Blume (blume (at) tti - c (dot) org)
137		Date: 2004/10/01 10:20:30 CDT
138		Tag: blume-20041001-slave
139		Description:
140
141		Added hack to make slave mode work in the presence of the version
142		tool.  (Still, since the master does two passes over the code for
143		CMB.make, the release number gets bumped twice when slaves are
144		attached.  I don't know if this is worth fixing...)
145
146		----------------------------------------------------------------------
147		Name: Matthias Blume (blume (at) tti - c (dot) org)
148		Date: 2004/09/30 10:55:00 CDT
149		Tag: blume-20040930-version
150		Description:
151
152		* Moved the "version" magic into its own little library under
153		src/system/smlnj/internal.  This avoids expensive reconstruction
154		of a stable src/compiler/core.cm.
155
156		* At the same time, structure CompilerVersion is now known as structure
157		SMLNJVersion.
158
159		* Arranged for the version tool to NOT kick in when rebuilding the system
160		(makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
161		Also, loading the versiontool does not work when rebuilding the system
162		because CM is not properly initialized at that time.
163
164		----------------------------------------------------------------------
165		Name: Matthias Blume (blume (at) tti - c (dot) org)
166		Date: 2004/09/29 14:00:00 CDT
167		Tag: blume-20040929-autoversion
168		Description:
169
170		Implemented some CM magic to have
171		file src/compiler/TopLevel/main/version.sml
172		generated automagically.
173		The version is taken from two files: config/version and config/release.
174		The first is expected to contain a two-part version number such as 110.49.
175		The second should contain a single number, but it may be missing.
176
177		If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
178		time the version tool is loaded (which is the first time you say CMB.make),
179		then the tool will increment the value stored in config/release every
180		time CMB.make is invoked.
181
182		The binfile format is now insensitive to anything beyond the first
183		two components of a version number, so bumping the release does not render
184		binfiles incompatible.  Auto-bumping can be used to keep track of versions
185		during development without invalidating existing binfiles.
186
187		In any case, every CMB.make updates the date information in version.sml.
188		(This is the date that is printed in the banner.)
189
190		----------------------------------------------------------------------
191		Name: Matthias Blume (blume (at) tti - c (dot) org)
192		Date: 2004/09/28 10:53:00 CDT
193		Tag: blume-20040928-controls
194		Description:
195
196		Some cleanup of the controls code.
197
198		----------------------------------------------------------------------
199		Name: Matthias Blume (blume (at) tti - c (dot) org)
200		Date: 2004/09/27 22:08:00 CDT
201		Tag: blume-20040927-controls
202		Description:
203
204		Added two pieces of functionality to the Controls interface:
205
206		1.   val save'restore: 'a control -> unit -> unit
207
208		grabs the current value of the control in stage 1 and restores it
209		in stage 2.
210
211		2.   val set' : 'a control * 'a -> unit -> unit
212
213		stores the given value into the control in stage 2 (i.e., delayed)
214		but does all error checking in stage 1.
215		(This is for string controls that need to do parse their argument --
216		something that might fail.  In some cases, notably in CM, one
217		already knows the intended argument but wants to delay the actual
218		assignment until a time when error recovery would be more difficult.)
219
220		Changed the handling of controls in tool arguments to classes "sml" and
221		"lazysml":
222		- use Controls.save'restore as a more robust way of restoring the
223		old value (in particular: without having to re-parse the string)
224		- use controls to handle the "overload" keyword in the init group
225		(I believe this change actually fixes a long-standing obscure bug.)
226
227		----------------------------------------------------------------------
228		Name: Matthias Blume (blume (at) tti - c (dot) org)
229		Date: 2004/09/27 17:00:00 CDT
230		Tag: blume-20040927-lazysml
231		Description:
232
233		Added a new tool class called "lazysml" to CM's tool chest.  The only
234		difference to "sml" is that compilation is done with Control.lazysml
235		set to true.  A source of class "lazysml" is automatically recognized
236		by a file name suffix of ".lml".
237
238		In addition to the above feature, the original class "sml" now also
239		supports a tool argument "lazy" which has the same effect.  As a
240		result, the following three lines are equivalent:
241
242		foo.sml : lazysml
243		foo.sml : sml (lazy)
244		foo.sml (lazy)
245
246		The setting goes into effect both during parsing and during
247		compilation.  The original setting is restored right after parsing and
248		after compilation, respectively.
249
250		In addition to all the above, there is also a general mechanism to set
251		ANY of the "controls" that are available at the command line via
252		"-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
253		apply as well. (In fact, "lazy" is implemented as a special case of
254		the general mechanism.)
255
256		The .cm file syntax uses a new keyword tool argument called "with".
257		There are several ways of indicating the desired settings:
258
259		foo.sml (with:parser.quotations=true)
260		foo.sml (with:(name:parser.quotations value:true))
261		foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
262		foo.sml (with:(name1=value1 name2=value2 ...))
263		foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
264
265		etc.
266
267		Another possible abbreviation is to leave out the =v or value:v part
268		if the name refers to a boolean control (in which case the value is
269		taken to be true).  Thus, one could get lazy sml also by saying:
270
271		foo.sml (with:parser.lazy-keyword=true)
272		foo.sml (with:parser.lazy-keyword)
273		foo.sml (with:(name:parser.lazy-keyword value:true))
274		foo.sml (with:(name:parser.lazy-keyword))
275
276		----------------------------------------------------------------------
277		Name: Matthias Blume (blume (at) tti - c (dot) org)
278		Date: 2004/09/24 16:22:00 CDT
279		Tag: blume-20040924-ppc-long-branch
280		Description:
281
282		Turned message about "emiting long form of branch" off by default.
283		Added a control flag to turn it back on when desired.
284
285		----------------------------------------------------------------------
286		Name: Matthias Blume (blume (at) tti - c (dot) org)
287		Date: 2004/09/24 16:05:00 CDT
288		Tag: blume-20040924-rounding
289		Description:
290
291		Applied patch for setting rounding modes under Mac OS X.  Thanks to
292		Melissa O'Neill for providing the code!
293
294		----------------------------------------------------------------------
295		Name: Matthias Blume (blume (at) tti - c (dot) org)
296		Date: 2004/09/23 17:30:00 CDT
297		Tag: blume-20040923-envvars
298		Description:
299
300		1. Changed definition of type ControlRegistry.registry_tree to
301		include control_info (i.e., the name of the controlling environment
302		variable).
303
304		2. Added command-line flags -e and -E to print the names of environment
305		variables that can be used to control internal settings.
306		(This uses the new API mentioned in 1.)
307
308		----------------------------------------------------------------------
309		Name: Matthias Blume (blume (at) tti - c (dot) org)
310		Date: 2004/09/13 16:50:00 CDT
311		Tag: Release_110_49
312		Description:
313
314		New working version (110.49).  NEW BOOTFILES!
315
316		----------------------------------------------------------------------
317		Name: Matthias Blume
318		Date: 2004/09/13 16:20:00 CDT
319		Tag: blume-20040913-config-mlrisc
320		Description:
321
322		Put target "mlrisc" back into the default list.
323		(There is no harm in having it, and some users have expressed their
324		wish to have "mlrisc" included by default.)
325
326		----------------------------------------------------------------------
327		Name: John Reppy
328		Date: 2004/09/13
329		Tag: jhr-20040913-signals
330		Description:
331
332		Fixed the signal masking code to properly nest mask/unmask operations
333		on a per-signal basis.
334
335		----------------------------------------------------------------------
336		Name: Matthias Blume (blume (at) tti - c (dot) org)
337		Date: 2004/09/08 13:20:00 CDT
338		Tag: blume-20040908-heap-magic
339		Description:
340
341		Bumped the heap macig number to 0x09082004 to account for the changed
342		layout of the ML frame under MacOS X.
343
344		----------------------------------------------------------------------
345		Name: Allen Leung (leunga (at) reservoir (dot) com)
346		Date: 2004/09/03 11:26:00 EST
347		Tag: leunga-20040903-cygwin-install
348		Description:
349
350		Added a patch to _arch-n-opsys to enable the Cygwin runtime.
351		The Cygwin runtime is turned on by setting the environment
352		variable SMLNJ_CYGWIN_RUNTIME to 1.
353
354		----------------------------------------------------------------------
355		Name: Matthias Blume (blume (at) tti - c (dot) org)
356		Date: 2004/08/31 17:15:00 CDT
357		Tag: blume-20040831-core
358		Description:
359
360		Added some exports to src/compiler/core.cm upon request by J. Joemann.
361
362		----------------------------------------------------------------------
363		Name: Matthias Blume (blume (at) tti - c (dot) org)
364		Date: 2004/08/30 17:55:00 CDT
365		Tag: blume-20040830-installer
366		Description:
367
368		Upon request by Johannes Joemann:
369
370		- improved ML code of installer to fall back to coping when renaming
371		fails (i.e., when source and target are on different file systems);
372		the code compiles but has yet to be tested in anger
373		- removed mlrisc from list of default targets (config/targets)
374
375		----------------------------------------------------------------------
376		Name: Matthias Blume (blume (at) tti - c (dot) org)
377		Date: 2004/08/27 17:20:00 CDT
378		Tag: blume-20040827-ptreql
379		Description:
380
381		Added ptreql primop to structure InlineT (upon request from Larry
382		Paulson).
383
384		----------------------------------------------------------------------
385		Name: Allen Leung (leunga (at) reservoir (dot) com)
386		Date: 2004/08/15 21:21:00 EST
387		Tag: leunga-110_48-udgraph
388		Description:
389
390		Another bug fix from Carl Hauser:
391
392		diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
393		> 48c48
394		> <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
395		> e::L)
396		> ---
397		> >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
398		> Without this, any deletion of an edge in an undirected graph does severe
399		> violence to the graph.
400
401		----------------------------------------------------------------------
402		Name: Allen Leung (leunga (at) reservoir (dot) com)
403		Date: 2004/08/10 23:35:00 EST
404		Tag: leunga-110_48-ppc
405		Description:
406
407		The IBM/MacOS syntax switch on PPC was incorrectly swapped.
408
409		----------------------------------------------------------------------
410		Name: Matthias Blume (blume (at) tti - c (dot) org)
411		Date: 2004/08/10 12:00:00 CDT
412		Tag: Release_110_48
413		Description:
414
415		New working version (110.48).  NEW BOOTFILES!
416
417		----------------------------------------------------------------------
418		Name: Allen Leung (leunga (at) reservoir (dot) com)
419		Date: 2004/08/09 12:21:00 EST
420		Tag: leunga-110_47-dijsktra
421		Description:
422
423		Bug fix from Carl Hauser:
424
425		single_source_shortest_paths in dijkstra.sml was observed to get wrong
426		answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
427
428		The problem is that following the expression A.update(dist,s,Num.zero)
429		it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
430
431		----------------------------------------------------------------------
432		Name: Matthias Blume (blume (at) tti - c (dot) org)
433		Date: 2004/08/06 18:10:00 CDT
434		Tag: blume-20040806-cmdline
435		Description:
436
437		Fiddled with handling of command-line options:
438
439		* sml now quits after processing the command line
440		if -H, -S, -h<n>, or -s<n> appears as the last
441		command-line argument
442		* a new option -q terminates the session when encountered on
443		the command line; subsequent arguments will be ignored
444		* bug fixes: short (erroneous) arguments are no longer ignored
445		completely
446
447		----------------------------------------------------------------------
448		Name: Allen Leung (leunga (at) reservoir (dot) com)
449		Date: 2004/08/04 18:17:00 EST
450		Tag: leunga-110_47-ppc-ibm-asm
451		Description:
452
453		- Added minimal IBM assembly syntax support for PowerPC.
454
455		- Cygwin: manually changed the file cygwin.def.  Some exported symbols have
456		been altered in the runtime.  We need an automatic way to keep the file
457		in sync.
458
459		----------------------------------------------------------------------
460		Name: Matthias Blume (blume (at) tti - c (dot) org)
461		Date: 2004/08/04 14:00:00 CDT
462		Tag: Release_110_47
463		Description:
464
465		New working version (110.47).  NEW BOOTFILES!
466
467		----------------------------------------------------------------------
468		Name: Matthias Blume (blume (at) tti - c (dot) org)
469		Date: 2004/08/03 14:25:00 CDT
470		Tag: blume-20040803-callingconv
471		Description:
472
473		Added low-level support for choosing C calling conventions by
474		twiddling the type of rawccall.  (See
475		src/compiler/Semant/types/cproto.sml for details.)
476
477		----------------------------------------------------------------------
478		Name: Matthias Blume (blume (at) tti - c (dot) org)
479		Date: 2004/08/02 15:55:00 CDT
480		Tag: blume-20040802-backout
481		Description:
482
483		Backed out of change to win32-filesys.c.  The earlier patch to
484		get_file_time caused CM to produce files with the wrong time stamp.
485
486		----------------------------------------------------------------------
487		Name: Matthias Blume (blume (at) tti - c (dot) org)
488		Date: 2004/08/02 14:45:00 CDT
489		Tag: blume-20040802-nlffi-win32
490		Description:
491
492		Added NLFFI support for Win32, adapted from a patch provided by David
493		Hansel.  This is currently completely untested.  Also, the issue
494		concerning stdcall vs. ccall is still unresolved.
495
496		----------------------------------------------------------------------
497		Name: Matthias Blume (blume (at) tti - c (dot) org)
498		Date: 2004/07/30 17:55:00 CDT
499		Tag: blume-20040730-various
500		Description:
501
502		Gearing up towards 110.47...
503
504		- various minor bugfixes to ml-nlffigen
505		- a beginning of a manual for nlffi
506
507		- eliminated 'export name=value' in config/install.sh as this does
508		not work with certain versions of /bin/sh
509		(Thanks to David King at Motorola for catching this.)
510
511		- several bugfixes provided or suggested by David Hansel at Reactive Systems:
512		- added a test for tm==NULL to gmtime.c and localtime.c
513		- applied patch for incorrect GetFileTime under win32
514		- toSeconds -> toMilliseconds in Win32/win32-process.sml
515
516		----------------------------------------------------------------------
517		Name: Matthias Blume (blume (at) tti - c (dot) org)
518		Date: 2004/07/21 18:20:00 CDT
519		Tag: blume-20040721-nlffigen
520		Description:
521
522		- Fixed minor issue in ml-nlffigen: Now generate structure T_foo
523		for a typedef to an incomplete type, but leave out the "typ" member.
524		(This is just for consistency.)
525		- Started to produce what is supposed to become better (i.e., comprehensive)
526		documentation of what ml-nlffigen does and produces.
527
528		----------------------------------------------------------------------
529		Name: Matthias Blume (blume (at) tti - c (dot) org)
530		Date: 2004/07/14 16:25:00 CDT
531		Tag: blume-20040714-union
532		Description:
533
534		Added C_UNION to c-calls/c-types.sml and updated the machinery
535		(ml-nlffigen, cproto.sml) that conveys C function interface
536		information to the code generator.
537
538		However, the actual architecture-specific implementation of function
539		arguments and results that are C unions is still not implemented.
540
541		----------------------------------------------------------------------
542		Name: Allen Leung (leunga (at) reservoir (dot) com)
543		Date: 2004/07/14 14:38:00 EST
544		Tag: leunga-110_46_1-ppc-lwzu
545		Description:
546
547		Added these instructions to the PowerPC architecture:
548		LBZU(X), LHZU(X), LWZU(X),
549		STWU(X), STFDU, STFSU
550
551		etc...
552
553		Note: I haven't added their instruction encoding into the description.
554
555		----------------------------------------------------------------------
556		Name: Allen Leung (leunga (at) reservoir (dot) com)
557		Date: 2004/07/13 15:04:00 EST
558		Tag: leunga-110_46_1-ppc-lwarx
559		Description:
560
561		Added the two instructions LWARX and STWCX to the PowerPC
562		instruction set.
563
564		A (untested) rewrite of loop-structure.sml.  The old version
565		is completely broken.
566
567		----------------------------------------------------------------------
568		Name: Matthias Blume (blume (at) tti - c (dot) org)
569		Date: 2004/07/13 13:50:00 CDT
570		Tag: blume-20040713-nlffi
571		Description:
572
573		- use paramAlloc to report c-calls with too many arguments
574		(for PPC version where parameter area is pre-allocated)
575		- added ccall_maxargspace to machspec (to implement the above)
576		- made "make" commend in CM's "make" tool configurable
577		- added option (default: on) for passing the name of the SML/NJ's "bin"
578		directory to "make"; the call looks like this:
579
580		make <options> SMLNJ_BINDIR=<dir> <target>
581
582		This can be used by the Makefile to, e.g., pick the "right" version
583		of ml-nlffigen.
584		- minor code tweaks
585
586		----------------------------------------------------------------------
587		Name: Matthias Blume (blume (at) tti - c (dot) org)
588		Date: 2004/07/12 22:50:00 CDT
589		Tag: blume-110_46_1-macosx-nlffi
590		Description:
591
592		NLFFI under Mac OS X now working (sort of).  This is largely untested,
593		though.
594
595		Note:  1. You have to make a new, clean build of the runtime system.
596		2. There are new BOOTFILES, you have to use them!
597		(Doing the bootstrap process yourself would be *very* painful!
598		If you absolutely have to do it, build the system under
599		a different architecture and then cross-compile.)
600
601		Version bumped to 110.46.1 to account for runtime data format changes.
602
603		----------------------------------------------------------------------
604		Name: Matthias Blume (blume (at) tti - c (dot) org)
605		Date: 2004/06/18 14:30:00 CDT
606		Tag: blume-20040618-unix
607		Description:
608
609		Changed the implementation of structure Unix so that the same stream
610		is returned every time one of the {text,bin}{In,Out}streamOf functions
611		is invoked on the same proc.  This is not what the spec currently
612		says -- although IMO it arguably should.  (See discussion below.)
613
614		----------------------------------------------------------------------
615		Name: Matthias Blume (blume (at) tti - c (dot) org)
616		Date: 2004/06/17 18:15:00 CDT
617		Tag: Release_110_46
618		Description:
619
620		New working version (110.46).  NEW BOOTFILES!
621
622		----------------------------------------------------------------------
623		Name: Matthias Blume (blume (at) tti - c (dot) org)
624		Date: 2004/06/17 17:20:00 CDT
625		Tag: blume-20040617-timer-unix
626		Description:
627
628		Changed the interface of structures Timer and Unix to match the most
629		recent Basis spec.
630
631		In the case of Unix there still seems to be an open/weird issue:
632
633		The {text,bin}{In,Out}streamOf functions are supposed to create
634		fresh streams whenever they are called -- as opposed to have them
635		return the same stream every time.  This design is supposed to
636		prevent space leaks caused by proc values hanging on to streams.
637
638		The reap function, on the other hand, is supposed to close the
639		streams.  This cannot be done without having a handle on the
640		stream in proc after all...
641
642		I took the liberty to implement the following stopgap solution:
643
644		The proc value hangs on to the most recently created stream(s).
645		Reap closes those.  If either or both of the two streams hadn't
646		been created at all yet, then reap will close the corresponding
647		file descriptors directly.
648
649		PS: I don't understand the original space leak argument anymore.  If
650		a proc hangs on to the imperative stream, then I/O operations on those
651		will advance the state of the cached stream and avoid the space leak.
652
653		----------------------------------------------------------------------
654		Name: Matthias Blume (blume (at) tti - c (dot) org)
655		Date: 2004/05/28 16:45:00 CDT
656		Tag: blume-20040528-basis
657		Description:
658
659		Added signature PACK_REAL and exported functor PrimIO.
660
661		----------------------------------------------------------------------
662		Name: Matthias Blume (blume (at) tti - c (dot) org)
663		Date: 2004/05/25 16:00:00 CDT
664		Tag: blume-20040525-group-owner
665		Description:
666
667		CM now ignores (but still accepts) the "owner" information in group
668		descriptions.  The owner of a group is its next enclosing
669		library. Each group must have a unique owner.  (There is a virtual
670		"toplevel" library that owns groups which are not nested within a real
671		library.)  Previously, each group had to explicitly declare its owner,
672		and CM would check that such a declaration is correct.  The new scheme
673		is to have CM check that for each group there is precisely one owning
674		library.
675
676		The advantage of the new scheme is that the programmer no longer needs
677		to maintain the somewhat annoying owner information.  The downside is
678		that CM cannot enforce the ownership rule across multiple runs of
679		CM.make.  Fortunately, enclosing the same group in two different
680		libraries A and B which are not part of the same program does not
681		cause real problems.
682
683		----------------------------------------------------------------------
684		Name: Matthias Blume (blume (at) tti - c (dot) org)
685		Date: 2004/05/20 16:00:00 CDT
686		Tag: blume-20040520-win32
687		Description:
688
689		Made the win32 version work again.  (Strangely, a misplaced comma had
690		slipped into win32-process.c which prevented the runtime from being
691		compiled correctly.)
692
693		Also, included a minor addition to ml-build.bat analogous to what was
694		done in blume-20040519-ml-build.
695
696		----------------------------------------------------------------------
697		Name: Matthias Blume (blume (at) tti - c (dot) org)
698		Date: 2004/05/19 22:10:00 CDT
699		Tag: blume-20040519-ml-build
700		Description:
701
702		Arranged for ml-build to clean up after itself a little bit better.
703		The script generates a temporary SML source file and compiles it using
704		CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
705		gets rid of those at the end, so they don't accumulate under .cm.
706
707		This required a minor change to install.sh because the name of the
708		metadata directory (default: .cm) is actually configurable at
709		installation time.
710
711		----------------------------------------------------------------------
712		Name: Matthias Blume (blume (at) tti - c (dot) org)
713		Date: 2004/05/18 15:50:00 CDT
714		Tag: blume-20040518-mkreader
715		Description:
716
717		Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
718		implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
719
720		----------------------------------------------------------------------
721		Name: Matthias Blume (blume (at) tti - c (dot) org)
722		Date: 2004/05/11 14:35:00 CDT
723		Tag: blume-20040511-win32sock
724		Description:
725
726		Added previously missing support for many socket-related functions
727		under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
728		for the voluminous patch!
729
730		(I have not tested this patch under win32 yet.)
731
732		Here is David's e-mail:
733
734		Hi,
735
736		Attached to this email you find a diff against sml/nj 110.45
737		that will enable socket support under Windows.
738
739		To apply the patch (using unix or cygwin)
740		1) gunzip runtime.diff.gz
741		2) "cd" into "src/runtime" in the source tree of a fresh
742		110.45 installation.
743		3) patch -p 1 < [your/path/to]runtime.diff
744
745		The code compiles fine but has NOT yet been extensively tested.
746		I only ran a few tests for basic socket client functionality
747		(which worked fine).  Especially the functions that use ioctl
748		are not tested at all and might not work (see below).
749
750		I implemented this since we want to move to a newer version of sml/nj
751		but need socket support in order to use it.  This is the first time I
752		even had a look at the sml/nj source,  so please review my changes
753		before making this part of the distribution!  Here are a few issues
754		that I think might be better for someone to solve who is more
755		familiar with the sml/nj source (and socket programming):
756
757		- getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
758		exception since I could not figure out what the windows equivalent
759		of these functions is
760
761		- In sockets-osdep.h there are a some #include statements that are
762		only used in a few files that include sockets-osdep.h
763
764		- In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
765		does not process its return value since I don't know how to
766		report an error upwards.
767
768		- It would probably be good to have a call to WSACleanup() when
769		the library is unloaded (if there is such a possibility).
770		Otherwise I think Windows will take care of this automatically
771		when the process finishes.
772
773		- I used ioctlsocket() as a replacement for ioctl() but I have
774		no idea if that is actually the proper replacement on Windows.
775
776		- All these issues are marked in the code by "FIXME" comments.
777
778		We use sml/nj extensively in our products and are quite happy
779		with it.  I hope this contribution will help you.
780
781		Keep up the good work!
782
783		David
784
785		----------------------------------------------------------------------
786		Name: Matthias Blume (blume (at) tti - c (dot) org)
787		Date: 2004/05/11 14:20:00 CDT
788		Tag: blume-20040511-installml
789		Description:
790
791		Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
792		the patch.)
793
794		----------------------------------------------------------------------
795		Name: Matthias Blume (blume (at) tti - c (dot) org)
796		Date: 2004/05/11 14:05:00 CDT
797		Tag: blume-20040511-nlffi-netbsd
798		Description:
799
800		Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
801		the patch.)
802
803		----------------------------------------------------------------------
804		Name: Matthias Blume (blume (at) tti - c (dot) org)
805		Date: 2004/05/11 12:05:00 CDT
806		Tag: blume-20040511-exports
807		Description:
808
809		As per request by Adam Chlipala <adam@hcoop.net>, extended various
810		export lists in compiler-related .cm-files.
811
812		----------------------------------------------------------------------
813		Name: Matthias Blume (blume (at) tti - c (dot) org)
814		Date: 2004/05/11 11:35:00 CDT
815		Tag: blume-20040511-allsource
816		Description:
817
818		The installer now honors the "src-smlnj" target again, although its meaning
819		has changed from "all sources required for the compiler" to "all sources
820		the installer knows about".  In other words, if you enable "src-smlnj"
821		in the "targets" file, then the installer will pull in sources for
822		everything.  (Notice that this refers to source code only.  Compiled
823		code is still only installed for modules that were requested explicitly
824		or which are required for other modules that were requested explicitly.)
825
826		----------------------------------------------------------------------
827		Name: Matthias Blume (blume (at) tti - c (dot) org)
828		Date: 2004/04/23 17:40:00 CDT
829		Tag: blume-20040423-ieee-scan
830		Description:
831
832		Fixed IEEEReal.scan (and .fromString) so that if there is an overflow
833		in the exponent calculation we get INF or ZERO (depending on the mantissa
834		and the sign of the exponent).
835
836		----------------------------------------------------------------------
837		Name: Matthias Blume (blume (at) tti - c (dot) org)
838		Date: 2004/04/23 10:40:00 CDT
839		Tag: blume-20040423-ml-build
840		Description:
841
842		The ml-build script now terminates with a non-0 status when something
843		goes wrong.
844
845		----------------------------------------------------------------------
846		Name: Matthias Blume (blume (at) tti - c (dot) org)
847		Date: 2004/04/22 16:35:00 CDT
848		Tag: blume-20040422-Option
849		Description:
850
851		Made exception Option to be the same as exception Option.Option
852		(as it should be).
853
854		----------------------------------------------------------------------
855		Name: Allen Leung (leunga (at) reservoir (dot) com)
856		Date: 2004/03/19 14:40:00 EST
857		Tag: leunga-20040319-cygwin-nlffi
858		Description:
859
860		Fixed the runtime so that ml-nlffi-lib runs on the cygwin version
861		of SML/NJ.  The problem is that
862
863		lib = dlopen(NULL, ...)
864		f   = dlsym(lib, "malloc");
865
866		does not work on Windows unless we explicitly export symbols
867		such as 'malloc' during linking.  We fixed this by explicitly
868		exporting the required symbols with the magic gcc incantation:
869
870		-Wl,--export-all cygwin.def
871
872		where cygwin.def is a file containing all the symbols that
873		we wish to export.
874
875		I suspect this is a Windows problem and we'll have to
876		do the same (somehow with windows compilers) when
877		we build the native win32 version with the system
878		calls LoadLibrary/GetProcAddress.
879
880		----------------------------------------------------------------------
881		Name: Matthias Blume (blume (at) tti - c (dot) org)
882		Date: 2004/03/04 16:35:00 CST
883		Tag: blume-20040304-intinf-fmt
884		Description:
885
886		Fixed problem with IntInf.fmt (sign would show up on the right instead
887		of on the left for BIN, OCT, and HEX).
888
889		----------------------------------------------------------------------
890		Name: Matthias Blume (blume (at) tti - c (dot) org)
891		Date: 2004/03/04 11:25:00 CST
892		Tag: blume-20040304-symlinks
893		Description:
894
895		Fixed problem with installer script (unix only) where bin/ml-yacc and
896		friends pointed (via symlinks) to absolute locations instead of just
897		.run-sml.  This was reported by Vesa A Norrman.
898
899		----------------------------------------------------------------------
900		Name: Matthias Blume (blume (at) tti - c (dot) org)
901		Date: 2004/02/13 14:50:00 CST
902		Tag: Release_110_45
903		Description:
904
905		New working version (110.45). New bootfiles.
906
907		----------------------------------------------------------------------
908		Name: Matthias Blume (blume (at) tti - c (dot) org)
909		Date: 2004/01/26 15:15:15 CST
910		Tag: blume-20040126-toplevel
911		Description:
912
913		Improved handling of exceptions at the interactive toplevel.
914
915		----------------------------------------------------------------------
916		Name: Matthias Blume (blume (at) tti - c (dot) org)
917		Date: 2004/01/26 11:25:00
918		Tag: blume-20040126-app
919		Description:
920
921		Type of top-level "app" corrected.
922		Added code for setting vp_limitPtrMask to Win32-specific runtime.
923
924		----------------------------------------------------------------------
925		Name: Matthias Blume (blume (at) tti - c (dot) org)
926		Date: 2003/11/18 17:10 CST
927		Tag: blume-20031118-basis-fiddle
928		Description:
929
930		- changed Timer interface to what might become the spec
931		- POSIX_FLAGS -> BIT_FLAGS according to spec
932		- some other minor discrepancies wrt. spec eliminated
933
934		----------------------------------------------------------------------
935		Name: Matthias Blume (blume (at) tti - c (dot) org)
936		Date: 2003/11/06 12:00:00 CST
937		Tag: Release_110_44
938		Description:
939
940		New working version (110.44). New bootfiles.
941
942		----------------------------------------------------------------------
943		Name: Matthias Blume (blume (at) tti - c (dot) org)
944		Date: 2003/11/04 11:50:00 CST
945		Tag: blume-20031104-move-libraries
946		Description:
947
948		Eliminated the "dont_move_libraries" directive in config/targets.
949		(The mechanism was broken and could not be fixed easily.  Moreover,
950		there does not seem to be any reason not to move all libraries into
951		lib during installation.  I originally implemented this directive as a
952		backward-compatibility feature when I first introduced the new CM.
953		Now that things have been stable for a long time and going back to the
954		old CM is not an option, there is no reason to keep it around.)
955
956		----------------------------------------------------------------------
957		Name: Matthias Blume (blume (at) tti - c (dot) org)
958		Date: 2003/11/03 16:00:00 CST
959		Tag: blume-20031103-installdir
960		Description:
961
962		Made installer honor INSTALLDIR variable again.  (Thanks to Chris
963		Richards for pointing out the problem and providing the solution.)
964
965		----------------------------------------------------------------------
966		Name: Matthias Blume (blume (at) tti - c (dot) org)
967		Date: 2003/10/01 17:05:00 CDT
968		Tag: blume-20031001-lal-mlrisc
969		Description:
970
971		MLRISC bug fix from Lal.
972
973		----------------------------------------------------------------------
974		Name: Matthias Blume (blume (at) tti - c (dot) org)
975		Date: 2003/09/30 16:10:00 CDT
976		Tag: blume-20030930-primio-bat
977		Description:
978
979		1. Added openVector, nullRd, and nullWr to PRIM_IO.
980		2. Improved .bat files (for Win32 port) to make things work under Win95.
981		(thanks to Aaron S. Hawley for this one)
982
983		----------------------------------------------------------------------
984		Name: Matthias Blume (blume (at) tti - c (dot) org)
985		Date: 2003/09/26 16:05:00 CDT
986		Tag: blume-20030926-wrappriv
987		Description:
988
989		Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
990
991		----------------------------------------------------------------------
992		Name: Matthias Blume (blume (at) tti - c (dot) org)
993		Date: 2003/09/26 15:00:00 CDT
994		Tag: blume-20030926-110_43_3
995		Description:
996
997		- additional cleanup
998		- version number bump, NEW BOOTFILES
999
1000		----------------------------------------------------------------------
1001		Name: Matthias Blume (blume (at) tti - c (dot) org)
1002		Date: 2003/09/26 12:00:00 CDT
1003		Tag: blume-20030926-ppautoload
1004		Description:
1005
1006		I modified the read-eval-print loop so that the autoloader gets
1007		invoked whenever the prettyprinter tries to look up a symbol that
1008		is not currently defined in the toplevel environment but which
1009		appears in CM's autoload registry.  As a result, we see far fewer of
1010		those ?.Foo.Bar.xxx names in the prettyprinter's output.
1011
1012		In addition to this I tried to clean up some pieces of the Basis
1013		implementation (e.g., Socket, Word8Array) in order to prevent other
1014		instances of these ?.Foo.Bar.xxx names from being printed.
1015
1016		The mechanism that picks names for types still needs some work, though.
1017		(Right now it seems that if there is a type A.t which is defined to
1018		be B.u, but B is unavailable at toplevel, then A.t gets printed as
1019		"?.B.u" although the perhaps more sensible solution would be to use
1020		"A.t" in this case.  In other words, the prettyprinter should follow
1021		a chain of DEFtycs not farther than there are corresponding toplevel
1022		names in the current environment.)
1023
1024		----------------------------------------------------------------------
1025		Name: Matthias Blume (blume (at) tti - c (dot) org)
1026		Date: 2003/09/24 16:31:00 CDT
1027		Tag: blume-20030924-installer
1028		Description:
1029
1030		Another installer tweak:  All the ML code for the installer is now
1031		compiled during CMB.make and put into a little library called
1032		$smlnj/installer.cm.  The installation then simply invokes
1033
1034		sml -m $smlnj/installer.cm
1035
1036		and everything happens automagically.
1037
1038		Win32:  ML code senses value of environment variable SMLNJ_HOME.
1039		Unix:   ML code senses values of environment variables ROOT, CONFIGDIR,
1040		and BINDIR.
1041
1042		The new scheme guarantees that the ML code responsible for the installation
1043		is in sync with the APIs of the main system.  Also, the installer is
1044		somewhat faster because the installer script is precompiled.
1045
1046		----------------------------------------------------------------------
1047		Name: Matthias Blume (blume (at) tti - c (dot) org)
1048		Date: 2003/09/24 15:35:00 CDT
1049		Tag: blume-20030924-synsock
1050		Description:
1051
1052		Added a signature SYNCHRONOUS_SOCKET to basis.cm.  This is like SOCKET
1053		but excludes all non-blocking operations.  Defined SOCKET (in Basis)
1054		and CML_SOCKET in terms of SYNCHRONOUS_SOCKET.  Removed superfluous
1055		implementations of non-blocking operations from CML's Socket
1056		structure.
1057
1058		----------------------------------------------------------------------
1059		Name: Matthias Blume (blume (at) tti - c (dot) org)
1060		Date: 2003/09/24 15:10:05 CDT
1061		Tag: blume-20030924-sockets
1062		Description:
1063
1064		1. Fixed SOCKET API and implementation to match Basis spec.
1065		This required changing the internal representation of sockets to one
1066		that remembers (for each socket file descriptor) whether it is currently
1067		blocking or non-blocking.  This state is maintained lazily (i.e., a system
1068		call is made only if the state actually needs to change).
1069
1070		2. OS-specific details of sockets were moved into separate files, thus
1071		making it possible to unify the bulk of the socket implementations
1072		between Unix and Win32.
1073
1074		3. CML's socket API changed accordingly.
1075		(Note that we need to remove non-blocking functions from this API
1076		since they are redundant in the case of CML!)
1077
1078		4. CML's socket implementation now makes use of non-blocking functions
1079		provided by Basis, thus removing all OS-dependent code from this part
1080		of CML.
1081
1082		5. Changed Real64.precision from 52 to 53.  Minor cleanup in Real64 code.
1083
1084		----------------------------------------------------------------------
1085		Name: Matthias Blume (blume (at) tti - c (dot) org)
1086		Date: 2003/09/22 12:10:00 CDT
1087		Tag: blume-20030922-110_43_2
1088		Description:
1089
1090		Made a new interim version and bootfiles for developer's bootstrapping
1091		convenience.
1092
1093		110.43.2 -- NEW BOOTFILES
1094
1095		----------------------------------------------------------------------
1096		Name: Matthias Blume (blume (at) tti - c (dot) org)
1097		Date: 2003/09/19 15:55:00 CDT
1098		Tag: blume-20030919-cmdir
1099		Description:
1100
1101		1. new-install.sh -> install.sh
1102		2. changed default CM "metadata" directory name to ".cm" (instead of "CM")
1103		3. tweaked installer so that another name instead of .cm can be chosen
1104		at install time (by setting the CM_DIR_ARC environment variable
1105		during installation); once installation is complete, the name is
1106		fixed
1107
1108		----------------------------------------------------------------------
1109		Name: Matthias Blume (blume (at) tti - c (dot) org)
1110		Date: 2003/09/18 16:00:00 CDT
1111		Tag: blume-20030918-110_43_1
1112		Description:
1113
1114		Made a new interim version and bootfiles for developer's bootstrapping
1115		convenience.
1116
1117		110.43.1 -- NEW BOOTFILES
1118
1119		----------------------------------------------------------------------
1120		Name: Matthias Blume (blume (at) tti - c (dot) org)
1121		Date: 2003/09/18 15:20:00 CDT
1122		Tag: blume-20030918-misc
1123		Description:
1124
1125		1. Exported fractionsPerSecond etc. from TimeImp (but not from Time as
1126		this seems to be controversial at the moment) and used those in
1127		Posix.ProcEnv.times.
1128
1129		2. Added Time.{from,to}Nanoseconds to Time.
1130
1131		3. Improved Real.{from,to}LargeInt by avoiding needless calculations.
1132		For example, fromLargeInt never needs to look at more than 3 "big
1133		digits" to get its 53 bits of precision.
1134
1135		----------------------------------------------------------------------
1136		Name: Matthias Blume (blume (at) tti - c (dot) org)
1137		Date: 2003/09/17 16:30:00 CDT
1138		Tag: blume-20030917-real32-slices
1139		Description:
1140
1141		Added an entry to the primitive environment
1142		(compiler/Semant/statenv/prim.sml) for int32->real64 conversion and
1143		added code to compiler/CodeGen/main/mlriscGen.sml to implement it.
1144
1145		Removed some of the "magic" constants in real64.sml and replaced them
1146		with code that generates these values from their corresponding
1147		integer counterparts.
1148
1149		Made all(?) the slice-related changes to the Basis and made everything
1150		compile again...
1151
1152		----------------------------------------------------------------------
1153		Name: Matthias Blume (blume (at) tti - c (dot) org)
1154		Date: 2003/09/15 17:45:00 CDT
1155		Tag: blume-20030915-rbase
1156		Description:
1157
1158		Fixed bug in Real.fromLargeInt.
1159
1160		----------------------------------------------------------------------
1161		Name: Matthias Blume (blume (at) tti - c (dot) org)
1162		Date: 2003/09/13 18:11:00 CDT
1163		Tag: blume-20030913-libinstall
1164		Description:
1165
1166		Minor bugfix in config/libinstall (set anchor with path to
1167		standalone tool after installing it, otherwise libraries that
1168		need ml-lex or ml-yacc won't compile the first time the installer
1169		runs).
1170
1171		----------------------------------------------------------------------
1172		Name: Matthias Blume (blume (at) tti - c (dot) org)
1173		Date: 2003/09/12 11:45:00 CDT
1174		Tag: blume-20030912-various
1175		Description:
1176
1177		- fixed bug in Real.toLargeInt
1178		- fixed bug in Posix.ProcEnv.times
1179		- changed inputLine functions to return an option
1180		- minor installer improvements / bugfixes
1181		- changed default @SMLalloc parameter for x86/celeron to 64k
1182
1183		----------------------------------------------------------------------
1184		Name: Matthias Blume (blume (at) tti - c (dot) org)
1185		Date: 2003/09/09 22:00:00 CDT
1186		Tag: Release_110_43
1187		Description:
1188
1189		New working release 110.43.  New bootfiles.
1190
1191		----------------------------------------------------------------------
1192		Name: Matthias Blume (blume (at) tti - c (dot) org)
1193		Date: 2003/09/09 19:20:00 CDT
1194		Tag: blume-20030909-installer
1195		Description:
1196
1197		Rewrote large parts of config/install.sh in SML (config/libinstall.sml).
1198		Modified config/install.bat to take advantage of it.  Also modified
1199		config/install.sh (and called it config/new-install.sh) to take advantage
1200		of it on Unix systems.  (The SML code is (supposed to be) platform-
1201		independent.)
1202
1203		The installer can now install everything under Win32
1204		as well as under *nix as long as it compiles.
1205
1206		Other changes:
1207
1208		- made CML compile again under Win32
1209		- made eXene compile under Win32 (by providing a fake structure UnixSock
1210		and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv)
1211		- fixed a bug in nowhere: it assumed that type OS.Process.status is the
1212		same as type int;  under Win32 it isn't
1213		- fixed some slice-related problems in the win32-specific parts of CML
1214		- added a functor argument "sameVol" to os-path-fn.sml in the Basis
1215		(under Win32, the volume name is case-insensitive, and the
1216		OS.Path code compares volume names for equality)
1217
1218		----------------------------------------------------------------------
1219		Name: Matthias Blume (blume (at) tti - c (dot) org)
1220		Date: 2003/09/08 11:55:00 CDT
1221		Tag: blume-20030908-fullpath
1222		Description:
1223
1224		Made Win32 version of OS.FileSys.fullPath return current directory
1225		when given an empty string.  This is what the spec says, and incidentally,
1226		CM depends on it.  (CM otherwise goes into an infinite loop in certain
1227		cases when presented with the name of a non-existing .cm file.)
1228
1229		----------------------------------------------------------------------
1230		Name: Matthias Blume (blume (at) tti - c (dot) org)
1231		Date: 2003/09/04 16:30:00 CDT
1232		Tag: blume-20030905-slices-etc
1233		Description:
1234
1235		1. Changed interface to vectors and arrays in Basis to match
1236		(draft) Basis spec.
1237		2. Added signatures and implementations of slices according to
1238		Basis spec.
1239		3. Edited source code throughout the system to make it compile again
1240		under 1. and 2.  (In some cases code had to be added to have it
1241		match the new signatures.)
1242		4. MLRISC should be backward-compatible: the copies of the originals
1243		of files that needed to change under 3. were retained, the .cm files
1244		check the compiler version number and use old versions when
1245		appropriate.
1246		5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to
1247		dirstream -> string option (in accordance with Basis spec).
1248		6. When generating code that counts lines, ml-lex used function
1249		CharVector.foldli, taking advantage of its old interface.
1250		This has been replaced with the corresponding code from
1251		CharVectorSlice.  (html-lex must be re-lexed!)
1252		7. BitArray in smlnj-lib/Util has been extended/modified to match the
1253		new MONO_ARRAY signature.  (Do we need BitArraySlice?)
1254		8. Removed temporary additions (fromInternal, toInternal) from the
1255		(now obsolete) IntInf in smlnj-lib/Util.
1256		9. Cleaned up structure Byte.
1257		10. Added localOffset, scan, and fromString to Date (according to spec).
1258		Cleaned/corrected implementation of Date.
1259		(Still need to check for correctness; implement better canonicalizeDate.)
1260		11. Added "scan" to signature IEEE_REAL.
1261		12. Some improvements to IntInf [in particular: efficiency-hack for
1262		mod and rem when second operand is 2 (for parity checks).]
1263		13. Changed representation of type Time.time, using a single IntInf.int
1264		value counting microseconds.  This considerably simplified the
1265		implementation of structure Time.  We now support negative time
1266		values; scan and fromString handle signs.
1267		14. Functor PrimIO now takes two additional arguments (VectorSlice and
1268		ArraySlice).
1269
1270		----------------------------------------------------------------------
1271		Name: Matthias Blume (blume (at) tti - c (dot) org)
1272		Date: 2003/08/28 17:00:00 CDT
1273		Tag: blume-20030828-intinf
1274		Description:
1275
1276		This is a major update which comes with a version number bump
1277		(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES,
1278		and an implementation of IntInf in the Basis.
1279
1280		There are a fairly large number of related changes and updates throughout
1281		the system:
1282
1283		Basis:
1284		- Implemented IntInf.
1285		- Made LargeInt a projection of IntInf (by filtering through INTEGER).
1286		- Added some missing Real64 operations, most notably Real.toLargeInt.
1287		- Added FixedInt as a synonym for Int32.
1288
1289		compiler:
1290		* Added support for a built-in intinf type.
1291		- literals
1292		- pattern matching
1293		- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.)
1294		- overloading on literals and operations
1295
1296		This required adding a primitive type intinf, some additional
1297		primops, and implementations for several non-trivial intinf
1298		operations in Core.  (The intinf type is completely abstract
1299		to the compiler; all operations get delegated back to the Core.)
1300
1301		* Intinf equality is handled by polyequal.  However, the compiler
1302		does not print its usual warning in this case (since polyequal
1303		is the right thing to do there).
1304
1305		* Improved the organization of structure InlineT.
1306
1307		* A word about conversion primops:
1308		If conversions involving intinf do not cancel out during
1309		CPS contract, then the compiler must insert calls to Core functions.
1310		Since all core access must be resolved already during the FLINT
1311		translate phase, it would be too late a the time of CPS contract
1312		to add new Core calls.  For this reason, conversion primops
1313		for intinf carry two arguments:  1. the numeric argument that
1314		they are supposed to convert, and 2. the Core function that
1315		can help with this conversion if necessary.  If CPS contract
1316		eliminates a primop, then the associated Core function becomes
1317		dead and goes away.  Intinf conversion primops that do not get
1318		eliminated by CPS contract get rewritten into calls of their
1319		core functions by a separate, new phase.
1320
1321		interactive system:
1322		- Control.Print.intinfDepth controls max length of intinf constants
1323		being printed. (Analogous to Control.Print.stringDepth.)
1324		- Cleanup in printutil and pputil: got rid of unused stuff and
1325		duplicates; replaced some of the code with code that makes better
1326		use of library functionality.
1327
1328		CM:
1329		Bugfix: parse-errors in init group (system/smlnj/init/init.cmi)
1330		are no longer silent.
1331
1332		CKIT:
1333		Fixed mismatched uses of Int32 and LargeInt.  I always decided
1334		in favor of LargeInt -- which is now the same as IntInf.
1335		CKIT-knowledgable people should check whether this is what's
1336		intended and otherwise change things back to using Int32 or
1337		FixedInt.
1338
1339		Throughout the code:
1340		Started using IntInf.int literals and built-in operations
1341		(e.g., comparison with 0) where this seems appropriate.
1342
1343
1344		----------------------------------------------------------------------
1345		Name: Dave MacQueen (dbm@cs.uchicago.edu)
1346		Date: 2003/08/13 11:36:00 CDT
1347		Tag: dbm-20030813-mcz-merge1
1348		Description:
1349
1350		Merging changes from the mcz-branch development branch into trunk.
1351		These changes involve replacement of the emulated old prettyprinter
1352		interface with direct use of the SML/NJ Lib PP library, and fixing
1353		of a couple of bugs (895, 1186) relating to error messages.  A new
1354		prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
1355		has been added.
1356
1357		----------------------------------------------------------------------
1358		Name: Matthias Blume (blume (at) tti - c (dot) org)
1359		Date: 2003/08/11 15:45:00 CDT
1360		Tag: blume-20030811-windows
1361		Description:
1362
1363		Version number bumped to 110.42.9.  NEW BOOTFILES!!!
1364
1365		http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
1366
1367		This patch restores SML/NJ's ability to run under win32.  There are a
1368		number of changes, including fixes for several bugs that had gone
1369		unnoticed until now:
1370
1371		- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
1372		trying to run the win32 version from within cygwin.)
1373
1374		- There are a number of simple .bat scripts that substitute for their
1375		corresponding Unix shell-scripts.  (See below.)
1376
1377		- The internals of ml-build have been modified slightly.  The main
1378		difference is that instead of calling ".link-sml" (or link-sml.bat)
1379		using OS.Process.system, the ML process delegates this task back
1380		to the script.  Otherwise problems arise in mixed environments such
1381		as Cygwin where scripts look and work like Unix scripts, but
1382		where OS.Process.system cannot run them.
1383
1384		- In CM, the srcpath pickler used native pathname syntax -- which
1385		is incorrect in the case of cross-compilation.  The new pickle format
1386		is independent of platform-specific naming conventions.
1387
1388		- Path configuration files (such as lib/pathconfig) can now choose
1389		between native and standard syntax.  Placing a line of the form
1390
1391		standard!
1392
1393		into the file causes all subsequent paths to be interpreted using
1394		CM standard pathname syntax (= Unix conventions); a line
1395
1396		native!
1397
1398		switches back to native style.  This was needed so that
1399		path config files can be written portably, see src/system/pathconfig.
1400
1401		- Runtime system:
1402
1403		- win32-filesys.c:  get_file_time and set_file_time now
1404		access modification time, not creation time.
1405
1406		- I/O code made aware of new array representation.
1407
1408		- Bug fixes in X86.prim.masm.
1409
1410		- src/system/makeml made aware of win32. (For use under cygwin
1411		and other Unix-environments for windows.)
1412
1413		- In Basis, fixed off-by-one error in win32-io.sml (function vecF)
1414		which caused BinIO.inputAll to fail consistently.
1415
1416		.bat scripts:
1417
1418		Windows .bat scripts assume that SMLNJ_HOME is defined.
1419
1420		- sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
1421		applications (sml, ml-yacc, ml-lex).
1422		- ml-build.bat: analogous to ml-build.
1423		- config\install.bat:  Analogous to config/install.sh.  This requires
1424		that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
1425		(nmake etc. must be on the path, and vcvars32 must have been run.)
1426		Moreover, sources for ml-lex and ml-yacc need to exist under src,
1427		and the bootfile hierarchy must have been unpacked under
1428		sml.boot.x86-win32.
1429		The script is very primitive and does a poor job at error checking.
1430		It only installs the base system, ml-lex, and ml-yacc.  No other
1431		libraries are being installed (i.e., you get only those that
1432		are part of the compiler.)
1433		- link-sml.bat:  analogous to .link-sml, but not currently used
1434
1435		Unrelated bug fixes:
1436
1437		- ml-nlffigen now exports structures ST_* corresponding to incomplete
1438		types.
1439		- Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
1440		otherwise.)
1441
1442		----------------------------------------------------------------------
1443		Name: Dave MacQueen (macqueen@cs.uchicago.edu)
1444		Date: 2003/06/17
1445		Tag: macqueen-20030617-bug895
1446		Description:
1447
1448		Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
1449		Tag will be used for new development branch (mcz-branch) for
1450		use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
1451
1452		----------------------------------------------------------------------
1453		Name: Matthias Blume (blume (at) tti - c (dot) org)
1454		Date: 2003/05/27 16:55:00 CDT
1455		Tag: blume-20030527-polyeq
1456		Description:
1457
1458		Tried to eliminated most cases of polymorphic equality.
1459
1460		----------------------------------------------------------------------
1461		Name: Matthias Blume (blume (at) tti - c (dot) org)
1462		Date: 2003/05/21 17:45:00 CDT
1463		Tag: blume-20030517-complete
1464		Description:
1465
1466		Two changes:
1467
1468		1. Added a flag for controlling whether non-exhaustive bindings will
1469		be treated as errors (default is false).
1470		2. Cleaned up the *entire* source tree so that CMB.make goes through
1471		without a single non-exhaustive match- or bind warning.
1472
1473		----------------------------------------------------------------------
1474		Name: Matthias Blume (blume (at) tti - c (dot) org)
1475		Date: 2003/05/17 10:20:00 CDT
1476		Tag: blume-20030517-absyn
1477		Description:
1478
1479		1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
1480
1481		This mainly affects the quality of error messages.  However, some
1482		of the code is now more straightforward than before. (Treatment of
1483		the above four constructs in translate.sml is much simpler than
1484		the "macro-expansion" that was going on before.  Plus, the mach-
1485		compiler no longer gets invoked just to be able to compile an
1486		if-expression.)
1487
1488		2. The ErrorMsg.Error exception is now caught and absorbed by the
1489		interactive loop.
1490
1491		----------------------------------------------------------------------
1492		Name: Allen Leung
1493		Date: 2003/05/16 13:05:00 CDT
1494		Tag: leunga-20030516-cygwin-runtime
1495		Description:
1496
1497		Ported the runtime system to cygwin, which uses the unix
1498		x86-unix bin files.  Missing/buggy features:
1499
1500		o getnetbyname, getnetbyaddr: these functions seem to be missing in
1501		the Cygwin library.
1502		o Ctrl-C handling may be flaky.
1503		o Windows system calls and Windows I/O are not supported.
1504
1505		A new set of binfiles is located at:
1506
1507		http://www.dorsai.org/~leunga/boot.x86-unix.tgz
1508
1509		This is only needed for bootstrapping the cygwin version of smlnj.
1510		Other x86 versions can use the existing binfiles.
1511
1512		----------------------------------------------------------------------
1513		Name: Matthias Blume
1514		Date: 2003/04/08 15:42:00 CDT
1515		Tag: blume-20030408-listpair
1516		Description:
1517
1518		1. Added a target 'mlrisc' to installer.
1519
1520		2. Added missing elements to structure ListPair.
1521
1522		----------------------------------------------------------------------
1523		Name: Allen Leung
1524		Date: 2003/01/07 10:40:00 EST
1525		Tag: leunga-20030107-int-rem
1526		Description:
1527
1528		Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
1529		The arguments to the SUBL instruction were swapped.
1530
1531		----------------------------------------------------------------------
1532		Name: Matthias Blume
1533		Date: 2002/12/12 16:25:00 EST
1534		Tag: blume-20021212-risc-ra
1535		Description:
1536
1537		Fixed a serious bug in the rewrite code for FP spilling/reloading that
1538		sent the RA into an infinite loop when floating point registers get
1539		spilled.  (Because of this bug, e.g., nucleic stopped compiling between
1540		110.37 and 110.38.)
1541		There was another set of potential problems related to the handling of
1542		MLRISC annotations (but those did not yet cause real problems, apparently).
1543
1544		----------------------------------------------------------------------
1545		Name: Matthias Blume
1546		Date: 2002/12/06 22:40:00 EST
1547		Tag: blume-20021206-cm-fileid
1548		Description:
1549
1550		Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
1551		This fixes the problem of CM getting confused by files that suddenly
1552		change their identity (e.g., by getting unlinked and recreated by some
1553		text editor such as vi).  There might be a better/cheaper/cleaner way
1554		of doing this, but for now this will have to do.
1555
1556		----------------------------------------------------------------------
1557		Name: Matthias Blume
1558		Date: 2002/10/28 09:50:00 EST
1559		Tag: blume-20021028-typecheck
1560		Description:
1561
1562		Exported structure Typecheck from $smlnj/viscomp/core.cm.
1563
1564		----------------------------------------------------------------------
1565		Name: Matthias Blume
1566		Date: 2002/10/17 09:10:00 EDT
1567		Tag: Release_110_42
1568		Description:
1569
1570		In good old tradition, there has been a slight hiccup so that we have
1571		to patch 110.42 after the fact.   The old release tag has been replaced
1572		(see below).
1573
1574		The change solves a problem with two competing approaches the
1575		configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
1576		each other's way.
1577
1578		This change only affects the runtime system code and the installer script.
1579		(No new bootfiles.)
1580
1581		----------------------------------------------------------------------
1582		Name: Matthias Blume
1583		Date: 2002/10/16 12:00:00 EDT
1584		Tag: Release_110_42_removed
1585		Description:
1586
1587		New working release.  New bootfiles.
1588
1589		----------------------------------------------------------------------
1590		Name: Matthias Blume
1591		Date: 2002/10/10 13:10:00 EDT
1592		Tag: blume-20021010-ppc-divs
1593		Description:
1594
1595		The mltree operator DIVS must be implemented with an overflow check on
1596		the PPC because the hardware indicates divide-by-zero using "overflow" as
1597		well.
1598
1599		----------------------------------------------------------------------
1600		Name: Matthias Blume
1601		Date: 2002/07/23 11:45:00
1602		Tag: blume-20020723-smlnj-home
1603		Description:
1604
1605		Sml now senses the SMLNJ_HOME environment variable.  If this is set,
1606		then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
1607		CM_PATHCONFIG is also set), the path configuration file is assumed
1608		to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
1609		the entire tree to some other place and everything will "just work".
1610
1611		(Companion commands such as ml-build and ml-makedepend also sense this
1612		variable.)
1613
1614		----------------------------------------------------------------------
1615		Name: Matthias Blume
1616		Date: 2002/07/12 21:19:00 EDT
1617		Tag: blume-20020712-liveness
1618		Description:
1619
1620		Exported two useful "step" functions from liveness module (MLRISC).
1621
1622		----------------------------------------------------------------------
1623		Name: Matthias Blume
1624		Date: 2002/07/05 16:00 EDT
1625		Tag: Release_110_41
1626		Description:
1627
1628		New working release.  New bootfiles.
1629
1630		----------------------------------------------------------------------
1631		Name: Matthias Blume
1632		Date: 2002/07/05 10:25:00 EDT
1633		Tag: blume-20020705-btimp
1634		Description:
1635
1636		Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
1637		other clients can set up backtracing support.
1638
1639		----------------------------------------------------------------------
1640		Name: Matthias Blume
1641		Date: 2002/06/25 17:23:00 EDT
1642		Tag: blume-20020625-fpmax
1643		Description:
1644
1645		Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
1646		case.  (The sense of the isNaN test was reversed -- which made min and
1647		max always return their first argument.)
1648
1649		----------------------------------------------------------------------
1650		Name: Matthias Blume
1651		Date: 2002/06/11
1652		Tag: blume-20020611-unixpath
1653		Description:
1654
1655		Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
1656
1657		----------------------------------------------------------------------
1658		Name: Matthias Blume
1659		Date: 2002/06/10 16:35:00 EDT
1660		Tag: blume-20020610-ieeereal
1661		Description:
1662
1663		I back-ported my implementation of IEEEReal.fromString from the
1664		idlbasis-devel branch so that we can test it.
1665
1666		Another small change is that ppDec tries to give more information
1667		than just "<sig>" in the case of functors.  However, this code is
1668		broken in some mysterious way if the functor's body's signature
1669		has not been declared by ascription but gets inferred from the
1670		implementation.  This needs fixing...
1671
1672		----------------------------------------------------------------------
1673		Name: Matthias Blume
1674		Date: 2002/05/31
1675		Tag: blume-20020531-btrace-mode
1676		Description:
1677
1678		Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
1679		the wayside when I switched over to using Controls everywhere.)
1680
1681		----------------------------------------------------------------------
1682		Name: Lal George
1683		Date: 2002/05/23 12:21:40 EDT
1684		Tag: george-20020523-visual-labels
1685		Description:
1686
1687		Labels are now displayed in the graphical output to make
1688		the fall-through and target blocks obvious.
1689
1690		----------------------------------------------------------------------
1691	Name: Matthias Blume	Name: Matthias Blume
1692	Date: 2002/05/22 11:03:00 EDT	Date: 2002/05/22 11:03:00 EDT
1693	Tag: blume-20020522-shrink	Tag: blume-20020522-shrink

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1220   changed lines   Added in v.1653

---

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