Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1249   changed lines   Added in v.1487

---

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