Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1291, Sat Dec 7 03:41:00 2002 UTC	revision 1337, Tue Jun 17 20:45:15 2003 UTC
#	Line 13	Line 13
13	Description:	Description:
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16		Name: Dave MacQueen (macqueen@cs.uchicago.edu)
17		Date: 2003/06/17
18		Tag: macqueen-20030617-bug895
19		Description:
20
21		Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
22		Tag will be used for new development branch (mcz-branch) for
23		use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
24
25		----------------------------------------------------------------------
26		Name: Matthias Blume (blume@tti-c.org)
27		Date: 2003/05/27 16:55:00 CDT
28		Tag: blume-20030527-polyeq
29		Description:
30
31		Tried to eliminated most cases of polymorphic equality.
32
33		----------------------------------------------------------------------
34		Name: Matthias Blume (blume@tti-c.org)
35		Date: 2003/05/21 17:45:00 CDT
36		Tag: blume-20030517-complete
37		Description:
38
39		Two changes:
40
41		1. Added a flag for controlling whether non-exhaustive bindings will
42		be treated as errors (default is false).
43		2. Cleaned up the *entire* source tree so that CMB.make goes through
44		without a single non-exhaustive match- or bind warning.
45
46		----------------------------------------------------------------------
47		Name: Matthias Blume (blume@tti-c.org)
48		Date: 2003/05/17 10:20:00 CDT
49		Tag: blume-20030517-absyn
50		Description:
51
52		1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
53
54		This mainly affects the quality of error messages.  However, some
55		of the code is now more straightforward than before. (Treatment of
56		the above four constructs in translate.sml is much simpler than
57		the "macro-expansion" that was going on before.  Plus, the mach-
58		compiler no longer gets invoked just to be able to compile an
59		if-expression.)
60
61		2. The ErrorMsg.Error exception is now caught and absorbed by the
62		interactive loop.
63
64		----------------------------------------------------------------------
65		Name: Allen Leung
66		Date: 2003/05/16 13:05:00 CDT
67		Tag: leunga-20030516-cygwin-runtime
68		Description:
69
70		Ported the runtime system to cygwin, which uses the unix
71		x86-unix bin files.  Missing/buggy features:
72
73		o getnetbyname, getnetbyaddr: these functions seem to be missing in
74		the Cygwin library.
75		o Ctrl-C handling may be flaky.
76		o Windows system calls and Windows I/O are not supported.
77
78		A new set of binfiles is located at:
79
80		http://www.dorsai.org/~leunga/boot.x86-unix.tgz
81
82		This is only needed for bootstrapping the cygwin version of smlnj.
83		Other x86 versions can use the existing binfiles.
84
85		----------------------------------------------------------------------
86		Name: Matthias Blume
87		Date: 2003/04/08 15:42:00 CDT
88		Tag: blume-20030408-listpair
89		Description:
90
91		1. Added a target 'mlrisc' to installer.
92
93		2. Added missing elements to structure ListPair.
94
95		----------------------------------------------------------------------
96		Name: Allen Leung
97		Date: 2003/01/07 10:40:00 EST
98		Tag: leunga-20030107-int-rem
99		Description:
100
101		Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
102		The arguments to the SUBL instruction were swapped.
103
104		----------------------------------------------------------------------
105		Name: Matthias Blume
106		Date: 2002/12/12 16:25:00 EST
107		Tag: blume-20021212-risc-ra
108		Description:
109
110		Fixed a serious bug in the rewrite code for FP spilling/reloading that
111		sent the RA into an infinite loop when floating point registers get
112		spilled.  (Because of this bug, e.g., nucleic stopped compiling between
113		110.37 and 110.38.)
114		There was another set of potential problems related to the handling of
115		MLRISC annotations (but those did not yet cause real problems, apparently).
116
117		----------------------------------------------------------------------
118	Name: Matthias Blume	Name: Matthias Blume
119	Date: 2002/12/06 22:40:00 EST	Date: 2002/12/06 22:40:00 EST
120	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.1337

---

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