Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1334, Thu May 22 22:46:30 2003 UTC	revision 1356, Wed Sep 10 02:54:11 2003 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume (blume@tti-c.org)	Name: Matthias Blume (blume@tti-c.org)
17		Date: 2003/09/09 22:00:00 CDT
18		Tag: Release_110_43
19		Description:
20
21		New working release 110.43.  New bootfiles.
22
23		----------------------------------------------------------------------
24		Name: Matthias Blume (blume@tti-c.org)
25		Date: 2003/09/09 19:20:00 CDT
26		Tag: blume-20030909-installer
27		Description:
28
29		Rewrote large parts of config/install.sh in SML (config/libinstall.sml).
30		Modified config/install.bat to take advantage of it.  Also modified
31		config/install.sh (and called it config/new-install.sh) to take advantage
32		of it on Unix systems.  (The SML code is (supposed to be) platform-
33		independent.)
34
35		The installer can now install everything under Win32
36		as well as under *nix as long as it compiles.
37
38		Other changes:
39
40		- made CML compile again under Win32
41		- made eXene compile under Win32 (by providing a fake structure UnixSock
42		and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv)
43		- fixed a bug in nowhere: it assumed that type OS.Process.status is the
44		same as type int;  under Win32 it isn't
45		- fixed some slice-related problems in the win32-specific parts of CML
46		- added a functor argument "sameVol" to os-path-fn.sml in the Basis
47		(under Win32, the volume name is case-insensitive, and the
48		OS.Path code compares volume names for equality)
49
50		----------------------------------------------------------------------
51		Name: Matthias Blume (blume@tti-c.org)
52		Date: 2003/09/08 11:55:00 CDT
53		Tag: blume-20030908-fullpath
54		Description:
55
56		Made Win32 version of OS.FileSys.fullPath return current directory
57		when given an empty string.  This is what the spec says, and incidentally,
58		CM depends on it.  (CM otherwise goes into an infinite loop in certain
59		cases when presented with the name of a non-existing .cm file.)
60
61		----------------------------------------------------------------------
62		Name: Matthias Blume (blume@tti-c.org)
63		Date: 2003/09/04 16:30:00 CDT
64		Tag: blume-20030905-slices-etc
65		Description:
66
67		1. Changed interface to vectors and arrays in Basis to match
68		(draft) Basis spec.
69		2. Added signatures and implementations of slices according to
70		Basis spec.
71		3. Edited source code throughout the system to make it compile again
72		under 1. and 2.  (In some cases code had to be added to have it
73		match the new signatures.)
74		4. MLRISC should be backward-compatible: the copies of the originals
75		of files that needed to change under 3. were retained, the .cm files
76		check the compiler version number and use old versions when
77		appropriate.
78		5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to
79		dirstream -> string option (in accordance with Basis spec).
80		6. When generating code that counts lines, ml-lex used function
81		CharVector.foldli, taking advantage of its old interface.
82		This has been replaced with the corresponding code from
83		CharVectorSlice.  (html-lex must be re-lexed!)
84		7. BitArray in smlnj-lib/Util has been extended/modified to match the
85		new MONO_ARRAY signature.  (Do we need BitArraySlice?)
86		8. Removed temporary additions (fromInternal, toInternal) from the
87		(now obsolete) IntInf in smlnj-lib/Util.
88		9. Cleaned up structure Byte.
89		10. Added localOffset, scan, and fromString to Date (according to spec).
90		Cleaned/corrected implementation of Date.
91		(Still need to check for correctness; implement better canonicalizeDate.)
92		11. Added "scan" to signature IEEE_REAL.
93		12. Some improvements to IntInf [in particular: efficiency-hack for
94		mod and rem when second operand is 2 (for parity checks).]
95		13. Changed representation of type Time.time, using a single IntInf.int
96		value counting microseconds.  This considerably simplified the
97		implementation of structure Time.  We now support negative time
98		values; scan and fromString handle signs.
99		14. Functor PrimIO now takes two additional arguments (VectorSlice and
100		ArraySlice).
101
102		----------------------------------------------------------------------
103		Name: Matthias Blume (blume@tti-c.org)
104		Date: 2003/08/28 17:00:00 CDT
105		Tag: blume-20030828-intinf
106		Description:
107
108		This is a major update which comes with a version number bump
109		(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES,
110		and an implementation of IntInf in the Basis.
111
112		There are a fairly large number of related changes and updates throughout
113		the system:
114
115		Basis:
116		- Implemented IntInf.
117		- Made LargeInt a projection of IntInf (by filtering through INTEGER).
118		- Added some missing Real64 operations, most notably Real.toLargeInt.
119		- Added FixedInt as a synonym for Int32.
120
121		compiler:
122		* Added support for a built-in intinf type.
123		- literals
124		- pattern matching
125		- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.)
126		- overloading on literals and operations
127
128		This required adding a primitive type intinf, some additional
129		primops, and implementations for several non-trivial intinf
130		operations in Core.  (The intinf type is completely abstract
131		to the compiler; all operations get delegated back to the Core.)
132
133		* Intinf equality is handled by polyequal.  However, the compiler
134		does not print its usual warning in this case (since polyequal
135		is the right thing to do there).
136
137		* Improved the organization of structure InlineT.
138
139		* A word about conversion primops:
140		If conversions involving intinf do not cancel out during
141		CPS contract, then the compiler must insert calls to Core functions.
142		Since all core access must be resolved already during the FLINT
143		translate phase, it would be too late a the time of CPS contract
144		to add new Core calls.  For this reason, conversion primops
145		for intinf carry two arguments:  1. the numeric argument that
146		they are supposed to convert, and 2. the Core function that
147		can help with this conversion if necessary.  If CPS contract
148		eliminates a primop, then the associated Core function becomes
149		dead and goes away.  Intinf conversion primops that do not get
150		eliminated by CPS contract get rewritten into calls of their
151		core functions by a separate, new phase.
152
153		interactive system:
154		- Control.Print.intinfDepth controls max length of intinf constants
155		being printed. (Analogous to Control.Print.stringDepth.)
156		- Cleanup in printutil and pputil: got rid of unused stuff and
157		duplicates; replaced some of the code with code that makes better
158		use of library functionality.
159
160		CM:
161		Bugfix: parse-errors in init group (system/smlnj/init/init.cmi)
162		are no longer silent.
163
164		CKIT:
165		Fixed mismatched uses of Int32 and LargeInt.  I always decided
166		in favor of LargeInt -- which is now the same as IntInf.
167		CKIT-knowledgable people should check whether this is what's
168		intended and otherwise change things back to using Int32 or
169		FixedInt.
170
171		Throughout the code:
172		Started using IntInf.int literals and built-in operations
173		(e.g., comparison with 0) where this seems appropriate.
174
175
176		----------------------------------------------------------------------
177		Name: Dave MacQueen (dbm@cs.uchicago.edu)
178		Date: 2003/08/13 11:36:00 CDT
179		Tag: dbm-20030813-mcz-merge1
180		Description:
181
182		Merging changes from the mcz-branch development branch into trunk.
183		These changes involve replacement of the emulated old prettyprinter
184		interface with direct use of the SML/NJ Lib PP library, and fixing
185		of a couple of bugs (895, 1186) relating to error messages.  A new
186		prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
187		has been added.
188
189		----------------------------------------------------------------------
190		Name: Matthias Blume (blume@tti-c.org)
191		Date: 2003/08/11 15:45:00 CDT
192		Tag: blume-20030811-windows
193		Description:
194
195		Version number bumped to 110.42.9.  NEW BOOTFILES!!!
196
197		http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
198
199		This patch restores SML/NJ's ability to run under win32.  There are a
200		number of changes, including fixes for several bugs that had gone
201		unnoticed until now:
202
203		- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
204		trying to run the win32 version from within cygwin.)
205
206		- There are a number of simple .bat scripts that substitute for their
207		corresponding Unix shell-scripts.  (See below.)
208
209		- The internals of ml-build have been modified slightly.  The main
210		difference is that instead of calling ".link-sml" (or link-sml.bat)
211		using OS.Process.system, the ML process delegates this task back
212		to the script.  Otherwise problems arise in mixed environments such
213		as Cygwin where scripts look and work like Unix scripts, but
214		where OS.Process.system cannot run them.
215
216		- In CM, the srcpath pickler used native pathname syntax -- which
217		is incorrect in the case of cross-compilation.  The new pickle format
218		is independent of platform-specific naming conventions.
219
220		- Path configuration files (such as lib/pathconfig) can now choose
221		between native and standard syntax.  Placing a line of the form
222
223		standard!
224
225		into the file causes all subsequent paths to be interpreted using
226		CM standard pathname syntax (= Unix conventions); a line
227
228		native!
229
230		switches back to native style.  This was needed so that
231		path config files can be written portably, see src/system/pathconfig.
232
233		- Runtime system:
234
235		- win32-filesys.c:  get_file_time and set_file_time now
236		access modification time, not creation time.
237
238		- I/O code made aware of new array representation.
239
240		- Bug fixes in X86.prim.masm.
241
242		- src/system/makeml made aware of win32. (For use under cygwin
243		and other Unix-environments for windows.)
244
245		- In Basis, fixed off-by-one error in win32-io.sml (function vecF)
246		which caused BinIO.inputAll to fail consistently.
247
248		.bat scripts:
249
250		Windows .bat scripts assume that SMLNJ_HOME is defined.
251
252		- sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
253		applications (sml, ml-yacc, ml-lex).
254		- ml-build.bat: analogous to ml-build.
255		- config\install.bat:  Analogous to config/install.sh.  This requires
256		that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
257		(nmake etc. must be on the path, and vcvars32 must have been run.)
258		Moreover, sources for ml-lex and ml-yacc need to exist under src,
259		and the bootfile hierarchy must have been unpacked under
260		sml.boot.x86-win32.
261		The script is very primitive and does a poor job at error checking.
262		It only installs the base system, ml-lex, and ml-yacc.  No other
263		libraries are being installed (i.e., you get only those that
264		are part of the compiler.)
265		- link-sml.bat:  analogous to .link-sml, but not currently used
266
267		Unrelated bug fixes:
268
269		- ml-nlffigen now exports structures ST_* corresponding to incomplete
270		types.
271		- Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
272		otherwise.)
273
274		----------------------------------------------------------------------
275		Name: Dave MacQueen (macqueen@cs.uchicago.edu)
276		Date: 2003/06/17
277		Tag: macqueen-20030617-bug895
278		Description:
279
280		Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
281		Tag will be used for new development branch (mcz-branch) for
282		use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
283
284		----------------------------------------------------------------------
285		Name: Matthias Blume (blume@tti-c.org)
286		Date: 2003/05/27 16:55:00 CDT
287		Tag: blume-20030527-polyeq
288		Description:
289
290		Tried to eliminated most cases of polymorphic equality.
291
292		----------------------------------------------------------------------
293		Name: Matthias Blume (blume@tti-c.org)
294	Date: 2003/05/21 17:45:00 CDT	Date: 2003/05/21 17:45:00 CDT
295	Tag: blume-20030517-complete	Tag: blume-20030517-complete
296	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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