Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1201   changed lines   Added in v.1464

---

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