Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-3/NOTES/HISTORY
ViewVC logotype

Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1220, Wed May 22 15:04:10 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
119    Date: 2002/12/06 22:40:00 EST
120    Tag: blume-20021206-cm-fileid
121    Description:
122    
123    Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
124    This fixes the problem of CM getting confused by files that suddenly
125    change their identity (e.g., by getting unlinked and recreated by some
126    text editor such as vi).  There might be a better/cheaper/cleaner way
127    of doing this, but for now this will have to do.
128    
129    ----------------------------------------------------------------------
130    Name: Matthias Blume
131    Date: 2002/10/28 09:50:00 EST
132    Tag: blume-20021028-typecheck
133    Description:
134    
135    Exported structure Typecheck from $smlnj/viscomp/core.cm.
136    
137    ----------------------------------------------------------------------
138    Name: Matthias Blume
139    Date: 2002/10/17 09:10:00 EDT
140    Tag: Release_110_42
141    Description:
142    
143    In good old tradition, there has been a slight hiccup so that we have
144    to patch 110.42 after the fact.   The old release tag has been replaced
145    (see below).
146    
147    The change solves a problem with two competing approaches the
148    configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
149    each other's way.
150    
151    This change only affects the runtime system code and the installer script.
152    (No new bootfiles.)
153    
154    ----------------------------------------------------------------------
155    Name: Matthias Blume
156    Date: 2002/10/16 12:00:00 EDT
157    Tag: Release_110_42_removed
158    Description:
159    
160    New working release.  New bootfiles.
161    
162    ----------------------------------------------------------------------
163    Name: Matthias Blume
164    Date: 2002/10/10 13:10:00 EDT
165    Tag: blume-20021010-ppc-divs
166    Description:
167    
168    The mltree operator DIVS must be implemented with an overflow check on
169    the PPC because the hardware indicates divide-by-zero using "overflow" as
170    well.
171    
172    ----------------------------------------------------------------------
173    Name: Matthias Blume
174    Date: 2002/07/23 11:45:00
175    Tag: blume-20020723-smlnj-home
176    Description:
177    
178    Sml now senses the SMLNJ_HOME environment variable.  If this is set,
179    then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
180    CM_PATHCONFIG is also set), the path configuration file is assumed
181    to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
182    the entire tree to some other place and everything will "just work".
183    
184    (Companion commands such as ml-build and ml-makedepend also sense this
185    variable.)
186    
187    ----------------------------------------------------------------------
188    Name: Matthias Blume
189    Date: 2002/07/12 21:19:00 EDT
190    Tag: blume-20020712-liveness
191    Description:
192    
193    Exported two useful "step" functions from liveness module (MLRISC).
194    
195    ----------------------------------------------------------------------
196    Name: Matthias Blume
197    Date: 2002/07/05 16:00 EDT
198    Tag: Release_110_41
199    Description:
200    
201    New working release.  New bootfiles.
202    
203    ----------------------------------------------------------------------
204    Name: Matthias Blume
205    Date: 2002/07/05 10:25:00 EDT
206    Tag: blume-20020705-btimp
207    Description:
208    
209    Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
210    other clients can set up backtracing support.
211    
212    ----------------------------------------------------------------------
213    Name: Matthias Blume
214    Date: 2002/06/25 17:23:00 EDT
215    Tag: blume-20020625-fpmax
216    Description:
217    
218    Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
219    case.  (The sense of the isNaN test was reversed -- which made min and
220    max always return their first argument.)
221    
222    ----------------------------------------------------------------------
223    Name: Matthias Blume
224    Date: 2002/06/11
225    Tag: blume-20020611-unixpath
226    Description:
227    
228    Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
229    
230    ----------------------------------------------------------------------
231    Name: Matthias Blume
232    Date: 2002/06/10 16:35:00 EDT
233    Tag: blume-20020610-ieeereal
234    Description:
235    
236    I back-ported my implementation of IEEEReal.fromString from the
237    idlbasis-devel branch so that we can test it.
238    
239    Another small change is that ppDec tries to give more information
240    than just "<sig>" in the case of functors.  However, this code is
241    broken in some mysterious way if the functor's body's signature
242    has not been declared by ascription but gets inferred from the
243    implementation.  This needs fixing...
244    
245    ----------------------------------------------------------------------
246    Name: Matthias Blume
247    Date: 2002/05/31
248    Tag: blume-20020531-btrace-mode
249    Description:
250    
251    Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
252    the wayside when I switched over to using Controls everywhere.)
253    
254    ----------------------------------------------------------------------
255    Name: Lal George
256    Date: 2002/05/23 12:21:40 EDT
257    Tag: george-20020523-visual-labels
258    Description:
259    
260    Labels are now displayed in the graphical output to make
261    the fall-through and target blocks obvious.
262    
263    ----------------------------------------------------------------------
264  Name: Matthias Blume  Name: Matthias Blume
265  Date: 2002/05/22 11:03:00 EDT  Date: 2002/05/22 11:03:00 EDT
266  Tag: blume-20020522-shrink  Tag: blume-20020522-shrink

Legend:
Removed from v.1220  
changed lines
  Added in v.1337

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