Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1427, Tue Nov 18 23:08:15 2003 UTC	revision 1634, Tue Sep 28 15:53:10 2004 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume (blume (at) tti - c (dot) org)	Name: Matthias Blume (blume (at) tti - c (dot) org)
17		Date: 2004/09/28 10:53:00 CDT
18		Tag: blume-20040928-controls
19		Description:
20
21		Some cleanup of the controls code.
22
23		----------------------------------------------------------------------
24		Name: Matthias Blume (blume (at) tti - c (dot) org)
25		Date: 2004/09/27 22:08:00 CDT
26		Tag: blume-20040927-controls
27		Description:
28
29		Added two pieces of functionality to the Controls interface:
30
31		1.   val save'restore: 'a control -> unit -> unit
32
33		grabs the current value of the control in stage 1 and restores it
34		in stage 2.
35
36		2.   val set' : 'a control * 'a -> unit -> unit
37
38		stores the given value into the control in stage 2 (i.e., delayed)
39		but does all error checking in stage 1.
40		(This is for string controls that need to do parse their argument --
41		something that might fail.  In some cases, notably in CM, one
42		already knows the intended argument but wants to delay the actual
43		assignment until a time when error recovery would be more difficult.)
44
45		Changed the handling of controls in tool arguments to classes "sml" and
46		"lazysml":
47		- use Controls.save'restore as a more robust way of restoring the
48		old value (in particular: without having to re-parse the string)
49		- use controls to handle the "overload" keyword in the init group
50		(I believe this change actually fixes a long-standing obscure bug.)
51
52		----------------------------------------------------------------------
53		Name: Matthias Blume (blume (at) tti - c (dot) org)
54		Date: 2004/09/27 17:00:00 CDT
55		Tag: blume-20040927-lazysml
56		Description:
57
58		Added a new tool class called "lazysml" to CM's tool chest.  The only
59		difference to "sml" is that compilation is done with Control.lazysml
60		set to true.  A source of class "lazysml" is automatically recognized
61		by a file name suffix of ".lml".
62
63		In addition to the above feature, the original class "sml" now also
64		supports a tool argument "lazy" which has the same effect.  As a
65		result, the following three lines are equivalent:
66
67		foo.sml : lazysml
68		foo.sml : sml (lazy)
69		foo.sml (lazy)
70
71		The setting goes into effect both during parsing and during
72		compilation.  The original setting is restored right after parsing and
73		after compilation, respectively.
74
75		In addition to all the above, there is also a general mechanism to set
76		ANY of the "controls" that are available at the command line via
77		"-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
78		apply as well. (In fact, "lazy" is implemented as a special case of
79		the general mechanism.)
80
81		The .cm file syntax uses a new keyword tool argument called "with".
82		There are several ways of indicating the desired settings:
83
84		foo.sml (with:parser.quotations=true)
85		foo.sml (with:(name:parser.quotations value:true))
86		foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
87		foo.sml (with:(name1=value1 name2=value2 ...))
88		foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
89
90		etc.
91
92		Another possible abbreviation is to leave out the =v or value:v part
93		if the name refers to a boolean control (in which case the value is
94		taken to be true).  Thus, one could get lazy sml also by saying:
95
96		foo.sml (with:parser.lazy-keyword=true)
97		foo.sml (with:parser.lazy-keyword)
98		foo.sml (with:(name:parser.lazy-keyword value:true))
99		foo.sml (with:(name:parser.lazy-keyword))
100
101		----------------------------------------------------------------------
102		Name: Matthias Blume (blume (at) tti - c (dot) org)
103		Date: 2004/09/24 16:22:00 CDT
104		Tag: blume-20040924-ppc-long-branch
105		Description:
106
107		Turned message about "emiting long form of branch" off by default.
108		Added a control flag to turn it back on when desired.
109
110		----------------------------------------------------------------------
111		Name: Matthias Blume (blume (at) tti - c (dot) org)
112		Date: 2004/09/24 16:05:00 CDT
113		Tag: blume-20040924-rounding
114		Description:
115
116		Applied patch for setting rounding modes under Mac OS X.  Thanks to
117		Melissa O'Neill for providing the code!
118
119		----------------------------------------------------------------------
120		Name: Matthias Blume (blume (at) tti - c (dot) org)
121		Date: 2004/09/23 17:30:00 CDT
122		Tag: blume-20040923-envvars
123		Description:
124
125		1. Changed definition of type ControlRegistry.registry_tree to
126		include control_info (i.e., the name of the controlling environment
127		variable).
128
129		2. Added command-line flags -e and -E to print the names of environment
130		variables that can be used to control internal settings.
131		(This uses the new API mentioned in 1.)
132
133		----------------------------------------------------------------------
134		Name: Matthias Blume (blume (at) tti - c (dot) org)
135		Date: 2004/09/13 16:50:00 CDT
136		Tag: Release_110_49
137		Description:
138
139		New working version (110.49).  NEW BOOTFILES!
140
141		----------------------------------------------------------------------
142		Name: Matthias Blume
143		Date: 2004/09/13 16:20:00 CDT
144		Tag: blume-20040913-config-mlrisc
145		Description:
146
147		Put target "mlrisc" back into the default list.
148		(There is no harm in having it, and some users have expressed their
149		wish to have "mlrisc" included by default.)
150
151		----------------------------------------------------------------------
152		Name: John Reppy
153		Date: 2004/09/13
154		Tag: jhr-20040913-signals
155		Description:
156
157		Fixed the signal masking code to properly nest mask/unmask operations
158		on a per-signal basis.
159
160		----------------------------------------------------------------------
161		Name: Matthias Blume (blume (at) tti - c (dot) org)
162		Date: 2004/09/08 13:20:00 CDT
163		Tag: blume-20040908-heap-magic
164		Description:
165
166		Bumped the heap macig number to 0x09082004 to account for the changed
167		layout of the ML frame under MacOS X.
168
169		----------------------------------------------------------------------
170		Name: Allen Leung (leunga (at) reservoir (dot) com)
171		Date: 2004/09/03 11:26:00 EST
172		Tag: leunga-20040903-cygwin-install
173		Description:
174
175		Added a patch to _arch-n-opsys to enable the Cygwin runtime.
176		The Cygwin runtime is turned on by setting the environment
177		variable SMLNJ_CYGWIN_RUNTIME to 1.
178
179		----------------------------------------------------------------------
180		Name: Matthias Blume (blume (at) tti - c (dot) org)
181		Date: 2004/08/31 17:15:00 CDT
182		Tag: blume-20040831-core
183		Description:
184
185		Added some exports to src/compiler/core.cm upon request by J. Joemann.
186
187		----------------------------------------------------------------------
188		Name: Matthias Blume (blume (at) tti - c (dot) org)
189		Date: 2004/08/30 17:55:00 CDT
190		Tag: blume-20040830-installer
191		Description:
192
193		Upon request by Johannes Joemann:
194
195		- improved ML code of installer to fall back to coping when renaming
196		fails (i.e., when source and target are on different file systems);
197		the code compiles but has yet to be tested in anger
198		- removed mlrisc from list of default targets (config/targets)
199
200		----------------------------------------------------------------------
201		Name: Matthias Blume (blume (at) tti - c (dot) org)
202		Date: 2004/08/27 17:20:00 CDT
203		Tag: blume-20040827-ptreql
204		Description:
205
206		Added ptreql primop to structure InlineT (upon request from Larry
207		Paulson).
208
209		----------------------------------------------------------------------
210		Name: Allen Leung (leunga (at) reservoir (dot) com)
211		Date: 2004/08/15 21:21:00 EST
212		Tag: leunga-110_48-udgraph
213		Description:
214
215		Another bug fix from Carl Hauser:
216
217		diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
218		> 48c48
219		> <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
220		> e::L)
221		> ---
222		> >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
223		> Without this, any deletion of an edge in an undirected graph does severe
224		> violence to the graph.
225
226		----------------------------------------------------------------------
227		Name: Allen Leung (leunga (at) reservoir (dot) com)
228		Date: 2004/08/10 23:35:00 EST
229		Tag: leunga-110_48-ppc
230		Description:
231
232		The IBM/MacOS syntax switch on PPC was incorrectly swapped.
233
234		----------------------------------------------------------------------
235		Name: Matthias Blume (blume (at) tti - c (dot) org)
236		Date: 2004/08/10 12:00:00 CDT
237		Tag: Release_110_48
238		Description:
239
240		New working version (110.48).  NEW BOOTFILES!
241
242		----------------------------------------------------------------------
243		Name: Allen Leung (leunga (at) reservoir (dot) com)
244		Date: 2004/08/09 12:21:00 EST
245		Tag: leunga-110_47-dijsktra
246		Description:
247
248		Bug fix from Carl Hauser:
249
250		single_source_shortest_paths in dijkstra.sml was observed to get wrong
251		answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
252
253		The problem is that following the expression A.update(dist,s,Num.zero)
254		it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
255
256		----------------------------------------------------------------------
257		Name: Matthias Blume (blume (at) tti - c (dot) org)
258		Date: 2004/08/06 18:10:00 CDT
259		Tag: blume-20040806-cmdline
260		Description:
261
262		Fiddled with handling of command-line options:
263
264		* sml now quits after processing the command line
265		if -H, -S, -h<n>, or -s<n> appears as the last
266		command-line argument
267		* a new option -q terminates the session when encountered on
268		the command line; subsequent arguments will be ignored
269		* bug fixes: short (erroneous) arguments are no longer ignored
270		completely
271
272		----------------------------------------------------------------------
273		Name: Allen Leung (leunga (at) reservoir (dot) com)
274		Date: 2004/08/04 18:17:00 EST
275		Tag: leunga-110_47-ppc-ibm-asm
276		Description:
277
278		- Added minimal IBM assembly syntax support for PowerPC.
279
280		- Cygwin: manually changed the file cygwin.def.  Some exported symbols have
281		been altered in the runtime.  We need an automatic way to keep the file
282		in sync.
283
284		----------------------------------------------------------------------
285		Name: Matthias Blume (blume (at) tti - c (dot) org)
286		Date: 2004/08/04 14:00:00 CDT
287		Tag: Release_110_47
288		Description:
289
290		New working version (110.47).  NEW BOOTFILES!
291
292		----------------------------------------------------------------------
293		Name: Matthias Blume (blume (at) tti - c (dot) org)
294		Date: 2004/08/03 14:25:00 CDT
295		Tag: blume-20040803-callingconv
296		Description:
297
298		Added low-level support for choosing C calling conventions by
299		twiddling the type of rawccall.  (See
300		src/compiler/Semant/types/cproto.sml for details.)
301
302		----------------------------------------------------------------------
303		Name: Matthias Blume (blume (at) tti - c (dot) org)
304		Date: 2004/08/02 15:55:00 CDT
305		Tag: blume-20040802-backout
306		Description:
307
308		Backed out of change to win32-filesys.c.  The earlier patch to
309		get_file_time caused CM to produce files with the wrong time stamp.
310
311		----------------------------------------------------------------------
312		Name: Matthias Blume (blume (at) tti - c (dot) org)
313		Date: 2004/08/02 14:45:00 CDT
314		Tag: blume-20040802-nlffi-win32
315		Description:
316
317		Added NLFFI support for Win32, adapted from a patch provided by David
318		Hansel.  This is currently completely untested.  Also, the issue
319		concerning stdcall vs. ccall is still unresolved.
320
321		----------------------------------------------------------------------
322		Name: Matthias Blume (blume (at) tti - c (dot) org)
323		Date: 2004/07/30 17:55:00 CDT
324		Tag: blume-20040730-various
325		Description:
326
327		Gearing up towards 110.47...
328
329		- various minor bugfixes to ml-nlffigen
330		- a beginning of a manual for nlffi
331
332		- eliminated 'export name=value' in config/install.sh as this does
333		not work with certain versions of /bin/sh
334		(Thanks to David King at Motorola for catching this.)
335
336		- several bugfixes provided or suggested by David Hansel at Reactive Systems:
337		- added a test for tm==NULL to gmtime.c and localtime.c
338		- applied patch for incorrect GetFileTime under win32
339		- toSeconds -> toMilliseconds in Win32/win32-process.sml
340
341		----------------------------------------------------------------------
342		Name: Matthias Blume (blume (at) tti - c (dot) org)
343		Date: 2004/07/21 18:20:00 CDT
344		Tag: blume-20040721-nlffigen
345		Description:
346
347		- Fixed minor issue in ml-nlffigen: Now generate structure T_foo
348		for a typedef to an incomplete type, but leave out the "typ" member.
349		(This is just for consistency.)
350		- Started to produce what is supposed to become better (i.e., comprehensive)
351		documentation of what ml-nlffigen does and produces.
352
353		----------------------------------------------------------------------
354		Name: Matthias Blume (blume (at) tti - c (dot) org)
355		Date: 2004/07/14 16:25:00 CDT
356		Tag: blume-20040714-union
357		Description:
358
359		Added C_UNION to c-calls/c-types.sml and updated the machinery
360		(ml-nlffigen, cproto.sml) that conveys C function interface
361		information to the code generator.
362
363		However, the actual architecture-specific implementation of function
364		arguments and results that are C unions is still not implemented.
365
366		----------------------------------------------------------------------
367		Name: Allen Leung (leunga (at) reservoir (dot) com)
368		Date: 2004/07/14 14:38:00 EST
369		Tag: leunga-110_46_1-ppc-lwzu
370		Description:
371
372		Added these instructions to the PowerPC architecture:
373		LBZU(X), LHZU(X), LWZU(X),
374		STWU(X), STFDU, STFSU
375
376		etc...
377
378		Note: I haven't added their instruction encoding into the description.
379
380		----------------------------------------------------------------------
381		Name: Allen Leung (leunga (at) reservoir (dot) com)
382		Date: 2004/07/13 15:04:00 EST
383		Tag: leunga-110_46_1-ppc-lwarx
384		Description:
385
386		Added the two instructions LWARX and STWCX to the PowerPC
387		instruction set.
388
389		A (untested) rewrite of loop-structure.sml.  The old version
390		is completely broken.
391
392		----------------------------------------------------------------------
393		Name: Matthias Blume (blume (at) tti - c (dot) org)
394		Date: 2004/07/13 13:50:00 CDT
395		Tag: blume-20040713-nlffi
396		Description:
397
398		- use paramAlloc to report c-calls with too many arguments
399		(for PPC version where parameter area is pre-allocated)
400		- added ccall_maxargspace to machspec (to implement the above)
401		- made "make" commend in CM's "make" tool configurable
402		- added option (default: on) for passing the name of the SML/NJ's "bin"
403		directory to "make"; the call looks like this:
404
405		make <options> SMLNJ_BINDIR=<dir> <target>
406
407		This can be used by the Makefile to, e.g., pick the "right" version
408		of ml-nlffigen.
409		- minor code tweaks
410
411		----------------------------------------------------------------------
412		Name: Matthias Blume (blume (at) tti - c (dot) org)
413		Date: 2004/07/12 22:50:00 CDT
414		Tag: blume-110_46_1-macosx-nlffi
415		Description:
416
417		NLFFI under Mac OS X now working (sort of).  This is largely untested,
418		though.
419
420		Note:  1. You have to make a new, clean build of the runtime system.
421		2. There are new BOOTFILES, you have to use them!
422		(Doing the bootstrap process yourself would be *very* painful!
423		If you absolutely have to do it, build the system under
424		a different architecture and then cross-compile.)
425
426		Version bumped to 110.46.1 to account for runtime data format changes.
427
428		----------------------------------------------------------------------
429		Name: Matthias Blume (blume (at) tti - c (dot) org)
430		Date: 2004/06/18 14:30:00 CDT
431		Tag: blume-20040618-unix
432		Description:
433
434		Changed the implementation of structure Unix so that the same stream
435		is returned every time one of the {text,bin}{In,Out}streamOf functions
436		is invoked on the same proc.  This is not what the spec currently
437		says -- although IMO it arguably should.  (See discussion below.)
438
439		----------------------------------------------------------------------
440		Name: Matthias Blume (blume (at) tti - c (dot) org)
441		Date: 2004/06/17 18:15:00 CDT
442		Tag: Release_110_46
443		Description:
444
445		New working version (110.46).  NEW BOOTFILES!
446
447		----------------------------------------------------------------------
448		Name: Matthias Blume (blume (at) tti - c (dot) org)
449		Date: 2004/06/17 17:20:00 CDT
450		Tag: blume-20040617-timer-unix
451		Description:
452
453		Changed the interface of structures Timer and Unix to match the most
454		recent Basis spec.
455
456		In the case of Unix there still seems to be an open/weird issue:
457
458		The {text,bin}{In,Out}streamOf functions are supposed to create
459		fresh streams whenever they are called -- as opposed to have them
460		return the same stream every time.  This design is supposed to
461		prevent space leaks caused by proc values hanging on to streams.
462
463		The reap function, on the other hand, is supposed to close the
464		streams.  This cannot be done without having a handle on the
465		stream in proc after all...
466
467		I took the liberty to implement the following stopgap solution:
468
469		The proc value hangs on to the most recently created stream(s).
470		Reap closes those.  If either or both of the two streams hadn't
471		been created at all yet, then reap will close the corresponding
472		file descriptors directly.
473
474		PS: I don't understand the original space leak argument anymore.  If
475		a proc hangs on to the imperative stream, then I/O operations on those
476		will advance the state of the cached stream and avoid the space leak.
477
478		----------------------------------------------------------------------
479		Name: Matthias Blume (blume (at) tti - c (dot) org)
480		Date: 2004/05/28 16:45:00 CDT
481		Tag: blume-20040528-basis
482		Description:
483
484		Added signature PACK_REAL and exported functor PrimIO.
485
486		----------------------------------------------------------------------
487		Name: Matthias Blume (blume (at) tti - c (dot) org)
488		Date: 2004/05/25 16:00:00 CDT
489		Tag: blume-20040525-group-owner
490		Description:
491
492		CM now ignores (but still accepts) the "owner" information in group
493		descriptions.  The owner of a group is its next enclosing
494		library. Each group must have a unique owner.  (There is a virtual
495		"toplevel" library that owns groups which are not nested within a real
496		library.)  Previously, each group had to explicitly declare its owner,
497		and CM would check that such a declaration is correct.  The new scheme
498		is to have CM check that for each group there is precisely one owning
499		library.
500
501		The advantage of the new scheme is that the programmer no longer needs
502		to maintain the somewhat annoying owner information.  The downside is
503		that CM cannot enforce the ownership rule across multiple runs of
504		CM.make.  Fortunately, enclosing the same group in two different
505		libraries A and B which are not part of the same program does not
506		cause real problems.
507
508		----------------------------------------------------------------------
509		Name: Matthias Blume (blume (at) tti - c (dot) org)
510		Date: 2004/05/20 16:00:00 CDT
511		Tag: blume-20040520-win32
512		Description:
513
514		Made the win32 version work again.  (Strangely, a misplaced comma had
515		slipped into win32-process.c which prevented the runtime from being
516		compiled correctly.)
517
518		Also, included a minor addition to ml-build.bat analogous to what was
519		done in blume-20040519-ml-build.
520
521		----------------------------------------------------------------------
522		Name: Matthias Blume (blume (at) tti - c (dot) org)
523		Date: 2004/05/19 22:10:00 CDT
524		Tag: blume-20040519-ml-build
525		Description:
526
527		Arranged for ml-build to clean up after itself a little bit better.
528		The script generates a temporary SML source file and compiles it using
529		CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
530		gets rid of those at the end, so they don't accumulate under .cm.
531
532		This required a minor change to install.sh because the name of the
533		metadata directory (default: .cm) is actually configurable at
534		installation time.
535
536		----------------------------------------------------------------------
537		Name: Matthias Blume (blume (at) tti - c (dot) org)
538		Date: 2004/05/18 15:50:00 CDT
539		Tag: blume-20040518-mkreader
540		Description:
541
542		Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
543		implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
544
545		----------------------------------------------------------------------
546		Name: Matthias Blume (blume (at) tti - c (dot) org)
547		Date: 2004/05/11 14:35:00 CDT
548		Tag: blume-20040511-win32sock
549		Description:
550
551		Added previously missing support for many socket-related functions
552		under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
553		for the voluminous patch!
554
555		(I have not tested this patch under win32 yet.)
556
557		Here is David's e-mail:
558
559		Hi,
560
561		Attached to this email you find a diff against sml/nj 110.45
562		that will enable socket support under Windows.
563
564		To apply the patch (using unix or cygwin)
565		1) gunzip runtime.diff.gz
566		2) "cd" into "src/runtime" in the source tree of a fresh
567		110.45 installation.
568		3) patch -p 1 < [your/path/to]runtime.diff
569
570		The code compiles fine but has NOT yet been extensively tested.
571		I only ran a few tests for basic socket client functionality
572		(which worked fine).  Especially the functions that use ioctl
573		are not tested at all and might not work (see below).
574
575		I implemented this since we want to move to a newer version of sml/nj
576		but need socket support in order to use it.  This is the first time I
577		even had a look at the sml/nj source,  so please review my changes
578		before making this part of the distribution!  Here are a few issues
579		that I think might be better for someone to solve who is more
580		familiar with the sml/nj source (and socket programming):
581
582		- getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
583		exception since I could not figure out what the windows equivalent
584		of these functions is
585
586		- In sockets-osdep.h there are a some #include statements that are
587		only used in a few files that include sockets-osdep.h
588
589		- In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
590		does not process its return value since I don't know how to
591		report an error upwards.
592
593		- It would probably be good to have a call to WSACleanup() when
594		the library is unloaded (if there is such a possibility).
595		Otherwise I think Windows will take care of this automatically
596		when the process finishes.
597
598		- I used ioctlsocket() as a replacement for ioctl() but I have
599		no idea if that is actually the proper replacement on Windows.
600
601		- All these issues are marked in the code by "FIXME" comments.
602
603		We use sml/nj extensively in our products and are quite happy
604		with it.  I hope this contribution will help you.
605
606		Keep up the good work!
607
608		David
609
610		----------------------------------------------------------------------
611		Name: Matthias Blume (blume (at) tti - c (dot) org)
612		Date: 2004/05/11 14:20:00 CDT
613		Tag: blume-20040511-installml
614		Description:
615
616		Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
617		the patch.)
618
619		----------------------------------------------------------------------
620		Name: Matthias Blume (blume (at) tti - c (dot) org)
621		Date: 2004/05/11 14:05:00 CDT
622		Tag: blume-20040511-nlffi-netbsd
623		Description:
624
625		Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
626		the patch.)
627
628		----------------------------------------------------------------------
629		Name: Matthias Blume (blume (at) tti - c (dot) org)
630		Date: 2004/05/11 12:05:00 CDT
631		Tag: blume-20040511-exports
632		Description:
633
634		As per request by Adam Chlipala <adam@hcoop.net>, extended various
635		export lists in compiler-related .cm-files.
636
637		----------------------------------------------------------------------
638		Name: Matthias Blume (blume (at) tti - c (dot) org)
639		Date: 2004/05/11 11:35:00 CDT
640		Tag: blume-20040511-allsource
641		Description:
642
643		The installer now honors the "src-smlnj" target again, although its meaning
644		has changed from "all sources required for the compiler" to "all sources
645		the installer knows about".  In other words, if you enable "src-smlnj"
646		in the "targets" file, then the installer will pull in sources for
647		everything.  (Notice that this refers to source code only.  Compiled
648		code is still only installed for modules that were requested explicitly
649		or which are required for other modules that were requested explicitly.)
650
651		----------------------------------------------------------------------
652		Name: Matthias Blume (blume (at) tti - c (dot) org)
653		Date: 2004/04/23 17:40:00 CDT
654		Tag: blume-20040423-ieee-scan
655		Description:
656
657		Fixed IEEEReal.scan (and .fromString) so that if there is an overflow
658		in the exponent calculation we get INF or ZERO (depending on the mantissa
659		and the sign of the exponent).
660
661		----------------------------------------------------------------------
662		Name: Matthias Blume (blume (at) tti - c (dot) org)
663		Date: 2004/04/23 10:40:00 CDT
664		Tag: blume-20040423-ml-build
665		Description:
666
667		The ml-build script now terminates with a non-0 status when something
668		goes wrong.
669
670		----------------------------------------------------------------------
671		Name: Matthias Blume (blume (at) tti - c (dot) org)
672		Date: 2004/04/22 16:35:00 CDT
673		Tag: blume-20040422-Option
674		Description:
675
676		Made exception Option to be the same as exception Option.Option
677		(as it should be).
678
679		----------------------------------------------------------------------
680		Name: Allen Leung (leunga (at) reservoir (dot) com)
681		Date: 2004/03/19 14:40:00 EST
682		Tag: leunga-20040319-cygwin-nlffi
683		Description:
684
685		Fixed the runtime so that ml-nlffi-lib runs on the cygwin version
686		of SML/NJ.  The problem is that
687
688		lib = dlopen(NULL, ...)
689		f   = dlsym(lib, "malloc");
690
691		does not work on Windows unless we explicitly export symbols
692		such as 'malloc' during linking.  We fixed this by explicitly
693		exporting the required symbols with the magic gcc incantation:
694
695		-Wl,--export-all cygwin.def
696
697		where cygwin.def is a file containing all the symbols that
698		we wish to export.
699
700		I suspect this is a Windows problem and we'll have to
701		do the same (somehow with windows compilers) when
702		we build the native win32 version with the system
703		calls LoadLibrary/GetProcAddress.
704
705		----------------------------------------------------------------------
706		Name: Matthias Blume (blume (at) tti - c (dot) org)
707		Date: 2004/03/04 16:35:00 CST
708		Tag: blume-20040304-intinf-fmt
709		Description:
710
711		Fixed problem with IntInf.fmt (sign would show up on the right instead
712		of on the left for BIN, OCT, and HEX).
713
714		----------------------------------------------------------------------
715		Name: Matthias Blume (blume (at) tti - c (dot) org)
716		Date: 2004/03/04 11:25:00 CST
717		Tag: blume-20040304-symlinks
718		Description:
719
720		Fixed problem with installer script (unix only) where bin/ml-yacc and
721		friends pointed (via symlinks) to absolute locations instead of just
722		.run-sml.  This was reported by Vesa A Norrman.
723
724		----------------------------------------------------------------------
725		Name: Matthias Blume (blume (at) tti - c (dot) org)
726		Date: 2004/02/13 14:50:00 CST
727		Tag: Release_110_45
728		Description:
729
730		New working version (110.45). New bootfiles.
731
732		----------------------------------------------------------------------
733		Name: Matthias Blume (blume (at) tti - c (dot) org)
734		Date: 2004/01/26 15:15:15 CST
735		Tag: blume-20040126-toplevel
736		Description:
737
738		Improved handling of exceptions at the interactive toplevel.
739
740		----------------------------------------------------------------------
741		Name: Matthias Blume (blume (at) tti - c (dot) org)
742		Date: 2004/01/26 11:25:00
743		Tag: blume-20040126-app
744		Description:
745
746		Type of top-level "app" corrected.
747		Added code for setting vp_limitPtrMask to Win32-specific runtime.
748
749		----------------------------------------------------------------------
750		Name: Matthias Blume (blume (at) tti - c (dot) org)
751	Date: 2003/11/18 17:10 CST	Date: 2003/11/18 17:10 CST
752	Tag: blume-20031118-basis-fiddle	Tag: blume-20031118-basis-fiddle
753	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1427   changed lines   Added in v.1634

---

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