Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1189, Fri May 10 20:40:33 2002 UTC	revision 1400, Wed Oct 1 22:06:25 2003 UTC
#	Line 13	Line 13
13	Description:	Description:
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16		Name: Matthias Blume (blume (at) tti - c (dot) org)
17		Date: 2003/10/01 17:05:00 CDT
18		Tag: blume-20031001-lal-mlrisc
19		Description:
20
21		MLRISC bug fix from Lal.
22
23		----------------------------------------------------------------------
24		Name: Matthias Blume (blume (at) tti - c (dot) org)
25		Date: 2003/09/30 16:10:00 CDT
26		Tag: blume-20030930-primio-bat
27		Description:
28
29		1. Added openVector, nullRd, and nullWr to PRIM_IO.
30		2. Improved .bat files (for Win32 port) to make things work under Win95.
31		(thanks to Aaron S. Hawley for this one)
32
33		----------------------------------------------------------------------
34		Name: Matthias Blume (blume (at) tti - c (dot) org)
35		Date: 2003/09/26 16:05:00 CDT
36		Tag: blume-20030926-wrappriv
37		Description:
38
39		Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
40
41		----------------------------------------------------------------------
42		Name: Matthias Blume (blume (at) tti - c (dot) org)
43		Date: 2003/09/26 15:00:00 CDT
44		Tag: blume-20030926-110_43_3
45		Description:
46
47		- additional cleanup
48		- version number bump, NEW BOOTFILES
49
50		----------------------------------------------------------------------
51		Name: Matthias Blume (blume (at) tti - c (dot) org)
52		Date: 2003/09/26 12:00:00 CDT
53		Tag: blume-20030926-ppautoload
54		Description:
55
56		I modified the read-eval-print loop so that the autoloader gets
57		invoked whenever the prettyprinter tries to look up a symbol that
58		is not currently defined in the toplevel environment but which
59		appears in CM's autoload registry.  As a result, we see far fewer of
60		those ?.Foo.Bar.xxx names in the prettyprinter's output.
61
62		In addition to this I tried to clean up some pieces of the Basis
63		implementation (e.g., Socket, Word8Array) in order to prevent other
64		instances of these ?.Foo.Bar.xxx names from being printed.
65
66		The mechanism that picks names for types still needs some work, though.
67		(Right now it seems that if there is a type A.t which is defined to
68		be B.u, but B is unavailable at toplevel, then A.t gets printed as
69		"?.B.u" although the perhaps more sensible solution would be to use
70		"A.t" in this case.  In other words, the prettyprinter should follow
71		a chain of DEFtycs not farther than there are corresponding toplevel
72		names in the current environment.)
73
74		----------------------------------------------------------------------
75		Name: Matthias Blume (blume (at) tti - c (dot) org)
76		Date: 2003/09/24 16:31:00 CDT
77		Tag: blume-20030924-installer
78		Description:
79
80		Another installer tweak:  All the ML code for the installer is now
81		compiled during CMB.make and put into a little library called
82		$smlnj/installer.cm.  The installation then simply invokes
83
84		sml -m $smlnj/installer.cm
85
86		and everything happens automagically.
87
88		Win32:  ML code senses value of environment variable SMLNJ_HOME.
89		Unix:   ML code senses values of environment variables ROOT, CONFIGDIR,
90		and BINDIR.
91
92		The new scheme guarantees that the ML code responsible for the installation
93		is in sync with the APIs of the main system.  Also, the installer is
94		somewhat faster because the installer script is precompiled.
95
96		----------------------------------------------------------------------
97		Name: Matthias Blume (blume (at) tti - c (dot) org)
98		Date: 2003/09/24 15:35:00 CDT
99		Tag: blume-20030924-synsock
100		Description:
101
102		Added a signature SYNCHRONOUS_SOCKET to basis.cm.  This is like SOCKET
103		but excludes all non-blocking operations.  Defined SOCKET (in Basis)
104		and CML_SOCKET in terms of SYNCHRONOUS_SOCKET.  Removed superfluous
105		implementations of non-blocking operations from CML's Socket
106		structure.
107
108		----------------------------------------------------------------------
109		Name: Matthias Blume (blume (at) tti - c (dot) org)
110		Date: 2003/09/24 15:10:05 CDT
111		Tag: blume-20030924-sockets
112		Description:
113
114		1. Fixed SOCKET API and implementation to match Basis spec.
115		This required changing the internal representation of sockets to one
116		that remembers (for each socket file descriptor) whether it is currently
117		blocking or non-blocking.  This state is maintained lazily (i.e., a system
118		call is made only if the state actually needs to change).
119
120		2. OS-specific details of sockets were moved into separate files, thus
121		making it possible to unify the bulk of the socket implementations
122		between Unix and Win32.
123
124		3. CML's socket API changed accordingly.
125		(Note that we need to remove non-blocking functions from this API
126		since they are redundant in the case of CML!)
127
128		4. CML's socket implementation now makes use of non-blocking functions
129		provided by Basis, thus removing all OS-dependent code from this part
130		of CML.
131
132		5. Changed Real64.precision from 52 to 53.  Minor cleanup in Real64 code.
133
134		----------------------------------------------------------------------
135		Name: Matthias Blume (blume (at) tti - c (dot) org)
136		Date: 2003/09/22 12:10:00 CDT
137		Tag: blume-20030922-110_43_2
138		Description:
139
140		Made a new interim version and bootfiles for developer's bootstrapping
141		convenience.
142
143		110.43.2 -- NEW BOOTFILES
144
145		----------------------------------------------------------------------
146		Name: Matthias Blume (blume (at) tti - c (dot) org)
147		Date: 2003/09/19 15:55:00 CDT
148		Tag: blume-20030919-cmdir
149		Description:
150
151		1. new-install.sh -> install.sh
152		2. changed default CM "metadata" directory name to ".cm" (instead of "CM")
153		3. tweaked installer so that another name instead of .cm can be chosen
154		at install time (by setting the CM_DIR_ARC environment variable
155		during installation); once installation is complete, the name is
156		fixed
157
158		----------------------------------------------------------------------
159		Name: Matthias Blume (blume (at) tti - c (dot) org)
160		Date: 2003/09/18 16:00:00 CDT
161		Tag: blume-20030918-110_43_1
162		Description:
163
164		Made a new interim version and bootfiles for developer's bootstrapping
165		convenience.
166
167		110.43.1 -- NEW BOOTFILES
168
169		----------------------------------------------------------------------
170		Name: Matthias Blume (blume (at) tti - c (dot) org)
171		Date: 2003/09/18 15:20:00 CDT
172		Tag: blume-20030918-misc
173		Description:
174
175		1. Exported fractionsPerSecond etc. from TimeImp (but not from Time as
176		this seems to be controversial at the moment) and used those in
177		Posix.ProcEnv.times.
178
179		2. Added Time.{from,to}Nanoseconds to Time.
180
181		3. Improved Real.{from,to}LargeInt by avoiding needless calculations.
182		For example, fromLargeInt never needs to look at more than 3 "big
183		digits" to get its 53 bits of precision.
184
185		----------------------------------------------------------------------
186		Name: Matthias Blume (blume (at) tti - c (dot) org)
187		Date: 2003/09/17 16:30:00 CDT
188		Tag: blume-20030917-real32-slices
189		Description:
190
191		Added an entry to the primitive environment
192		(compiler/Semant/statenv/prim.sml) for int32->real64 conversion and
193		added code to compiler/CodeGen/main/mlriscGen.sml to implement it.
194
195		Removed some of the "magic" constants in real64.sml and replaced them
196		with code that generates these values from their corresponding
197		integer counterparts.
198
199		Made all(?) the slice-related changes to the Basis and made everything
200		compile again...
201
202		----------------------------------------------------------------------
203		Name: Matthias Blume (blume (at) tti - c (dot) org)
204		Date: 2003/09/15 17:45:00 CDT
205		Tag: blume-20030915-rbase
206		Description:
207
208		Fixed bug in Real.fromLargeInt.
209
210		----------------------------------------------------------------------
211		Name: Matthias Blume (blume (at) tti - c (dot) org)
212		Date: 2003/09/13 18:11:00 CDT
213		Tag: blume-20030913-libinstall
214		Description:
215
216		Minor bugfix in config/libinstall (set anchor with path to
217		standalone tool after installing it, otherwise libraries that
218		need ml-lex or ml-yacc won't compile the first time the installer
219		runs).
220
221		----------------------------------------------------------------------
222		Name: Matthias Blume (blume (at) tti - c (dot) org)
223		Date: 2003/09/12 11:45:00 CDT
224		Tag: blume-20030912-various
225		Description:
226
227		- fixed bug in Real.toLargeInt
228		- fixed bug in Posix.ProcEnv.times
229		- changed inputLine functions to return an option
230		- minor installer improvements / bugfixes
231		- changed default @SMLalloc parameter for x86/celeron to 64k
232
233		----------------------------------------------------------------------
234		Name: Matthias Blume (blume (at) tti - c (dot) org)
235		Date: 2003/09/09 22:00:00 CDT
236		Tag: Release_110_43
237		Description:
238
239		New working release 110.43.  New bootfiles.
240
241		----------------------------------------------------------------------
242		Name: Matthias Blume (blume (at) tti - c (dot) org)
243		Date: 2003/09/09 19:20:00 CDT
244		Tag: blume-20030909-installer
245		Description:
246
247		Rewrote large parts of config/install.sh in SML (config/libinstall.sml).
248		Modified config/install.bat to take advantage of it.  Also modified
249		config/install.sh (and called it config/new-install.sh) to take advantage
250		of it on Unix systems.  (The SML code is (supposed to be) platform-
251		independent.)
252
253		The installer can now install everything under Win32
254		as well as under *nix as long as it compiles.
255
256		Other changes:
257
258		- made CML compile again under Win32
259		- made eXene compile under Win32 (by providing a fake structure UnixSock
260		and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv)
261		- fixed a bug in nowhere: it assumed that type OS.Process.status is the
262		same as type int;  under Win32 it isn't
263		- fixed some slice-related problems in the win32-specific parts of CML
264		- added a functor argument "sameVol" to os-path-fn.sml in the Basis
265		(under Win32, the volume name is case-insensitive, and the
266		OS.Path code compares volume names for equality)
267
268		----------------------------------------------------------------------
269		Name: Matthias Blume (blume (at) tti - c (dot) org)
270		Date: 2003/09/08 11:55:00 CDT
271		Tag: blume-20030908-fullpath
272		Description:
273
274		Made Win32 version of OS.FileSys.fullPath return current directory
275		when given an empty string.  This is what the spec says, and incidentally,
276		CM depends on it.  (CM otherwise goes into an infinite loop in certain
277		cases when presented with the name of a non-existing .cm file.)
278
279		----------------------------------------------------------------------
280		Name: Matthias Blume (blume (at) tti - c (dot) org)
281		Date: 2003/09/04 16:30:00 CDT
282		Tag: blume-20030905-slices-etc
283		Description:
284
285		1. Changed interface to vectors and arrays in Basis to match
286		(draft) Basis spec.
287		2. Added signatures and implementations of slices according to
288		Basis spec.
289		3. Edited source code throughout the system to make it compile again
290		under 1. and 2.  (In some cases code had to be added to have it
291		match the new signatures.)
292		4. MLRISC should be backward-compatible: the copies of the originals
293		of files that needed to change under 3. were retained, the .cm files
294		check the compiler version number and use old versions when
295		appropriate.
296		5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to
297		dirstream -> string option (in accordance with Basis spec).
298		6. When generating code that counts lines, ml-lex used function
299		CharVector.foldli, taking advantage of its old interface.
300		This has been replaced with the corresponding code from
301		CharVectorSlice.  (html-lex must be re-lexed!)
302		7. BitArray in smlnj-lib/Util has been extended/modified to match the
303		new MONO_ARRAY signature.  (Do we need BitArraySlice?)
304		8. Removed temporary additions (fromInternal, toInternal) from the
305		(now obsolete) IntInf in smlnj-lib/Util.
306		9. Cleaned up structure Byte.
307		10. Added localOffset, scan, and fromString to Date (according to spec).
308		Cleaned/corrected implementation of Date.
309		(Still need to check for correctness; implement better canonicalizeDate.)
310		11. Added "scan" to signature IEEE_REAL.
311		12. Some improvements to IntInf [in particular: efficiency-hack for
312		mod and rem when second operand is 2 (for parity checks).]
313		13. Changed representation of type Time.time, using a single IntInf.int
314		value counting microseconds.  This considerably simplified the
315		implementation of structure Time.  We now support negative time
316		values; scan and fromString handle signs.
317		14. Functor PrimIO now takes two additional arguments (VectorSlice and
318		ArraySlice).
319
320		----------------------------------------------------------------------
321		Name: Matthias Blume (blume (at) tti - c (dot) org)
322		Date: 2003/08/28 17:00:00 CDT
323		Tag: blume-20030828-intinf
324		Description:
325
326		This is a major update which comes with a version number bump
327		(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES,
328		and an implementation of IntInf in the Basis.
329
330		There are a fairly large number of related changes and updates throughout
331		the system:
332
333		Basis:
334		- Implemented IntInf.
335		- Made LargeInt a projection of IntInf (by filtering through INTEGER).
336		- Added some missing Real64 operations, most notably Real.toLargeInt.
337		- Added FixedInt as a synonym for Int32.
338
339		compiler:
340		* Added support for a built-in intinf type.
341		- literals
342		- pattern matching
343		- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.)
344		- overloading on literals and operations
345
346		This required adding a primitive type intinf, some additional
347		primops, and implementations for several non-trivial intinf
348		operations in Core.  (The intinf type is completely abstract
349		to the compiler; all operations get delegated back to the Core.)
350
351		* Intinf equality is handled by polyequal.  However, the compiler
352		does not print its usual warning in this case (since polyequal
353		is the right thing to do there).
354
355		* Improved the organization of structure InlineT.
356
357		* A word about conversion primops:
358		If conversions involving intinf do not cancel out during
359		CPS contract, then the compiler must insert calls to Core functions.
360		Since all core access must be resolved already during the FLINT
361		translate phase, it would be too late a the time of CPS contract
362		to add new Core calls.  For this reason, conversion primops
363		for intinf carry two arguments:  1. the numeric argument that
364		they are supposed to convert, and 2. the Core function that
365		can help with this conversion if necessary.  If CPS contract
366		eliminates a primop, then the associated Core function becomes
367		dead and goes away.  Intinf conversion primops that do not get
368		eliminated by CPS contract get rewritten into calls of their
369		core functions by a separate, new phase.
370
371		interactive system:
372		- Control.Print.intinfDepth controls max length of intinf constants
373		being printed. (Analogous to Control.Print.stringDepth.)
374		- Cleanup in printutil and pputil: got rid of unused stuff and
375		duplicates; replaced some of the code with code that makes better
376		use of library functionality.
377
378		CM:
379		Bugfix: parse-errors in init group (system/smlnj/init/init.cmi)
380		are no longer silent.
381
382		CKIT:
383		Fixed mismatched uses of Int32 and LargeInt.  I always decided
384		in favor of LargeInt -- which is now the same as IntInf.
385		CKIT-knowledgable people should check whether this is what's
386		intended and otherwise change things back to using Int32 or
387		FixedInt.
388
389		Throughout the code:
390		Started using IntInf.int literals and built-in operations
391		(e.g., comparison with 0) where this seems appropriate.
392
393
394		----------------------------------------------------------------------
395		Name: Dave MacQueen (dbm@cs.uchicago.edu)
396		Date: 2003/08/13 11:36:00 CDT
397		Tag: dbm-20030813-mcz-merge1
398		Description:
399
400		Merging changes from the mcz-branch development branch into trunk.
401		These changes involve replacement of the emulated old prettyprinter
402		interface with direct use of the SML/NJ Lib PP library, and fixing
403		of a couple of bugs (895, 1186) relating to error messages.  A new
404		prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
405		has been added.
406
407		----------------------------------------------------------------------
408		Name: Matthias Blume (blume (at) tti - c (dot) org)
409		Date: 2003/08/11 15:45:00 CDT
410		Tag: blume-20030811-windows
411		Description:
412
413		Version number bumped to 110.42.9.  NEW BOOTFILES!!!
414
415		http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
416
417		This patch restores SML/NJ's ability to run under win32.  There are a
418		number of changes, including fixes for several bugs that had gone
419		unnoticed until now:
420
421		- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
422		trying to run the win32 version from within cygwin.)
423
424		- There are a number of simple .bat scripts that substitute for their
425		corresponding Unix shell-scripts.  (See below.)
426
427		- The internals of ml-build have been modified slightly.  The main
428		difference is that instead of calling ".link-sml" (or link-sml.bat)
429		using OS.Process.system, the ML process delegates this task back
430		to the script.  Otherwise problems arise in mixed environments such
431		as Cygwin where scripts look and work like Unix scripts, but
432		where OS.Process.system cannot run them.
433
434		- In CM, the srcpath pickler used native pathname syntax -- which
435		is incorrect in the case of cross-compilation.  The new pickle format
436		is independent of platform-specific naming conventions.
437
438		- Path configuration files (such as lib/pathconfig) can now choose
439		between native and standard syntax.  Placing a line of the form
440
441		standard!
442
443		into the file causes all subsequent paths to be interpreted using
444		CM standard pathname syntax (= Unix conventions); a line
445
446		native!
447
448		switches back to native style.  This was needed so that
449		path config files can be written portably, see src/system/pathconfig.
450
451		- Runtime system:
452
453		- win32-filesys.c:  get_file_time and set_file_time now
454		access modification time, not creation time.
455
456		- I/O code made aware of new array representation.
457
458		- Bug fixes in X86.prim.masm.
459
460		- src/system/makeml made aware of win32. (For use under cygwin
461		and other Unix-environments for windows.)
462
463		- In Basis, fixed off-by-one error in win32-io.sml (function vecF)
464		which caused BinIO.inputAll to fail consistently.
465
466		.bat scripts:
467
468		Windows .bat scripts assume that SMLNJ_HOME is defined.
469
470		- sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
471		applications (sml, ml-yacc, ml-lex).
472		- ml-build.bat: analogous to ml-build.
473		- config\install.bat:  Analogous to config/install.sh.  This requires
474		that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
475		(nmake etc. must be on the path, and vcvars32 must have been run.)
476		Moreover, sources for ml-lex and ml-yacc need to exist under src,
477		and the bootfile hierarchy must have been unpacked under
478		sml.boot.x86-win32.
479		The script is very primitive and does a poor job at error checking.
480		It only installs the base system, ml-lex, and ml-yacc.  No other
481		libraries are being installed (i.e., you get only those that
482		are part of the compiler.)
483		- link-sml.bat:  analogous to .link-sml, but not currently used
484
485		Unrelated bug fixes:
486
487		- ml-nlffigen now exports structures ST_* corresponding to incomplete
488		types.
489		- Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
490		otherwise.)
491
492		----------------------------------------------------------------------
493		Name: Dave MacQueen (macqueen@cs.uchicago.edu)
494		Date: 2003/06/17
495		Tag: macqueen-20030617-bug895
496		Description:
497
498		Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
499		Tag will be used for new development branch (mcz-branch) for
500		use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
501
502		----------------------------------------------------------------------
503		Name: Matthias Blume (blume (at) tti - c (dot) org)
504		Date: 2003/05/27 16:55:00 CDT
505		Tag: blume-20030527-polyeq
506		Description:
507
508		Tried to eliminated most cases of polymorphic equality.
509
510		----------------------------------------------------------------------
511		Name: Matthias Blume (blume (at) tti - c (dot) org)
512		Date: 2003/05/21 17:45:00 CDT
513		Tag: blume-20030517-complete
514		Description:
515
516		Two changes:
517
518		1. Added a flag for controlling whether non-exhaustive bindings will
519		be treated as errors (default is false).
520		2. Cleaned up the *entire* source tree so that CMB.make goes through
521		without a single non-exhaustive match- or bind warning.
522
523		----------------------------------------------------------------------
524		Name: Matthias Blume (blume (at) tti - c (dot) org)
525		Date: 2003/05/17 10:20:00 CDT
526		Tag: blume-20030517-absyn
527		Description:
528
529		1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
530
531		This mainly affects the quality of error messages.  However, some
532		of the code is now more straightforward than before. (Treatment of
533		the above four constructs in translate.sml is much simpler than
534		the "macro-expansion" that was going on before.  Plus, the mach-
535		compiler no longer gets invoked just to be able to compile an
536		if-expression.)
537
538		2. The ErrorMsg.Error exception is now caught and absorbed by the
539		interactive loop.
540
541		----------------------------------------------------------------------
542		Name: Allen Leung
543		Date: 2003/05/16 13:05:00 CDT
544		Tag: leunga-20030516-cygwin-runtime
545		Description:
546
547		Ported the runtime system to cygwin, which uses the unix
548		x86-unix bin files.  Missing/buggy features:
549
550		o getnetbyname, getnetbyaddr: these functions seem to be missing in
551		the Cygwin library.
552		o Ctrl-C handling may be flaky.
553		o Windows system calls and Windows I/O are not supported.
554
555		A new set of binfiles is located at:
556
557		http://www.dorsai.org/~leunga/boot.x86-unix.tgz
558
559		This is only needed for bootstrapping the cygwin version of smlnj.
560		Other x86 versions can use the existing binfiles.
561
562		----------------------------------------------------------------------
563		Name: Matthias Blume
564		Date: 2003/04/08 15:42:00 CDT
565		Tag: blume-20030408-listpair
566		Description:
567
568		1. Added a target 'mlrisc' to installer.
569
570		2. Added missing elements to structure ListPair.
571
572		----------------------------------------------------------------------
573		Name: Allen Leung
574		Date: 2003/01/07 10:40:00 EST
575		Tag: leunga-20030107-int-rem
576		Description:
577
578		Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
579		The arguments to the SUBL instruction were swapped.
580
581		----------------------------------------------------------------------
582		Name: Matthias Blume
583		Date: 2002/12/12 16:25:00 EST
584		Tag: blume-20021212-risc-ra
585		Description:
586
587		Fixed a serious bug in the rewrite code for FP spilling/reloading that
588		sent the RA into an infinite loop when floating point registers get
589		spilled.  (Because of this bug, e.g., nucleic stopped compiling between
590		110.37 and 110.38.)
591		There was another set of potential problems related to the handling of
592		MLRISC annotations (but those did not yet cause real problems, apparently).
593
594		----------------------------------------------------------------------
595		Name: Matthias Blume
596		Date: 2002/12/06 22:40:00 EST
597		Tag: blume-20021206-cm-fileid
598		Description:
599
600		Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
601		This fixes the problem of CM getting confused by files that suddenly
602		change their identity (e.g., by getting unlinked and recreated by some
603		text editor such as vi).  There might be a better/cheaper/cleaner way
604		of doing this, but for now this will have to do.
605
606		----------------------------------------------------------------------
607		Name: Matthias Blume
608		Date: 2002/10/28 09:50:00 EST
609		Tag: blume-20021028-typecheck
610		Description:
611
612		Exported structure Typecheck from $smlnj/viscomp/core.cm.
613
614		----------------------------------------------------------------------
615		Name: Matthias Blume
616		Date: 2002/10/17 09:10:00 EDT
617		Tag: Release_110_42
618		Description:
619
620		In good old tradition, there has been a slight hiccup so that we have
621		to patch 110.42 after the fact.   The old release tag has been replaced
622		(see below).
623
624		The change solves a problem with two competing approaches the
625		configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
626		each other's way.
627
628		This change only affects the runtime system code and the installer script.
629		(No new bootfiles.)
630
631		----------------------------------------------------------------------
632		Name: Matthias Blume
633		Date: 2002/10/16 12:00:00 EDT
634		Tag: Release_110_42_removed
635		Description:
636
637		New working release.  New bootfiles.
638
639		----------------------------------------------------------------------
640		Name: Matthias Blume
641		Date: 2002/10/10 13:10:00 EDT
642		Tag: blume-20021010-ppc-divs
643		Description:
644
645		The mltree operator DIVS must be implemented with an overflow check on
646		the PPC because the hardware indicates divide-by-zero using "overflow" as
647		well.
648
649		----------------------------------------------------------------------
650		Name: Matthias Blume
651		Date: 2002/07/23 11:45:00
652		Tag: blume-20020723-smlnj-home
653		Description:
654
655		Sml now senses the SMLNJ_HOME environment variable.  If this is set,
656		then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
657		CM_PATHCONFIG is also set), the path configuration file is assumed
658		to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
659		the entire tree to some other place and everything will "just work".
660
661		(Companion commands such as ml-build and ml-makedepend also sense this
662		variable.)
663
664		----------------------------------------------------------------------
665		Name: Matthias Blume
666		Date: 2002/07/12 21:19:00 EDT
667		Tag: blume-20020712-liveness
668		Description:
669
670		Exported two useful "step" functions from liveness module (MLRISC).
671
672		----------------------------------------------------------------------
673		Name: Matthias Blume
674		Date: 2002/07/05 16:00 EDT
675		Tag: Release_110_41
676		Description:
677
678		New working release.  New bootfiles.
679
680		----------------------------------------------------------------------
681		Name: Matthias Blume
682		Date: 2002/07/05 10:25:00 EDT
683		Tag: blume-20020705-btimp
684		Description:
685
686		Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
687		other clients can set up backtracing support.
688
689		----------------------------------------------------------------------
690		Name: Matthias Blume
691		Date: 2002/06/25 17:23:00 EDT
692		Tag: blume-20020625-fpmax
693		Description:
694
695		Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
696		case.  (The sense of the isNaN test was reversed -- which made min and
697		max always return their first argument.)
698
699		----------------------------------------------------------------------
700		Name: Matthias Blume
701		Date: 2002/06/11
702		Tag: blume-20020611-unixpath
703		Description:
704
705		Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
706
707		----------------------------------------------------------------------
708		Name: Matthias Blume
709		Date: 2002/06/10 16:35:00 EDT
710		Tag: blume-20020610-ieeereal
711		Description:
712
713		I back-ported my implementation of IEEEReal.fromString from the
714		idlbasis-devel branch so that we can test it.
715
716		Another small change is that ppDec tries to give more information
717		than just "<sig>" in the case of functors.  However, this code is
718		broken in some mysterious way if the functor's body's signature
719		has not been declared by ascription but gets inferred from the
720		implementation.  This needs fixing...
721
722		----------------------------------------------------------------------
723		Name: Matthias Blume
724		Date: 2002/05/31
725		Tag: blume-20020531-btrace-mode
726		Description:
727
728		Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
729		the wayside when I switched over to using Controls everywhere.)
730
731		----------------------------------------------------------------------
732		Name: Lal George
733		Date: 2002/05/23 12:21:40 EDT
734		Tag: george-20020523-visual-labels
735		Description:
736
737		Labels are now displayed in the graphical output to make
738		the fall-through and target blocks obvious.
739
740		----------------------------------------------------------------------
741		Name: Matthias Blume
742		Date: 2002/05/22 11:03:00 EDT
743		Tag: blume-20020522-shrink
744		Description:
745
746		John tweaked yesterday's fix for 1131 to handle an out-of-memory
747		situation that comes up when allocating huge arrays.
748
749		----------------------------------------------------------------------
750		Name: Matthias Blume
751		Date: 2002/05/21 16:00:00 EDT
752		Tag: Release_110_40
753		Description:
754
755		New working release (110.40).  New bootfiles.
756
757		[Also: John Reppy fixed GC bug 1131.]
758
759		----------------------------------------------------------------------
760		Name: Matthias Blume
761		Date: 2002/05/21 12:35:00 EDT
762		Tag: blume-20020521-cmdoc
763		Description:
764
765		CM documentation update.
766
767		----------------------------------------------------------------------
768		Name: Matthias Blume
769		Date: 2002/05/21 10:55:00 EDT
770		Tag: blume-20020521-misc
771		Description:
772
773		- John tweaked runtime to be silent on heap export (except when
774		GC messages are on).
775		- I added a few more things (cross-compiling versions of CMB) to
776		config/preloads (as suggestions).
777
778		----------------------------------------------------------------------
779		Name: Matthias Blume
780		Date: 2002/05/20 22:25:00 EDT
781		Tag: blume-20020520-controls
782		Description:
783
784		- Added ControlUtil structure to control-lib.cm.
785		- Use it throughout.
786		- Used Controls facility to define MLRISC controls (as opposed to
787		registering MLRISC control ref cells with Controls after the fact)
788		- Fixed messed-up controls priorities.
789
790		* Removed again all the stuff from config/preloads that one wouldn't
791		be able to preload at the time the initial heap image is built.
792		(Many libraries, e.g., CML, do not exist yet at this time.  The
793		only libraries that can be preloaded via config/preloads are those
794		that come bundled with the bootfiles.)
795
796		----------------------------------------------------------------------
797		Name: Matthias Blume
798		Date: 2002/05/20 10:59:00 EDT
799		Tag: blume-20020520-preloads
800		Description:
801
802		Added a lot of commented-out suggestions for things to be included
803		in config/preloads.
804
805		----------------------------------------------------------------------
806		Name: Allen Leung
807		Date: 2002/05/18 14:20:00 EDT
808		Tag: leunga-20020518-mdl
809		Description:
810
811		o Made the mdl tool stuff compile and run again.
812		o I've disabled all the stuff that depends on RTL specifications; they
813		are all badly broken anyway.
814
815		----------------------------------------------------------------------
816		Name: Matthias Blume
817		Date: 2002/05/17 16:49:00 EDT
818		Tag: blume-20020517-controls
819		Description:
820
821		0. John Reppy made several modifications to the SML/NJ library.
822		In particular, there is a shiny new controls-lib.cm.
823
824		1. Pushed new controls interface through compiler so that everything
825		compiles again.
826
827		2. Added FormatComb and FORMAT_COMB to the CML version of the
828		SML/NJ library (so that CML compiles again).
829
830		3. Modified init scripts because XXX_DEFAULT environment variables
831		are no longer with us.  (Boot-time initialization is now done
832		using the same environment variables that are also used for
833		startup-time initialization of controls.)
834
835		----------------------------------------------------------------------
836		Name: Lal George
837		Date: 2002/05/15 09:20:10 EDT
838		Tag: george-20020515-pseudo-op-decls
839		Description:
840
841		All pseudo-ops emitted before the first segment declaration
842		such as TEXT, DATA, and BSS directives are assumed to be global
843		declarations and are emitted first in the assembly file. This is
844		useful in a number of situations where one has pseudo-ops that are not
845		specific to any segment, and also works around the constraint that one
846		cannot have client pseudo-ops in the TEXT segment.
847
848		Because no segment is associated with these declarations it is
849		an error to allocate any space or objects before the first segment
850		directive and an exception will be raised. However, we cannot make
851		this check for client pseudo-ops.
852
853		These top level declarations are a field in the CFG graph_info.
854		In theory you can continue to add to this field after the CFG has been
855		built -- provided you know what you are doing;-)
856
857		----------------------------------------------------------------------
858		Name: Matthias Blume
859		Date: 2002/05/13 16:40:00 EDT
860		Tag: blume-20020513-pp-etc
861		Description:
862
863		A few minor bugfixes:
864
865		- Stopgap measure for bug recently reported by Elsa Gunter (ppDec).
866		(Bogus printouts for redefined bindings still occur.  Compiler
867		bug should no longer occur now.  We need to redo the prettyprinter
868		from scratch.)
869
870		- CM pathname printer now also adds escape sequences for ( and )
871
872		- commend and docu fixes for ml-nlffi
873
874		----------------------------------------------------------------------
875	Name: Matthias Blume	Name: Matthias Blume
876	Date: 2002/05/10 16:40:00 EDT	Date: 2002/05/10 16:40:00 EDT
877	Tag: blume-20020510-erg-textio	Tag: blume-20020510-erg-textio

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1189   changed lines   Added in v.1400

---

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