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/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

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

revision 1184, Fri Mar 29 22:22:22 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
265    Date: 2002/05/22 11:03:00 EDT
266    Tag: blume-20020522-shrink
267    Description:
268    
269    John tweaked yesterday's fix for 1131 to handle an out-of-memory
270    situation that comes up when allocating huge arrays.
271    
272    ----------------------------------------------------------------------
273    Name: Matthias Blume
274    Date: 2002/05/21 16:00:00 EDT
275    Tag: Release_110_40
276    Description:
277    
278    New working release (110.40).  New bootfiles.
279    
280    [Also: John Reppy fixed GC bug 1131.]
281    
282    ----------------------------------------------------------------------
283    Name: Matthias Blume
284    Date: 2002/05/21 12:35:00 EDT
285    Tag: blume-20020521-cmdoc
286    Description:
287    
288    CM documentation update.
289    
290    ----------------------------------------------------------------------
291    Name: Matthias Blume
292    Date: 2002/05/21 10:55:00 EDT
293    Tag: blume-20020521-misc
294    Description:
295    
296    - John tweaked runtime to be silent on heap export (except when
297      GC messages are on).
298    - I added a few more things (cross-compiling versions of CMB) to
299      config/preloads (as suggestions).
300    
301    ----------------------------------------------------------------------
302    Name: Matthias Blume
303    Date: 2002/05/20 22:25:00 EDT
304    Tag: blume-20020520-controls
305    Description:
306    
307    - Added ControlUtil structure to control-lib.cm.
308    - Use it throughout.
309    - Used Controls facility to define MLRISC controls (as opposed to
310      registering MLRISC control ref cells with Controls after the fact)
311    - Fixed messed-up controls priorities.
312    
313    * Removed again all the stuff from config/preloads that one wouldn't
314      be able to preload at the time the initial heap image is built.
315      (Many libraries, e.g., CML, do not exist yet at this time.  The
316       only libraries that can be preloaded via config/preloads are those
317       that come bundled with the bootfiles.)
318    
319    ----------------------------------------------------------------------
320    Name: Matthias Blume
321    Date: 2002/05/20 10:59:00 EDT
322    Tag: blume-20020520-preloads
323    Description:
324    
325    Added a lot of commented-out suggestions for things to be included
326    in config/preloads.
327    
328    ----------------------------------------------------------------------
329    Name: Allen Leung
330    Date: 2002/05/18 14:20:00 EDT
331    Tag: leunga-20020518-mdl
332    Description:
333    
334    o Made the mdl tool stuff compile and run again.
335    o I've disabled all the stuff that depends on RTL specifications; they
336      are all badly broken anyway.
337    
338    ----------------------------------------------------------------------
339    Name: Matthias Blume
340    Date: 2002/05/17 16:49:00 EDT
341    Tag: blume-20020517-controls
342    Description:
343    
344    0. John Reppy made several modifications to the SML/NJ library.
345       In particular, there is a shiny new controls-lib.cm.
346    
347    1. Pushed new controls interface through compiler so that everything
348       compiles again.
349    
350    2. Added FormatComb and FORMAT_COMB to the CML version of the
351       SML/NJ library (so that CML compiles again).
352    
353    3. Modified init scripts because XXX_DEFAULT environment variables
354       are no longer with us.  (Boot-time initialization is now done
355       using the same environment variables that are also used for
356       startup-time initialization of controls.)
357    
358    ----------------------------------------------------------------------
359    Name: Lal George
360    Date: 2002/05/15 09:20:10 EDT
361    Tag: george-20020515-pseudo-op-decls
362    Description:
363    
364            All pseudo-ops emitted before the first segment declaration
365    such as TEXT, DATA, and BSS directives are assumed to be global
366    declarations and are emitted first in the assembly file. This is
367    useful in a number of situations where one has pseudo-ops that are not
368    specific to any segment, and also works around the constraint that one
369    cannot have client pseudo-ops in the TEXT segment.
370    
371            Because no segment is associated with these declarations it is
372    an error to allocate any space or objects before the first segment
373    directive and an exception will be raised. However, we cannot make
374    this check for client pseudo-ops.
375    
376            These top level declarations are a field in the CFG graph_info.
377    In theory you can continue to add to this field after the CFG has been
378    built -- provided you know what you are doing;-)
379    
380    ----------------------------------------------------------------------
381    Name: Matthias Blume
382    Date: 2002/05/13 16:40:00 EDT
383    Tag: blume-20020513-pp-etc
384    Description:
385    
386    A few minor bugfixes:
387    
388      - Stopgap measure for bug recently reported by Elsa Gunter (ppDec).
389        (Bogus printouts for redefined bindings still occur.  Compiler
390        bug should no longer occur now.  We need to redo the prettyprinter
391        from scratch.)
392    
393      - CM pathname printer now also adds escape sequences for ( and )
394    
395      - commend and docu fixes for ml-nlffi
396    
397    ----------------------------------------------------------------------
398    Name: Matthias Blume
399    Date: 2002/05/10 16:40:00 EDT
400    Tag: blume-20020510-erg-textio
401    Description:
402    
403    Applied the following bugfix provided by Emden Gansner:
404    
405        Output is corrupted when outputSubstr is used rather than output.
406    
407        The problem occurs when a substring
408    
409            ss = (s, dataStart, dataLen)
410    
411        where dataStart > 0, fills a stream buffer with avail bytes left.
412        avail bytes of s, starting at index dataStart, are copied into the
413        buffer, the buffer is flushed, and then the remaining dataLen-avail
414        bytes of ss are copied into the beginning of the buffer. Instead of
415        starting this copy at index dataStart+avail in s, the current code
416        starts the copy at index avail.
417    
418        Fix:
419        In text-io-fn.sml, change line 695 from
420             val needsFlush = copyVec(v, avail, dataLen-avail, buf, 0)
421        to
422             val needsFlush = copyVec(v, dataStart+avail, dataLen-avail, buf, 0)
423    
424    ----------------------------------------------------------------------
425    Name: Matthias Blume
426    Date: 2002/04/12 13:55:00 EDT
427    Tag: blume-20020412-assyntax
428    Description:
429    
430    1. Grabbed newer assyntax.h from the XFree86 project.
431    2. Fiddled with how to compile X86.prim.asm without warnings.
432    3. (Very) Minor cleanup in CM.
433    
434    ----------------------------------------------------------------------
435    Name: Matthias Blume
436    Date: 2002/04/01 (no joke!) 17:07:00 EST
437    Tag: blume-20020401-x86div
438    Description:
439    
440    Added full support for div/mod/rem/quot on the x86, using the machine
441    instruction's two results (without clumsily recomputing the remainder)
442    directly where appropriate.
443    
444    Some more extensive power-of-two support was added to the x86 instruction
445    selector (avoiding expensive divs, mods, and muls where they can be
446    replaced with cheaper shifts and masks).  However, this sort of thing
447    ought to be done earlier, e.g., within the CPS optimizer so that
448    all architectures benefit from it.
449    
450    The compiler compiles to a fixed point, but changes might be somewhat
451    fragile nevertheless.  Please, report any strange things that you might
452    see wrt. div/mod/quot/rem...
453    
454    ----------------------------------------------------------------------
455  Name: Matthias Blume  Name: Matthias Blume
456  Date: 2002/03/29 17:22:00  Date: 2002/03/29 17:22:00
457  Tag: blume-20020329-div  Tag: blume-20020329-div

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

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