Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1334   changed lines   Added in v.1486

---

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