Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1249, Tue Jun 25 21:23:40 2002 UTC	revision 1348, Fri Aug 29 17:06:53 2003 UTC
#	Line 13	Line 13
13	Description:	Description:
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16		Name: Matthias Blume (blume@tti-c.org)
17		Date: 2003/08/28 17:00:00 CDT
18		Tag: blume-20030828-intinf
19		Description:
20
21		This is a major update which comes with a version number bump
22		(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES,
23		and an implementation of IntInf in the Basis.
24
25		There are a fairly large number of related changes and updates throughout
26		the system:
27
28		Basis:
29		- Implemented IntInf.
30		- Made LargeInt a projection of IntInf (by filtering through INTEGER).
31		- Added some missing Real64 operations, most notably Real.toLargeInt.
32		- Added FixedInt as a synonym for Int32.
33
34		compiler:
35		* Added support for a built-in intinf type.
36		- literals
37		- pattern matching
38		- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.)
39		- overloading on literals and operations
40
41		This required adding a primitive type intinf, some additional
42		primops, and implementations for several non-trivial intinf
43		operations in Core.  (The intinf type is completely abstract
44		to the compiler; all operations get delegated back to the Core.)
45
46		* Intinf equality is handled by polyequal.  However, the compiler
47		does not print its usual warning in this case (since polyequal
48		is the right thing to do there).
49
50		* Improved the organization of structure InlineT.
51
52		* A word about conversion primops:
53		If conversions involving intinf do not cancel out during
54		CPS contract, then the compiler must insert calls to Core functions.
55		Since all core access must be resolved already during the FLINT
56		translate phase, it would be too late a the time of CPS contract
57		to add new Core calls.  For this reason, conversion primops
58		for intinf carry two arguments:  1. the numeric argument that
59		they are supposed to convert, and 2. the Core function that
60		can help with this conversion if necessary.  If CPS contract
61		eliminates a primop, then the associated Core function becomes
62		dead and goes away.  Intinf conversion primops that do not get
63		eliminated by CPS contract get rewritten into calls of their
64		core functions by a separate, new phase.
65
66		interactive system:
67		- Control.Print.intinfDepth controls max length of intinf constants
68		being printed. (Analogous to Control.Print.stringDepth.)
69		- Cleanup in printutil and pputil: got rid of unused stuff and
70		duplicates; replaced some of the code with code that makes better
71		use of library functionality.
72
73		CM:
74		Bugfix: parse-errors in init group (system/smlnj/init/init.cmi)
75		are no longer silent.
76
77		CKIT:
78		Fixed mismatched uses of Int32 and LargeInt.  I always decided
79		in favor of LargeInt -- which is now the same as IntInf.
80		CKIT-knowledgable people should check whether this is what's
81		intended and otherwise change things back to using Int32 or
82		FixedInt.
83
84		Throughout the code:
85		Started using IntInf.int literals and built-in operations
86		(e.g., comparison with 0) where this seems appropriate.
87
88
89		----------------------------------------------------------------------
90		Name: Dave MacQueen (dbm@cs.uchicago.edu)
91		Date: 2003/08/13 11:36:00 CDT
92		Tag: dbm-20030813-mcz-merge1
93		Description:
94
95		Merging changes from the mcz-branch development branch into trunk.
96		These changes involve replacement of the emulated old prettyprinter
97		interface with direct use of the SML/NJ Lib PP library, and fixing
98		of a couple of bugs (895, 1186) relating to error messages.  A new
99		prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
100		has been added.
101
102		----------------------------------------------------------------------
103		Name: Matthias Blume (blume@tti-c.org)
104		Date: 2003/08/11 15:45:00 CDT
105		Tag: blume-20030811-windows
106		Description:
107
108		Version number bumped to 110.42.9.  NEW BOOTFILES!!!
109
110		http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
111
112		This patch restores SML/NJ's ability to run under win32.  There are a
113		number of changes, including fixes for several bugs that had gone
114		unnoticed until now:
115
116		- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
117		trying to run the win32 version from within cygwin.)
118
119		- There are a number of simple .bat scripts that substitute for their
120		corresponding Unix shell-scripts.  (See below.)
121
122		- The internals of ml-build have been modified slightly.  The main
123		difference is that instead of calling ".link-sml" (or link-sml.bat)
124		using OS.Process.system, the ML process delegates this task back
125		to the script.  Otherwise problems arise in mixed environments such
126		as Cygwin where scripts look and work like Unix scripts, but
127		where OS.Process.system cannot run them.
128
129		- In CM, the srcpath pickler used native pathname syntax -- which
130		is incorrect in the case of cross-compilation.  The new pickle format
131		is independent of platform-specific naming conventions.
132
133		- Path configuration files (such as lib/pathconfig) can now choose
134		between native and standard syntax.  Placing a line of the form
135
136		standard!
137
138		into the file causes all subsequent paths to be interpreted using
139		CM standard pathname syntax (= Unix conventions); a line
140
141		native!
142
143		switches back to native style.  This was needed so that
144		path config files can be written portably, see src/system/pathconfig.
145
146		- Runtime system:
147
148		- win32-filesys.c:  get_file_time and set_file_time now
149		access modification time, not creation time.
150
151		- I/O code made aware of new array representation.
152
153		- Bug fixes in X86.prim.masm.
154
155		- src/system/makeml made aware of win32. (For use under cygwin
156		and other Unix-environments for windows.)
157
158		- In Basis, fixed off-by-one error in win32-io.sml (function vecF)
159		which caused BinIO.inputAll to fail consistently.
160
161		.bat scripts:
162
163		Windows .bat scripts assume that SMLNJ_HOME is defined.
164
165		- sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
166		applications (sml, ml-yacc, ml-lex).
167		- ml-build.bat: analogous to ml-build.
168		- config\install.bat:  Analogous to config/install.sh.  This requires
169		that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
170		(nmake etc. must be on the path, and vcvars32 must have been run.)
171		Moreover, sources for ml-lex and ml-yacc need to exist under src,
172		and the bootfile hierarchy must have been unpacked under
173		sml.boot.x86-win32.
174		The script is very primitive and does a poor job at error checking.
175		It only installs the base system, ml-lex, and ml-yacc.  No other
176		libraries are being installed (i.e., you get only those that
177		are part of the compiler.)
178		- link-sml.bat:  analogous to .link-sml, but not currently used
179
180		Unrelated bug fixes:
181
182		- ml-nlffigen now exports structures ST_* corresponding to incomplete
183		types.
184		- Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
185		otherwise.)
186
187		----------------------------------------------------------------------
188		Name: Dave MacQueen (macqueen@cs.uchicago.edu)
189		Date: 2003/06/17
190		Tag: macqueen-20030617-bug895
191		Description:
192
193		Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
194		Tag will be used for new development branch (mcz-branch) for
195		use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
196
197		----------------------------------------------------------------------
198		Name: Matthias Blume (blume@tti-c.org)
199		Date: 2003/05/27 16:55:00 CDT
200		Tag: blume-20030527-polyeq
201		Description:
202
203		Tried to eliminated most cases of polymorphic equality.
204
205		----------------------------------------------------------------------
206		Name: Matthias Blume (blume@tti-c.org)
207		Date: 2003/05/21 17:45:00 CDT
208		Tag: blume-20030517-complete
209		Description:
210
211		Two changes:
212
213		1. Added a flag for controlling whether non-exhaustive bindings will
214		be treated as errors (default is false).
215		2. Cleaned up the *entire* source tree so that CMB.make goes through
216		without a single non-exhaustive match- or bind warning.
217
218		----------------------------------------------------------------------
219		Name: Matthias Blume (blume@tti-c.org)
220		Date: 2003/05/17 10:20:00 CDT
221		Tag: blume-20030517-absyn
222		Description:
223
224		1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
225
226		This mainly affects the quality of error messages.  However, some
227		of the code is now more straightforward than before. (Treatment of
228		the above four constructs in translate.sml is much simpler than
229		the "macro-expansion" that was going on before.  Plus, the mach-
230		compiler no longer gets invoked just to be able to compile an
231		if-expression.)
232
233		2. The ErrorMsg.Error exception is now caught and absorbed by the
234		interactive loop.
235
236		----------------------------------------------------------------------
237		Name: Allen Leung
238		Date: 2003/05/16 13:05:00 CDT
239		Tag: leunga-20030516-cygwin-runtime
240		Description:
241
242		Ported the runtime system to cygwin, which uses the unix
243		x86-unix bin files.  Missing/buggy features:
244
245		o getnetbyname, getnetbyaddr: these functions seem to be missing in
246		the Cygwin library.
247		o Ctrl-C handling may be flaky.
248		o Windows system calls and Windows I/O are not supported.
249
250		A new set of binfiles is located at:
251
252		http://www.dorsai.org/~leunga/boot.x86-unix.tgz
253
254		This is only needed for bootstrapping the cygwin version of smlnj.
255		Other x86 versions can use the existing binfiles.
256
257		----------------------------------------------------------------------
258		Name: Matthias Blume
259		Date: 2003/04/08 15:42:00 CDT
260		Tag: blume-20030408-listpair
261		Description:
262
263		1. Added a target 'mlrisc' to installer.
264
265		2. Added missing elements to structure ListPair.
266
267		----------------------------------------------------------------------
268		Name: Allen Leung
269		Date: 2003/01/07 10:40:00 EST
270		Tag: leunga-20030107-int-rem
271		Description:
272
273		Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
274		The arguments to the SUBL instruction were swapped.
275
276		----------------------------------------------------------------------
277		Name: Matthias Blume
278		Date: 2002/12/12 16:25:00 EST
279		Tag: blume-20021212-risc-ra
280		Description:
281
282		Fixed a serious bug in the rewrite code for FP spilling/reloading that
283		sent the RA into an infinite loop when floating point registers get
284		spilled.  (Because of this bug, e.g., nucleic stopped compiling between
285		110.37 and 110.38.)
286		There was another set of potential problems related to the handling of
287		MLRISC annotations (but those did not yet cause real problems, apparently).
288
289		----------------------------------------------------------------------
290		Name: Matthias Blume
291		Date: 2002/12/06 22:40:00 EST
292		Tag: blume-20021206-cm-fileid
293		Description:
294
295		Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
296		This fixes the problem of CM getting confused by files that suddenly
297		change their identity (e.g., by getting unlinked and recreated by some
298		text editor such as vi).  There might be a better/cheaper/cleaner way
299		of doing this, but for now this will have to do.
300
301		----------------------------------------------------------------------
302		Name: Matthias Blume
303		Date: 2002/10/28 09:50:00 EST
304		Tag: blume-20021028-typecheck
305		Description:
306
307		Exported structure Typecheck from $smlnj/viscomp/core.cm.
308
309		----------------------------------------------------------------------
310		Name: Matthias Blume
311		Date: 2002/10/17 09:10:00 EDT
312		Tag: Release_110_42
313		Description:
314
315		In good old tradition, there has been a slight hiccup so that we have
316		to patch 110.42 after the fact.   The old release tag has been replaced
317		(see below).
318
319		The change solves a problem with two competing approaches the
320		configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
321		each other's way.
322
323		This change only affects the runtime system code and the installer script.
324		(No new bootfiles.)
325
326		----------------------------------------------------------------------
327		Name: Matthias Blume
328		Date: 2002/10/16 12:00:00 EDT
329		Tag: Release_110_42_removed
330		Description:
331
332		New working release.  New bootfiles.
333
334		----------------------------------------------------------------------
335		Name: Matthias Blume
336		Date: 2002/10/10 13:10:00 EDT
337		Tag: blume-20021010-ppc-divs
338		Description:
339
340		The mltree operator DIVS must be implemented with an overflow check on
341		the PPC because the hardware indicates divide-by-zero using "overflow" as
342		well.
343
344		----------------------------------------------------------------------
345		Name: Matthias Blume
346		Date: 2002/07/23 11:45:00
347		Tag: blume-20020723-smlnj-home
348		Description:
349
350		Sml now senses the SMLNJ_HOME environment variable.  If this is set,
351		then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
352		CM_PATHCONFIG is also set), the path configuration file is assumed
353		to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
354		the entire tree to some other place and everything will "just work".
355
356		(Companion commands such as ml-build and ml-makedepend also sense this
357		variable.)
358
359		----------------------------------------------------------------------
360		Name: Matthias Blume
361		Date: 2002/07/12 21:19:00 EDT
362		Tag: blume-20020712-liveness
363		Description:
364
365		Exported two useful "step" functions from liveness module (MLRISC).
366
367		----------------------------------------------------------------------
368		Name: Matthias Blume
369		Date: 2002/07/05 16:00 EDT
370		Tag: Release_110_41
371		Description:
372
373		New working release.  New bootfiles.
374
375		----------------------------------------------------------------------
376		Name: Matthias Blume
377		Date: 2002/07/05 10:25:00 EDT
378		Tag: blume-20020705-btimp
379		Description:
380
381		Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
382		other clients can set up backtracing support.
383
384		----------------------------------------------------------------------
385	Name: Matthias Blume	Name: Matthias Blume
386	Date: 2002/06/25 17:23:00 EDT	Date: 2002/06/25 17:23:00 EDT
387	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.1348

---

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