Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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