Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1222   changed lines   Added in v.1342

---

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