Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1291, Sat Dec 7 03:41:00 2002 UTC	revision 1539, Tue Jul 13 19:05:30 2004 UTC
#	Line 13	Line 13
13	Description:	Description:
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16		Name: Allen Leung (leunga (at) reservoir (dot) com)
17		Date: 2004/07/13 15:04:00 EST
18		Tag: leunga-110_46_1-ppc-lwarx
19		Description:
20
21		Added the two instructions LWARX and STWCX to the PowerPC
22		instruction set.
23
24		A (untested) rewrite of loop-structure.sml.  The old version
25		is completely broken.
26
27		----------------------------------------------------------------------
28		Name: Matthias Blume (blume (at) tti - c (dot) org)
29		Date: 2004/07/13 13:50:00 CDT
30		Tag: blume-20040713-nlffi
31		Description:
32
33		- use paramAlloc to report c-calls with too many arguments
34		(for PPC version where parameter area is pre-allocated)
35		- added ccall_maxargspace to machspec (to implement the above)
36		- made "make" commend in CM's "make" tool configurable
37		- added option (default: on) for passing the name of the SML/NJ's "bin"
38		directory to "make"; the call looks like this:
39
40		make <options> SMLNJ_BINDIR=<dir> <target>
41
42		This can be used by the Makefile to, e.g., pick the "right" version
43		of ml-nlffigen.
44		- minor code tweaks
45
46		----------------------------------------------------------------------
47		Name: Matthias Blume (blume (at) tti - c (dot) org)
48		Date: 2004/07/12 22:50:00 CDT
49		Tag: blume-110_46_1-macosx-nlffi
50		Description:
51
52		NLFFI under Mac OS X now working (sort of).  This is largely untested,
53		though.
54
55		Note:  1. You have to make a new, clean build of the runtime system.
56		2. There are new BOOTFILES, you have to use them!
57		(Doing the bootstrap process yourself would be *very* painful!
58		If you absolutely have to do it, build the system under
59		a different architecture and then cross-compile.)
60
61		Version bumped to 110.46.1 to account for runtime data format changes.
62
63		----------------------------------------------------------------------
64		Name: Matthias Blume (blume (at) tti - c (dot) org)
65		Date: 2004/06/18 14:30:00 CDT
66		Tag: blume-20040618-unix
67		Description:
68
69		Changed the implementation of structure Unix so that the same stream
70		is returned every time one of the {text,bin}{In,Out}streamOf functions
71		is invoked on the same proc.  This is not what the spec currently
72		says -- although IMO it arguably should.  (See discussion below.)
73
74		----------------------------------------------------------------------
75		Name: Matthias Blume (blume (at) tti - c (dot) org)
76		Date: 2004/06/17 18:15:00 CDT
77		Tag: Release_110_46
78		Description:
79
80		New working version (110.46).  NEW BOOTFILES!
81
82		----------------------------------------------------------------------
83		Name: Matthias Blume (blume (at) tti - c (dot) org)
84		Date: 2004/06/17 17:20:00 CDT
85		Tag: blume-20040617-timer-unix
86		Description:
87
88		Changed the interface of structures Timer and Unix to match the most
89		recent Basis spec.
90
91		In the case of Unix there still seems to be an open/weird issue:
92
93		The {text,bin}{In,Out}streamOf functions are supposed to create
94		fresh streams whenever they are called -- as opposed to have them
95		return the same stream every time.  This design is supposed to
96		prevent space leaks caused by proc values hanging on to streams.
97
98		The reap function, on the other hand, is supposed to close the
99		streams.  This cannot be done without having a handle on the
100		stream in proc after all...
101
102		I took the liberty to implement the following stopgap solution:
103
104		The proc value hangs on to the most recently created stream(s).
105		Reap closes those.  If either or both of the two streams hadn't
106		been created at all yet, then reap will close the corresponding
107		file descriptors directly.
108
109		PS: I don't understand the original space leak argument anymore.  If
110		a proc hangs on to the imperative stream, then I/O operations on those
111		will advance the state of the cached stream and avoid the space leak.
112
113		----------------------------------------------------------------------
114		Name: Matthias Blume (blume (at) tti - c (dot) org)
115		Date: 2004/05/28 16:45:00 CDT
116		Tag: blume-20040528-basis
117		Description:
118
119		Added signature PACK_REAL and exported functor PrimIO.
120
121		----------------------------------------------------------------------
122		Name: Matthias Blume (blume (at) tti - c (dot) org)
123		Date: 2004/05/25 16:00:00 CDT
124		Tag: blume-20040525-group-owner
125		Description:
126
127		CM now ignores (but still accepts) the "owner" information in group
128		descriptions.  The owner of a group is its next enclosing
129		library. Each group must have a unique owner.  (There is a virtual
130		"toplevel" library that owns groups which are not nested within a real
131		library.)  Previously, each group had to explicitly declare its owner,
132		and CM would check that such a declaration is correct.  The new scheme
133		is to have CM check that for each group there is precisely one owning
134		library.
135
136		The advantage of the new scheme is that the programmer no longer needs
137		to maintain the somewhat annoying owner information.  The downside is
138		that CM cannot enforce the ownership rule across multiple runs of
139		CM.make.  Fortunately, enclosing the same group in two different
140		libraries A and B which are not part of the same program does not
141		cause real problems.
142
143		----------------------------------------------------------------------
144		Name: Matthias Blume (blume (at) tti - c (dot) org)
145		Date: 2004/05/20 16:00:00 CDT
146		Tag: blume-20040520-win32
147		Description:
148
149		Made the win32 version work again.  (Strangely, a misplaced comma had
150		slipped into win32-process.c which prevented the runtime from being
151		compiled correctly.)
152
153		Also, included a minor addition to ml-build.bat analogous to what was
154		done in blume-20040519-ml-build.
155
156		----------------------------------------------------------------------
157		Name: Matthias Blume (blume (at) tti - c (dot) org)
158		Date: 2004/05/19 22:10:00 CDT
159		Tag: blume-20040519-ml-build
160		Description:
161
162		Arranged for ml-build to clean up after itself a little bit better.
163		The script generates a temporary SML source file and compiles it using
164		CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
165		gets rid of those at the end, so they don't accumulate under .cm.
166
167		This required a minor change to install.sh because the name of the
168		metadata directory (default: .cm) is actually configurable at
169		installation time.
170
171		----------------------------------------------------------------------
172		Name: Matthias Blume (blume (at) tti - c (dot) org)
173		Date: 2004/05/18 15:50:00 CDT
174		Tag: blume-20040518-mkreader
175		Description:
176
177		Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
178		implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
179
180		----------------------------------------------------------------------
181		Name: Matthias Blume (blume (at) tti - c (dot) org)
182		Date: 2004/05/11 14:35:00 CDT
183		Tag: blume-20040511-win32sock
184		Description:
185
186		Added previously missing support for many socket-related functions
187		under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
188		for the voluminous patch!
189
190		(I have not tested this patch under win32 yet.)
191
192		Here is David's e-mail:
193
194		Hi,
195
196		Attached to this email you find a diff against sml/nj 110.45
197		that will enable socket support under Windows.
198
199		To apply the patch (using unix or cygwin)
200		1) gunzip runtime.diff.gz
201		2) "cd" into "src/runtime" in the source tree of a fresh
202		110.45 installation.
203		3) patch -p 1 < [your/path/to]runtime.diff
204
205		The code compiles fine but has NOT yet been extensively tested.
206		I only ran a few tests for basic socket client functionality
207		(which worked fine).  Especially the functions that use ioctl
208		are not tested at all and might not work (see below).
209
210		I implemented this since we want to move to a newer version of sml/nj
211		but need socket support in order to use it.  This is the first time I
212		even had a look at the sml/nj source,  so please review my changes
213		before making this part of the distribution!  Here are a few issues
214		that I think might be better for someone to solve who is more
215		familiar with the sml/nj source (and socket programming):
216
217		- getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
218		exception since I could not figure out what the windows equivalent
219		of these functions is
220
221		- In sockets-osdep.h there are a some #include statements that are
222		only used in a few files that include sockets-osdep.h
223
224		- In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
225		does not process its return value since I don't know how to
226		report an error upwards.
227
228		- It would probably be good to have a call to WSACleanup() when
229		the library is unloaded (if there is such a possibility).
230		Otherwise I think Windows will take care of this automatically
231		when the process finishes.
232
233		- I used ioctlsocket() as a replacement for ioctl() but I have
234		no idea if that is actually the proper replacement on Windows.
235
236		- All these issues are marked in the code by "FIXME" comments.
237
238		We use sml/nj extensively in our products and are quite happy
239		with it.  I hope this contribution will help you.
240
241		Keep up the good work!
242
243		David
244
245		----------------------------------------------------------------------
246		Name: Matthias Blume (blume (at) tti - c (dot) org)
247		Date: 2004/05/11 14:20:00 CDT
248		Tag: blume-20040511-installml
249		Description:
250
251		Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
252		the patch.)
253
254		----------------------------------------------------------------------
255		Name: Matthias Blume (blume (at) tti - c (dot) org)
256		Date: 2004/05/11 14:05:00 CDT
257		Tag: blume-20040511-nlffi-netbsd
258		Description:
259
260		Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
261		the patch.)
262
263		----------------------------------------------------------------------
264		Name: Matthias Blume (blume (at) tti - c (dot) org)
265		Date: 2004/05/11 12:05:00 CDT
266		Tag: blume-20040511-exports
267		Description:
268
269		As per request by Adam Chlipala <adam@hcoop.net>, extended various
270		export lists in compiler-related .cm-files.
271
272		----------------------------------------------------------------------
273		Name: Matthias Blume (blume (at) tti - c (dot) org)
274		Date: 2004/05/11 11:35:00 CDT
275		Tag: blume-20040511-allsource
276		Description:
277
278		The installer now honors the "src-smlnj" target again, although its meaning
279		has changed from "all sources required for the compiler" to "all sources
280		the installer knows about".  In other words, if you enable "src-smlnj"
281		in the "targets" file, then the installer will pull in sources for
282		everything.  (Notice that this refers to source code only.  Compiled
283		code is still only installed for modules that were requested explicitly
284		or which are required for other modules that were requested explicitly.)
285
286		----------------------------------------------------------------------
287		Name: Matthias Blume (blume (at) tti - c (dot) org)
288		Date: 2004/04/23 17:40:00 CDT
289		Tag: blume-20040423-ieee-scan
290		Description:
291
292		Fixed IEEEReal.scan (and .fromString) so that if there is an overflow
293		in the exponent calculation we get INF or ZERO (depending on the mantissa
294		and the sign of the exponent).
295
296		----------------------------------------------------------------------
297		Name: Matthias Blume (blume (at) tti - c (dot) org)
298		Date: 2004/04/23 10:40:00 CDT
299		Tag: blume-20040423-ml-build
300		Description:
301
302		The ml-build script now terminates with a non-0 status when something
303		goes wrong.
304
305		----------------------------------------------------------------------
306		Name: Matthias Blume (blume (at) tti - c (dot) org)
307		Date: 2004/04/22 16:35:00 CDT
308		Tag: blume-20040422-Option
309		Description:
310
311		Made exception Option to be the same as exception Option.Option
312		(as it should be).
313
314		----------------------------------------------------------------------
315		Name: Allen Leung (leunga (at) reservoir (dot) com)
316		Date: 2004/03/19 14:40:00 EST
317		Tag: leunga-20040319-cygwin-nlffi
318		Description:
319
320		Fixed the runtime so that ml-nlffi-lib runs on the cygwin version
321		of SML/NJ.  The problem is that
322
323		lib = dlopen(NULL, ...)
324		f   = dlsym(lib, "malloc");
325
326		does not work on Windows unless we explicitly export symbols
327		such as 'malloc' during linking.  We fixed this by explicitly
328		exporting the required symbols with the magic gcc incantation:
329
330		-Wl,--export-all cygwin.def
331
332		where cygwin.def is a file containing all the symbols that
333		we wish to export.
334
335		I suspect this is a Windows problem and we'll have to
336		do the same (somehow with windows compilers) when
337		we build the native win32 version with the system
338		calls LoadLibrary/GetProcAddress.
339
340		----------------------------------------------------------------------
341		Name: Matthias Blume (blume (at) tti - c (dot) org)
342		Date: 2004/03/04 16:35:00 CST
343		Tag: blume-20040304-intinf-fmt
344		Description:
345
346		Fixed problem with IntInf.fmt (sign would show up on the right instead
347		of on the left for BIN, OCT, and HEX).
348
349		----------------------------------------------------------------------
350		Name: Matthias Blume (blume (at) tti - c (dot) org)
351		Date: 2004/03/04 11:25:00 CST
352		Tag: blume-20040304-symlinks
353		Description:
354
355		Fixed problem with installer script (unix only) where bin/ml-yacc and
356		friends pointed (via symlinks) to absolute locations instead of just
357		.run-sml.  This was reported by Vesa A Norrman.
358
359		----------------------------------------------------------------------
360		Name: Matthias Blume (blume (at) tti - c (dot) org)
361		Date: 2004/02/13 14:50:00 CST
362		Tag: Release_110_45
363		Description:
364
365		New working version (110.45). New bootfiles.
366
367		----------------------------------------------------------------------
368		Name: Matthias Blume (blume (at) tti - c (dot) org)
369		Date: 2004/01/26 15:15:15 CST
370		Tag: blume-20040126-toplevel
371		Description:
372
373		Improved handling of exceptions at the interactive toplevel.
374
375		----------------------------------------------------------------------
376		Name: Matthias Blume (blume (at) tti - c (dot) org)
377		Date: 2004/01/26 11:25:00
378		Tag: blume-20040126-app
379		Description:
380
381		Type of top-level "app" corrected.
382		Added code for setting vp_limitPtrMask to Win32-specific runtime.
383
384		----------------------------------------------------------------------
385		Name: Matthias Blume (blume (at) tti - c (dot) org)
386		Date: 2003/11/18 17:10 CST
387		Tag: blume-20031118-basis-fiddle
388		Description:
389
390		- changed Timer interface to what might become the spec
391		- POSIX_FLAGS -> BIT_FLAGS according to spec
392		- some other minor discrepancies wrt. spec eliminated
393
394		----------------------------------------------------------------------
395		Name: Matthias Blume (blume (at) tti - c (dot) org)
396		Date: 2003/11/06 12:00:00 CST
397		Tag: Release_110_44
398		Description:
399
400		New working version (110.44). New bootfiles.
401
402		----------------------------------------------------------------------
403		Name: Matthias Blume (blume (at) tti - c (dot) org)
404		Date: 2003/11/04 11:50:00 CST
405		Tag: blume-20031104-move-libraries
406		Description:
407
408		Eliminated the "dont_move_libraries" directive in config/targets.
409		(The mechanism was broken and could not be fixed easily.  Moreover,
410		there does not seem to be any reason not to move all libraries into
411		lib during installation.  I originally implemented this directive as a
412		backward-compatibility feature when I first introduced the new CM.
413		Now that things have been stable for a long time and going back to the
414		old CM is not an option, there is no reason to keep it around.)
415
416		----------------------------------------------------------------------
417		Name: Matthias Blume (blume (at) tti - c (dot) org)
418		Date: 2003/11/03 16:00:00 CST
419		Tag: blume-20031103-installdir
420		Description:
421
422		Made installer honor INSTALLDIR variable again.  (Thanks to Chris
423		Richards for pointing out the problem and providing the solution.)
424
425		----------------------------------------------------------------------
426		Name: Matthias Blume (blume (at) tti - c (dot) org)
427		Date: 2003/10/01 17:05:00 CDT
428		Tag: blume-20031001-lal-mlrisc
429		Description:
430
431		MLRISC bug fix from Lal.
432
433		----------------------------------------------------------------------
434		Name: Matthias Blume (blume (at) tti - c (dot) org)
435		Date: 2003/09/30 16:10:00 CDT
436		Tag: blume-20030930-primio-bat
437		Description:
438
439		1. Added openVector, nullRd, and nullWr to PRIM_IO.
440		2. Improved .bat files (for Win32 port) to make things work under Win95.
441		(thanks to Aaron S. Hawley for this one)
442
443		----------------------------------------------------------------------
444		Name: Matthias Blume (blume (at) tti - c (dot) org)
445		Date: 2003/09/26 16:05:00 CDT
446		Tag: blume-20030926-wrappriv
447		Description:
448
449		Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
450
451		----------------------------------------------------------------------
452		Name: Matthias Blume (blume (at) tti - c (dot) org)
453		Date: 2003/09/26 15:00:00 CDT
454		Tag: blume-20030926-110_43_3
455		Description:
456
457		- additional cleanup
458		- version number bump, NEW BOOTFILES
459
460		----------------------------------------------------------------------
461		Name: Matthias Blume (blume (at) tti - c (dot) org)
462		Date: 2003/09/26 12:00:00 CDT
463		Tag: blume-20030926-ppautoload
464		Description:
465
466		I modified the read-eval-print loop so that the autoloader gets
467		invoked whenever the prettyprinter tries to look up a symbol that
468		is not currently defined in the toplevel environment but which
469		appears in CM's autoload registry.  As a result, we see far fewer of
470		those ?.Foo.Bar.xxx names in the prettyprinter's output.
471
472		In addition to this I tried to clean up some pieces of the Basis
473		implementation (e.g., Socket, Word8Array) in order to prevent other
474		instances of these ?.Foo.Bar.xxx names from being printed.
475
476		The mechanism that picks names for types still needs some work, though.
477		(Right now it seems that if there is a type A.t which is defined to
478		be B.u, but B is unavailable at toplevel, then A.t gets printed as
479		"?.B.u" although the perhaps more sensible solution would be to use
480		"A.t" in this case.  In other words, the prettyprinter should follow
481		a chain of DEFtycs not farther than there are corresponding toplevel
482		names in the current environment.)
483
484		----------------------------------------------------------------------
485		Name: Matthias Blume (blume (at) tti - c (dot) org)
486		Date: 2003/09/24 16:31:00 CDT
487		Tag: blume-20030924-installer
488		Description:
489
490		Another installer tweak:  All the ML code for the installer is now
491		compiled during CMB.make and put into a little library called
492		$smlnj/installer.cm.  The installation then simply invokes
493
494		sml -m $smlnj/installer.cm
495
496		and everything happens automagically.
497
498		Win32:  ML code senses value of environment variable SMLNJ_HOME.
499		Unix:   ML code senses values of environment variables ROOT, CONFIGDIR,
500		and BINDIR.
501
502		The new scheme guarantees that the ML code responsible for the installation
503		is in sync with the APIs of the main system.  Also, the installer is
504		somewhat faster because the installer script is precompiled.
505
506		----------------------------------------------------------------------
507		Name: Matthias Blume (blume (at) tti - c (dot) org)
508		Date: 2003/09/24 15:35:00 CDT
509		Tag: blume-20030924-synsock
510		Description:
511
512		Added a signature SYNCHRONOUS_SOCKET to basis.cm.  This is like SOCKET
513		but excludes all non-blocking operations.  Defined SOCKET (in Basis)
514		and CML_SOCKET in terms of SYNCHRONOUS_SOCKET.  Removed superfluous
515		implementations of non-blocking operations from CML's Socket
516		structure.
517
518		----------------------------------------------------------------------
519		Name: Matthias Blume (blume (at) tti - c (dot) org)
520		Date: 2003/09/24 15:10:05 CDT
521		Tag: blume-20030924-sockets
522		Description:
523
524		1. Fixed SOCKET API and implementation to match Basis spec.
525		This required changing the internal representation of sockets to one
526		that remembers (for each socket file descriptor) whether it is currently
527		blocking or non-blocking.  This state is maintained lazily (i.e., a system
528		call is made only if the state actually needs to change).
529
530		2. OS-specific details of sockets were moved into separate files, thus
531		making it possible to unify the bulk of the socket implementations
532		between Unix and Win32.
533
534		3. CML's socket API changed accordingly.
535		(Note that we need to remove non-blocking functions from this API
536		since they are redundant in the case of CML!)
537
538		4. CML's socket implementation now makes use of non-blocking functions
539		provided by Basis, thus removing all OS-dependent code from this part
540		of CML.
541
542		5. Changed Real64.precision from 52 to 53.  Minor cleanup in Real64 code.
543
544		----------------------------------------------------------------------
545		Name: Matthias Blume (blume (at) tti - c (dot) org)
546		Date: 2003/09/22 12:10:00 CDT
547		Tag: blume-20030922-110_43_2
548		Description:
549
550		Made a new interim version and bootfiles for developer's bootstrapping
551		convenience.
552
553		110.43.2 -- NEW BOOTFILES
554
555		----------------------------------------------------------------------
556		Name: Matthias Blume (blume (at) tti - c (dot) org)
557		Date: 2003/09/19 15:55:00 CDT
558		Tag: blume-20030919-cmdir
559		Description:
560
561		1. new-install.sh -> install.sh
562		2. changed default CM "metadata" directory name to ".cm" (instead of "CM")
563		3. tweaked installer so that another name instead of .cm can be chosen
564		at install time (by setting the CM_DIR_ARC environment variable
565		during installation); once installation is complete, the name is
566		fixed
567
568		----------------------------------------------------------------------
569		Name: Matthias Blume (blume (at) tti - c (dot) org)
570		Date: 2003/09/18 16:00:00 CDT
571		Tag: blume-20030918-110_43_1
572		Description:
573
574		Made a new interim version and bootfiles for developer's bootstrapping
575		convenience.
576
577		110.43.1 -- NEW BOOTFILES
578
579		----------------------------------------------------------------------
580		Name: Matthias Blume (blume (at) tti - c (dot) org)
581		Date: 2003/09/18 15:20:00 CDT
582		Tag: blume-20030918-misc
583		Description:
584
585		1. Exported fractionsPerSecond etc. from TimeImp (but not from Time as
586		this seems to be controversial at the moment) and used those in
587		Posix.ProcEnv.times.
588
589		2. Added Time.{from,to}Nanoseconds to Time.
590
591		3. Improved Real.{from,to}LargeInt by avoiding needless calculations.
592		For example, fromLargeInt never needs to look at more than 3 "big
593		digits" to get its 53 bits of precision.
594
595		----------------------------------------------------------------------
596		Name: Matthias Blume (blume (at) tti - c (dot) org)
597		Date: 2003/09/17 16:30:00 CDT
598		Tag: blume-20030917-real32-slices
599		Description:
600
601		Added an entry to the primitive environment
602		(compiler/Semant/statenv/prim.sml) for int32->real64 conversion and
603		added code to compiler/CodeGen/main/mlriscGen.sml to implement it.
604
605		Removed some of the "magic" constants in real64.sml and replaced them
606		with code that generates these values from their corresponding
607		integer counterparts.
608
609		Made all(?) the slice-related changes to the Basis and made everything
610		compile again...
611
612		----------------------------------------------------------------------
613		Name: Matthias Blume (blume (at) tti - c (dot) org)
614		Date: 2003/09/15 17:45:00 CDT
615		Tag: blume-20030915-rbase
616		Description:
617
618		Fixed bug in Real.fromLargeInt.
619
620		----------------------------------------------------------------------
621		Name: Matthias Blume (blume (at) tti - c (dot) org)
622		Date: 2003/09/13 18:11:00 CDT
623		Tag: blume-20030913-libinstall
624		Description:
625
626		Minor bugfix in config/libinstall (set anchor with path to
627		standalone tool after installing it, otherwise libraries that
628		need ml-lex or ml-yacc won't compile the first time the installer
629		runs).
630
631		----------------------------------------------------------------------
632		Name: Matthias Blume (blume (at) tti - c (dot) org)
633		Date: 2003/09/12 11:45:00 CDT
634		Tag: blume-20030912-various
635		Description:
636
637		- fixed bug in Real.toLargeInt
638		- fixed bug in Posix.ProcEnv.times
639		- changed inputLine functions to return an option
640		- minor installer improvements / bugfixes
641		- changed default @SMLalloc parameter for x86/celeron to 64k
642
643		----------------------------------------------------------------------
644		Name: Matthias Blume (blume (at) tti - c (dot) org)
645		Date: 2003/09/09 22:00:00 CDT
646		Tag: Release_110_43
647		Description:
648
649		New working release 110.43.  New bootfiles.
650
651		----------------------------------------------------------------------
652		Name: Matthias Blume (blume (at) tti - c (dot) org)
653		Date: 2003/09/09 19:20:00 CDT
654		Tag: blume-20030909-installer
655		Description:
656
657		Rewrote large parts of config/install.sh in SML (config/libinstall.sml).
658		Modified config/install.bat to take advantage of it.  Also modified
659		config/install.sh (and called it config/new-install.sh) to take advantage
660		of it on Unix systems.  (The SML code is (supposed to be) platform-
661		independent.)
662
663		The installer can now install everything under Win32
664		as well as under *nix as long as it compiles.
665
666		Other changes:
667
668		- made CML compile again under Win32
669		- made eXene compile under Win32 (by providing a fake structure UnixSock
670		and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv)
671		- fixed a bug in nowhere: it assumed that type OS.Process.status is the
672		same as type int;  under Win32 it isn't
673		- fixed some slice-related problems in the win32-specific parts of CML
674		- added a functor argument "sameVol" to os-path-fn.sml in the Basis
675		(under Win32, the volume name is case-insensitive, and the
676		OS.Path code compares volume names for equality)
677
678		----------------------------------------------------------------------
679		Name: Matthias Blume (blume (at) tti - c (dot) org)
680		Date: 2003/09/08 11:55:00 CDT
681		Tag: blume-20030908-fullpath
682		Description:
683
684		Made Win32 version of OS.FileSys.fullPath return current directory
685		when given an empty string.  This is what the spec says, and incidentally,
686		CM depends on it.  (CM otherwise goes into an infinite loop in certain
687		cases when presented with the name of a non-existing .cm file.)
688
689		----------------------------------------------------------------------
690		Name: Matthias Blume (blume (at) tti - c (dot) org)
691		Date: 2003/09/04 16:30:00 CDT
692		Tag: blume-20030905-slices-etc
693		Description:
694
695		1. Changed interface to vectors and arrays in Basis to match
696		(draft) Basis spec.
697		2. Added signatures and implementations of slices according to
698		Basis spec.
699		3. Edited source code throughout the system to make it compile again
700		under 1. and 2.  (In some cases code had to be added to have it
701		match the new signatures.)
702		4. MLRISC should be backward-compatible: the copies of the originals
703		of files that needed to change under 3. were retained, the .cm files
704		check the compiler version number and use old versions when
705		appropriate.
706		5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to
707		dirstream -> string option (in accordance with Basis spec).
708		6. When generating code that counts lines, ml-lex used function
709		CharVector.foldli, taking advantage of its old interface.
710		This has been replaced with the corresponding code from
711		CharVectorSlice.  (html-lex must be re-lexed!)
712		7. BitArray in smlnj-lib/Util has been extended/modified to match the
713		new MONO_ARRAY signature.  (Do we need BitArraySlice?)
714		8. Removed temporary additions (fromInternal, toInternal) from the
715		(now obsolete) IntInf in smlnj-lib/Util.
716		9. Cleaned up structure Byte.
717		10. Added localOffset, scan, and fromString to Date (according to spec).
718		Cleaned/corrected implementation of Date.
719		(Still need to check for correctness; implement better canonicalizeDate.)
720		11. Added "scan" to signature IEEE_REAL.
721		12. Some improvements to IntInf [in particular: efficiency-hack for
722		mod and rem when second operand is 2 (for parity checks).]
723		13. Changed representation of type Time.time, using a single IntInf.int
724		value counting microseconds.  This considerably simplified the
725		implementation of structure Time.  We now support negative time
726		values; scan and fromString handle signs.
727		14. Functor PrimIO now takes two additional arguments (VectorSlice and
728		ArraySlice).
729
730		----------------------------------------------------------------------
731		Name: Matthias Blume (blume (at) tti - c (dot) org)
732		Date: 2003/08/28 17:00:00 CDT
733		Tag: blume-20030828-intinf
734		Description:
735
736		This is a major update which comes with a version number bump
737		(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES,
738		and an implementation of IntInf in the Basis.
739
740		There are a fairly large number of related changes and updates throughout
741		the system:
742
743		Basis:
744		- Implemented IntInf.
745		- Made LargeInt a projection of IntInf (by filtering through INTEGER).
746		- Added some missing Real64 operations, most notably Real.toLargeInt.
747		- Added FixedInt as a synonym for Int32.
748
749		compiler:
750		* Added support for a built-in intinf type.
751		- literals
752		- pattern matching
753		- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.)
754		- overloading on literals and operations
755
756		This required adding a primitive type intinf, some additional
757		primops, and implementations for several non-trivial intinf
758		operations in Core.  (The intinf type is completely abstract
759		to the compiler; all operations get delegated back to the Core.)
760
761		* Intinf equality is handled by polyequal.  However, the compiler
762		does not print its usual warning in this case (since polyequal
763		is the right thing to do there).
764
765		* Improved the organization of structure InlineT.
766
767		* A word about conversion primops:
768		If conversions involving intinf do not cancel out during
769		CPS contract, then the compiler must insert calls to Core functions.
770		Since all core access must be resolved already during the FLINT
771		translate phase, it would be too late a the time of CPS contract
772		to add new Core calls.  For this reason, conversion primops
773		for intinf carry two arguments:  1. the numeric argument that
774		they are supposed to convert, and 2. the Core function that
775		can help with this conversion if necessary.  If CPS contract
776		eliminates a primop, then the associated Core function becomes
777		dead and goes away.  Intinf conversion primops that do not get
778		eliminated by CPS contract get rewritten into calls of their
779		core functions by a separate, new phase.
780
781		interactive system:
782		- Control.Print.intinfDepth controls max length of intinf constants
783		being printed. (Analogous to Control.Print.stringDepth.)
784		- Cleanup in printutil and pputil: got rid of unused stuff and
785		duplicates; replaced some of the code with code that makes better
786		use of library functionality.
787
788		CM:
789		Bugfix: parse-errors in init group (system/smlnj/init/init.cmi)
790		are no longer silent.
791
792		CKIT:
793		Fixed mismatched uses of Int32 and LargeInt.  I always decided
794		in favor of LargeInt -- which is now the same as IntInf.
795		CKIT-knowledgable people should check whether this is what's
796		intended and otherwise change things back to using Int32 or
797		FixedInt.
798
799		Throughout the code:
800		Started using IntInf.int literals and built-in operations
801		(e.g., comparison with 0) where this seems appropriate.
802
803
804		----------------------------------------------------------------------
805		Name: Dave MacQueen (dbm@cs.uchicago.edu)
806		Date: 2003/08/13 11:36:00 CDT
807		Tag: dbm-20030813-mcz-merge1
808		Description:
809
810		Merging changes from the mcz-branch development branch into trunk.
811		These changes involve replacement of the emulated old prettyprinter
812		interface with direct use of the SML/NJ Lib PP library, and fixing
813		of a couple of bugs (895, 1186) relating to error messages.  A new
814		prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
815		has been added.
816
817		----------------------------------------------------------------------
818		Name: Matthias Blume (blume (at) tti - c (dot) org)
819		Date: 2003/08/11 15:45:00 CDT
820		Tag: blume-20030811-windows
821		Description:
822
823		Version number bumped to 110.42.9.  NEW BOOTFILES!!!
824
825		http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
826
827		This patch restores SML/NJ's ability to run under win32.  There are a
828		number of changes, including fixes for several bugs that had gone
829		unnoticed until now:
830
831		- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
832		trying to run the win32 version from within cygwin.)
833
834		- There are a number of simple .bat scripts that substitute for their
835		corresponding Unix shell-scripts.  (See below.)
836
837		- The internals of ml-build have been modified slightly.  The main
838		difference is that instead of calling ".link-sml" (or link-sml.bat)
839		using OS.Process.system, the ML process delegates this task back
840		to the script.  Otherwise problems arise in mixed environments such
841		as Cygwin where scripts look and work like Unix scripts, but
842		where OS.Process.system cannot run them.
843
844		- In CM, the srcpath pickler used native pathname syntax -- which
845		is incorrect in the case of cross-compilation.  The new pickle format
846		is independent of platform-specific naming conventions.
847
848		- Path configuration files (such as lib/pathconfig) can now choose
849		between native and standard syntax.  Placing a line of the form
850
851		standard!
852
853		into the file causes all subsequent paths to be interpreted using
854		CM standard pathname syntax (= Unix conventions); a line
855
856		native!
857
858		switches back to native style.  This was needed so that
859		path config files can be written portably, see src/system/pathconfig.
860
861		- Runtime system:
862
863		- win32-filesys.c:  get_file_time and set_file_time now
864		access modification time, not creation time.
865
866		- I/O code made aware of new array representation.
867
868		- Bug fixes in X86.prim.masm.
869
870		- src/system/makeml made aware of win32. (For use under cygwin
871		and other Unix-environments for windows.)
872
873		- In Basis, fixed off-by-one error in win32-io.sml (function vecF)
874		which caused BinIO.inputAll to fail consistently.
875
876		.bat scripts:
877
878		Windows .bat scripts assume that SMLNJ_HOME is defined.
879
880		- sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
881		applications (sml, ml-yacc, ml-lex).
882		- ml-build.bat: analogous to ml-build.
883		- config\install.bat:  Analogous to config/install.sh.  This requires
884		that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
885		(nmake etc. must be on the path, and vcvars32 must have been run.)
886		Moreover, sources for ml-lex and ml-yacc need to exist under src,
887		and the bootfile hierarchy must have been unpacked under
888		sml.boot.x86-win32.
889		The script is very primitive and does a poor job at error checking.
890		It only installs the base system, ml-lex, and ml-yacc.  No other
891		libraries are being installed (i.e., you get only those that
892		are part of the compiler.)
893		- link-sml.bat:  analogous to .link-sml, but not currently used
894
895		Unrelated bug fixes:
896
897		- ml-nlffigen now exports structures ST_* corresponding to incomplete
898		types.
899		- Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
900		otherwise.)
901
902		----------------------------------------------------------------------
903		Name: Dave MacQueen (macqueen@cs.uchicago.edu)
904		Date: 2003/06/17
905		Tag: macqueen-20030617-bug895
906		Description:
907
908		Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
909		Tag will be used for new development branch (mcz-branch) for
910		use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
911
912		----------------------------------------------------------------------
913		Name: Matthias Blume (blume (at) tti - c (dot) org)
914		Date: 2003/05/27 16:55:00 CDT
915		Tag: blume-20030527-polyeq
916		Description:
917
918		Tried to eliminated most cases of polymorphic equality.
919
920		----------------------------------------------------------------------
921		Name: Matthias Blume (blume (at) tti - c (dot) org)
922		Date: 2003/05/21 17:45:00 CDT
923		Tag: blume-20030517-complete
924		Description:
925
926		Two changes:
927
928		1. Added a flag for controlling whether non-exhaustive bindings will
929		be treated as errors (default is false).
930		2. Cleaned up the *entire* source tree so that CMB.make goes through
931		without a single non-exhaustive match- or bind warning.
932
933		----------------------------------------------------------------------
934		Name: Matthias Blume (blume (at) tti - c (dot) org)
935		Date: 2003/05/17 10:20:00 CDT
936		Tag: blume-20030517-absyn
937		Description:
938
939		1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
940
941		This mainly affects the quality of error messages.  However, some
942		of the code is now more straightforward than before. (Treatment of
943		the above four constructs in translate.sml is much simpler than
944		the "macro-expansion" that was going on before.  Plus, the mach-
945		compiler no longer gets invoked just to be able to compile an
946		if-expression.)
947
948		2. The ErrorMsg.Error exception is now caught and absorbed by the
949		interactive loop.
950
951		----------------------------------------------------------------------
952		Name: Allen Leung
953		Date: 2003/05/16 13:05:00 CDT
954		Tag: leunga-20030516-cygwin-runtime
955		Description:
956
957		Ported the runtime system to cygwin, which uses the unix
958		x86-unix bin files.  Missing/buggy features:
959
960		o getnetbyname, getnetbyaddr: these functions seem to be missing in
961		the Cygwin library.
962		o Ctrl-C handling may be flaky.
963		o Windows system calls and Windows I/O are not supported.
964
965		A new set of binfiles is located at:
966
967		http://www.dorsai.org/~leunga/boot.x86-unix.tgz
968
969		This is only needed for bootstrapping the cygwin version of smlnj.
970		Other x86 versions can use the existing binfiles.
971
972		----------------------------------------------------------------------
973		Name: Matthias Blume
974		Date: 2003/04/08 15:42:00 CDT
975		Tag: blume-20030408-listpair
976		Description:
977
978		1. Added a target 'mlrisc' to installer.
979
980		2. Added missing elements to structure ListPair.
981
982		----------------------------------------------------------------------
983		Name: Allen Leung
984		Date: 2003/01/07 10:40:00 EST
985		Tag: leunga-20030107-int-rem
986		Description:
987
988		Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
989		The arguments to the SUBL instruction were swapped.
990
991		----------------------------------------------------------------------
992		Name: Matthias Blume
993		Date: 2002/12/12 16:25:00 EST
994		Tag: blume-20021212-risc-ra
995		Description:
996
997		Fixed a serious bug in the rewrite code for FP spilling/reloading that
998		sent the RA into an infinite loop when floating point registers get
999		spilled.  (Because of this bug, e.g., nucleic stopped compiling between
1000		110.37 and 110.38.)
1001		There was another set of potential problems related to the handling of
1002		MLRISC annotations (but those did not yet cause real problems, apparently).
1003
1004		----------------------------------------------------------------------
1005	Name: Matthias Blume	Name: Matthias Blume
1006	Date: 2002/12/06 22:40:00 EST	Date: 2002/12/06 22:40:00 EST
1007	Tag: blume-20021206-cm-fileid	Tag: blume-20021206-cm-fileid

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1291   changed lines   Added in v.1539

---

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