Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1259, Sat Jul 13 01:19:00 2002 UTC	revision 1343, Wed Aug 13 17:44:22 2003 UTC
#	Line 13	Line 13
13	Description:	Description:
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16		Name: Dave MacQueen (dbm@cs.uchicago.edu)
17		Date: 2003/08/13 11:36:00 CDT
18		Tag: dbm-20030813-mcz-merge1
19		Description:
20
21		Merging changes from the mcz-branch development branch into trunk.
22		These changes involve replacement of the emulated old prettyprinter
23		interface with direct use of the SML/NJ Lib PP library, and fixing
24		of a couple of bugs (895, 1186) relating to error messages.  A new
25		prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
26		has been added.
27
28		----------------------------------------------------------------------
29		Name: Matthias Blume (blume@tti-c.org)
30		Date: 2003/08/11 15:45:00 CDT
31		Tag: blume-20030811-windows
32		Description:
33
34		Version number bumped to 110.42.9.  NEW BOOTFILES!!!
35
36		http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
37
38		This patch restores SML/NJ's ability to run under win32.  There are a
39		number of changes, including fixes for several bugs that had gone
40		unnoticed until now:
41
42		- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
43		trying to run the win32 version from within cygwin.)
44
45		- There are a number of simple .bat scripts that substitute for their
46		corresponding Unix shell-scripts.  (See below.)
47
48		- The internals of ml-build have been modified slightly.  The main
49		difference is that instead of calling ".link-sml" (or link-sml.bat)
50		using OS.Process.system, the ML process delegates this task back
51		to the script.  Otherwise problems arise in mixed environments such
52		as Cygwin where scripts look and work like Unix scripts, but
53		where OS.Process.system cannot run them.
54
55		- In CM, the srcpath pickler used native pathname syntax -- which
56		is incorrect in the case of cross-compilation.  The new pickle format
57		is independent of platform-specific naming conventions.
58
59		- Path configuration files (such as lib/pathconfig) can now choose
60		between native and standard syntax.  Placing a line of the form
61
62		standard!
63
64		into the file causes all subsequent paths to be interpreted using
65		CM standard pathname syntax (= Unix conventions); a line
66
67		native!
68
69		switches back to native style.  This was needed so that
70		path config files can be written portably, see src/system/pathconfig.
71
72		- Runtime system:
73
74		- win32-filesys.c:  get_file_time and set_file_time now
75		access modification time, not creation time.
76
77		- I/O code made aware of new array representation.
78
79		- Bug fixes in X86.prim.masm.
80
81		- src/system/makeml made aware of win32. (For use under cygwin
82		and other Unix-environments for windows.)
83
84		- In Basis, fixed off-by-one error in win32-io.sml (function vecF)
85		which caused BinIO.inputAll to fail consistently.
86
87		.bat scripts:
88
89		Windows .bat scripts assume that SMLNJ_HOME is defined.
90
91		- sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
92		applications (sml, ml-yacc, ml-lex).
93		- ml-build.bat: analogous to ml-build.
94		- config\install.bat:  Analogous to config/install.sh.  This requires
95		that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
96		(nmake etc. must be on the path, and vcvars32 must have been run.)
97		Moreover, sources for ml-lex and ml-yacc need to exist under src,
98		and the bootfile hierarchy must have been unpacked under
99		sml.boot.x86-win32.
100		The script is very primitive and does a poor job at error checking.
101		It only installs the base system, ml-lex, and ml-yacc.  No other
102		libraries are being installed (i.e., you get only those that
103		are part of the compiler.)
104		- link-sml.bat:  analogous to .link-sml, but not currently used
105
106		Unrelated bug fixes:
107
108		- ml-nlffigen now exports structures ST_* corresponding to incomplete
109		types.
110		- Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
111		otherwise.)
112
113		----------------------------------------------------------------------
114		Name: Dave MacQueen (macqueen@cs.uchicago.edu)
115		Date: 2003/06/17
116		Tag: macqueen-20030617-bug895
117		Description:
118
119		Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
120		Tag will be used for new development branch (mcz-branch) for
121		use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
122
123		----------------------------------------------------------------------
124		Name: Matthias Blume (blume@tti-c.org)
125		Date: 2003/05/27 16:55:00 CDT
126		Tag: blume-20030527-polyeq
127		Description:
128
129		Tried to eliminated most cases of polymorphic equality.
130
131		----------------------------------------------------------------------
132		Name: Matthias Blume (blume@tti-c.org)
133		Date: 2003/05/21 17:45:00 CDT
134		Tag: blume-20030517-complete
135		Description:
136
137		Two changes:
138
139		1. Added a flag for controlling whether non-exhaustive bindings will
140		be treated as errors (default is false).
141		2. Cleaned up the *entire* source tree so that CMB.make goes through
142		without a single non-exhaustive match- or bind warning.
143
144		----------------------------------------------------------------------
145		Name: Matthias Blume (blume@tti-c.org)
146		Date: 2003/05/17 10:20:00 CDT
147		Tag: blume-20030517-absyn
148		Description:
149
150		1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
151
152		This mainly affects the quality of error messages.  However, some
153		of the code is now more straightforward than before. (Treatment of
154		the above four constructs in translate.sml is much simpler than
155		the "macro-expansion" that was going on before.  Plus, the mach-
156		compiler no longer gets invoked just to be able to compile an
157		if-expression.)
158
159		2. The ErrorMsg.Error exception is now caught and absorbed by the
160		interactive loop.
161
162		----------------------------------------------------------------------
163		Name: Allen Leung
164		Date: 2003/05/16 13:05:00 CDT
165		Tag: leunga-20030516-cygwin-runtime
166		Description:
167
168		Ported the runtime system to cygwin, which uses the unix
169		x86-unix bin files.  Missing/buggy features:
170
171		o getnetbyname, getnetbyaddr: these functions seem to be missing in
172		the Cygwin library.
173		o Ctrl-C handling may be flaky.
174		o Windows system calls and Windows I/O are not supported.
175
176		A new set of binfiles is located at:
177
178		http://www.dorsai.org/~leunga/boot.x86-unix.tgz
179
180		This is only needed for bootstrapping the cygwin version of smlnj.
181		Other x86 versions can use the existing binfiles.
182
183		----------------------------------------------------------------------
184		Name: Matthias Blume
185		Date: 2003/04/08 15:42:00 CDT
186		Tag: blume-20030408-listpair
187		Description:
188
189		1. Added a target 'mlrisc' to installer.
190
191		2. Added missing elements to structure ListPair.
192
193		----------------------------------------------------------------------
194		Name: Allen Leung
195		Date: 2003/01/07 10:40:00 EST
196		Tag: leunga-20030107-int-rem
197		Description:
198
199		Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
200		The arguments to the SUBL instruction were swapped.
201
202		----------------------------------------------------------------------
203		Name: Matthias Blume
204		Date: 2002/12/12 16:25:00 EST
205		Tag: blume-20021212-risc-ra
206		Description:
207
208		Fixed a serious bug in the rewrite code for FP spilling/reloading that
209		sent the RA into an infinite loop when floating point registers get
210		spilled.  (Because of this bug, e.g., nucleic stopped compiling between
211		110.37 and 110.38.)
212		There was another set of potential problems related to the handling of
213		MLRISC annotations (but those did not yet cause real problems, apparently).
214
215		----------------------------------------------------------------------
216		Name: Matthias Blume
217		Date: 2002/12/06 22:40:00 EST
218		Tag: blume-20021206-cm-fileid
219		Description:
220
221		Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
222		This fixes the problem of CM getting confused by files that suddenly
223		change their identity (e.g., by getting unlinked and recreated by some
224		text editor such as vi).  There might be a better/cheaper/cleaner way
225		of doing this, but for now this will have to do.
226
227		----------------------------------------------------------------------
228		Name: Matthias Blume
229		Date: 2002/10/28 09:50:00 EST
230		Tag: blume-20021028-typecheck
231		Description:
232
233		Exported structure Typecheck from $smlnj/viscomp/core.cm.
234
235		----------------------------------------------------------------------
236		Name: Matthias Blume
237		Date: 2002/10/17 09:10:00 EDT
238		Tag: Release_110_42
239		Description:
240
241		In good old tradition, there has been a slight hiccup so that we have
242		to patch 110.42 after the fact.   The old release tag has been replaced
243		(see below).
244
245		The change solves a problem with two competing approaches the
246		configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
247		each other's way.
248
249		This change only affects the runtime system code and the installer script.
250		(No new bootfiles.)
251
252		----------------------------------------------------------------------
253		Name: Matthias Blume
254		Date: 2002/10/16 12:00:00 EDT
255		Tag: Release_110_42_removed
256		Description:
257
258		New working release.  New bootfiles.
259
260		----------------------------------------------------------------------
261		Name: Matthias Blume
262		Date: 2002/10/10 13:10:00 EDT
263		Tag: blume-20021010-ppc-divs
264		Description:
265
266		The mltree operator DIVS must be implemented with an overflow check on
267		the PPC because the hardware indicates divide-by-zero using "overflow" as
268		well.
269
270		----------------------------------------------------------------------
271		Name: Matthias Blume
272		Date: 2002/07/23 11:45:00
273		Tag: blume-20020723-smlnj-home
274		Description:
275
276		Sml now senses the SMLNJ_HOME environment variable.  If this is set,
277		then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
278		CM_PATHCONFIG is also set), the path configuration file is assumed
279		to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
280		the entire tree to some other place and everything will "just work".
281
282		(Companion commands such as ml-build and ml-makedepend also sense this
283		variable.)
284
285		----------------------------------------------------------------------
286	Name: Matthias Blume	Name: Matthias Blume
287	Date: 2002/07/12 21:19:00 EDT	Date: 2002/07/12 21:19:00 EDT
288	Tag: blume-20020712-liveness	Tag: blume-20020712-liveness

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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