Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1186   changed lines   Added in v.1393

---

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