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 1332, Sun May 18 03:21:16 2003 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (blume@tti-c.org)
17    Date: 2003/05/17 10:20:00 CDT
18    Tag: blume-20030517-absyn
19    Description:
20    
21    1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
22    
23       This mainly affects the quality of error messages.  However, some
24       of the code is now more straightforward than before. (Treatment of
25       the above four constructs in translate.sml is much simpler than
26       the "macro-expansion" that was going on before.  Plus, the mach-
27       compiler no longer gets invoked just to be able to compile an
28       if-expression.)
29    
30    2. The ErrorMsg.Error exception is now caught and absorbed by the
31       interactive loop.
32    
33    ----------------------------------------------------------------------
34    Name: Allen Leung
35    Date: 2003/05/16 13:05:00 CDT
36    Tag: leunga-20030516-cygwin-runtime
37    Description:
38    
39        Ported the runtime system to cygwin, which uses the unix
40    x86-unix bin files.  Missing/buggy features:
41    
42       o getnetbyname, getnetbyaddr: these functions seem to be missing in
43         the Cygwin library.
44       o Ctrl-C handling may be flaky.
45       o Windows system calls and Windows I/O are not supported.
46    
47       A new set of binfiles is located at:
48    
49         http://www.dorsai.org/~leunga/boot.x86-unix.tgz
50    
51       This is only needed for bootstrapping the cygwin version of smlnj.
52       Other x86 versions can use the existing binfiles.
53    
54    ----------------------------------------------------------------------
55    Name: Matthias Blume
56    Date: 2003/04/08 15:42:00 CDT
57    Tag: blume-20030408-listpair
58    Description:
59    
60    1. Added a target 'mlrisc' to installer.
61    
62    2. Added missing elements to structure ListPair.
63    
64    ----------------------------------------------------------------------
65    Name: Allen Leung
66    Date: 2003/01/07 10:40:00 EST
67    Tag: leunga-20030107-int-rem
68    Description:
69    
70    Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
71    The arguments to the SUBL instruction were swapped.
72    
73    ----------------------------------------------------------------------
74    Name: Matthias Blume
75    Date: 2002/12/12 16:25:00 EST
76    Tag: blume-20021212-risc-ra
77    Description:
78    
79    Fixed a serious bug in the rewrite code for FP spilling/reloading that
80    sent the RA into an infinite loop when floating point registers get
81    spilled.  (Because of this bug, e.g., nucleic stopped compiling between
82    110.37 and 110.38.)
83    There was another set of potential problems related to the handling of
84    MLRISC annotations (but those did not yet cause real problems, apparently).
85    
86    ----------------------------------------------------------------------
87    Name: Matthias Blume
88    Date: 2002/12/06 22:40:00 EST
89    Tag: blume-20021206-cm-fileid
90    Description:
91    
92    Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
93    This fixes the problem of CM getting confused by files that suddenly
94    change their identity (e.g., by getting unlinked and recreated by some
95    text editor such as vi).  There might be a better/cheaper/cleaner way
96    of doing this, but for now this will have to do.
97    
98    ----------------------------------------------------------------------
99    Name: Matthias Blume
100    Date: 2002/10/28 09:50:00 EST
101    Tag: blume-20021028-typecheck
102    Description:
103    
104    Exported structure Typecheck from $smlnj/viscomp/core.cm.
105    
106    ----------------------------------------------------------------------
107    Name: Matthias Blume
108    Date: 2002/10/17 09:10:00 EDT
109    Tag: Release_110_42
110    Description:
111    
112    In good old tradition, there has been a slight hiccup so that we have
113    to patch 110.42 after the fact.   The old release tag has been replaced
114    (see below).
115    
116    The change solves a problem with two competing approaches the
117    configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
118    each other's way.
119    
120    This change only affects the runtime system code and the installer script.
121    (No new bootfiles.)
122    
123    ----------------------------------------------------------------------
124    Name: Matthias Blume
125    Date: 2002/10/16 12:00:00 EDT
126    Tag: Release_110_42_removed
127    Description:
128    
129    New working release.  New bootfiles.
130    
131    ----------------------------------------------------------------------
132    Name: Matthias Blume
133    Date: 2002/10/10 13:10:00 EDT
134    Tag: blume-20021010-ppc-divs
135    Description:
136    
137    The mltree operator DIVS must be implemented with an overflow check on
138    the PPC because the hardware indicates divide-by-zero using "overflow" as
139    well.
140    
141    ----------------------------------------------------------------------
142    Name: Matthias Blume
143    Date: 2002/07/23 11:45:00
144    Tag: blume-20020723-smlnj-home
145    Description:
146    
147    Sml now senses the SMLNJ_HOME environment variable.  If this is set,
148    then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
149    CM_PATHCONFIG is also set), the path configuration file is assumed
150    to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
151    the entire tree to some other place and everything will "just work".
152    
153    (Companion commands such as ml-build and ml-makedepend also sense this
154    variable.)
155    
156    ----------------------------------------------------------------------
157    Name: Matthias Blume
158    Date: 2002/07/12 21:19:00 EDT
159    Tag: blume-20020712-liveness
160    Description:
161    
162    Exported two useful "step" functions from liveness module (MLRISC).
163    
164    ----------------------------------------------------------------------
165    Name: Matthias Blume
166    Date: 2002/07/05 16:00 EDT
167    Tag: Release_110_41
168    Description:
169    
170    New working release.  New bootfiles.
171    
172    ----------------------------------------------------------------------
173    Name: Matthias Blume
174    Date: 2002/07/05 10:25:00 EDT
175    Tag: blume-20020705-btimp
176    Description:
177    
178    Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
179    other clients can set up backtracing support.
180    
181    ----------------------------------------------------------------------
182    Name: Matthias Blume
183    Date: 2002/06/25 17:23:00 EDT
184    Tag: blume-20020625-fpmax
185    Description:
186    
187    Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
188    case.  (The sense of the isNaN test was reversed -- which made min and
189    max always return their first argument.)
190    
191    ----------------------------------------------------------------------
192    Name: Matthias Blume
193    Date: 2002/06/11
194    Tag: blume-20020611-unixpath
195    Description:
196    
197    Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
198    
199    ----------------------------------------------------------------------
200    Name: Matthias Blume
201    Date: 2002/06/10 16:35:00 EDT
202    Tag: blume-20020610-ieeereal
203    Description:
204    
205    I back-ported my implementation of IEEEReal.fromString from the
206    idlbasis-devel branch so that we can test it.
207    
208    Another small change is that ppDec tries to give more information
209    than just "<sig>" in the case of functors.  However, this code is
210    broken in some mysterious way if the functor's body's signature
211    has not been declared by ascription but gets inferred from the
212    implementation.  This needs fixing...
213    
214    ----------------------------------------------------------------------
215    Name: Matthias Blume
216    Date: 2002/05/31
217    Tag: blume-20020531-btrace-mode
218    Description:
219    
220    Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
221    the wayside when I switched over to using Controls everywhere.)
222    
223    ----------------------------------------------------------------------
224    Name: Lal George
225    Date: 2002/05/23 12:21:40 EDT
226    Tag: george-20020523-visual-labels
227    Description:
228    
229    Labels are now displayed in the graphical output to make
230    the fall-through and target blocks obvious.
231    
232    ----------------------------------------------------------------------
233    Name: Matthias Blume
234    Date: 2002/05/22 11:03:00 EDT
235    Tag: blume-20020522-shrink
236    Description:
237    
238    John tweaked yesterday's fix for 1131 to handle an out-of-memory
239    situation that comes up when allocating huge arrays.
240    
241    ----------------------------------------------------------------------
242    Name: Matthias Blume
243    Date: 2002/05/21 16:00:00 EDT
244    Tag: Release_110_40
245    Description:
246    
247    New working release (110.40).  New bootfiles.
248    
249    [Also: John Reppy fixed GC bug 1131.]
250    
251    ----------------------------------------------------------------------
252    Name: Matthias Blume
253    Date: 2002/05/21 12:35:00 EDT
254    Tag: blume-20020521-cmdoc
255    Description:
256    
257    CM documentation update.
258    
259    ----------------------------------------------------------------------
260    Name: Matthias Blume
261    Date: 2002/05/21 10:55:00 EDT
262    Tag: blume-20020521-misc
263    Description:
264    
265    - John tweaked runtime to be silent on heap export (except when
266      GC messages are on).
267    - I added a few more things (cross-compiling versions of CMB) to
268      config/preloads (as suggestions).
269    
270    ----------------------------------------------------------------------
271    Name: Matthias Blume
272    Date: 2002/05/20 22:25:00 EDT
273    Tag: blume-20020520-controls
274    Description:
275    
276    - Added ControlUtil structure to control-lib.cm.
277    - Use it throughout.
278    - Used Controls facility to define MLRISC controls (as opposed to
279      registering MLRISC control ref cells with Controls after the fact)
280    - Fixed messed-up controls priorities.
281    
282    * Removed again all the stuff from config/preloads that one wouldn't
283      be able to preload at the time the initial heap image is built.
284      (Many libraries, e.g., CML, do not exist yet at this time.  The
285       only libraries that can be preloaded via config/preloads are those
286       that come bundled with the bootfiles.)
287    
288    ----------------------------------------------------------------------
289    Name: Matthias Blume
290    Date: 2002/05/20 10:59:00 EDT
291    Tag: blume-20020520-preloads
292    Description:
293    
294    Added a lot of commented-out suggestions for things to be included
295    in config/preloads.
296    
297    ----------------------------------------------------------------------
298    Name: Allen Leung
299    Date: 2002/05/18 14:20:00 EDT
300    Tag: leunga-20020518-mdl
301    Description:
302    
303    o Made the mdl tool stuff compile and run again.
304    o I've disabled all the stuff that depends on RTL specifications; they
305      are all badly broken anyway.
306    
307    ----------------------------------------------------------------------
308    Name: Matthias Blume
309    Date: 2002/05/17 16:49:00 EDT
310    Tag: blume-20020517-controls
311    Description:
312    
313    0. John Reppy made several modifications to the SML/NJ library.
314       In particular, there is a shiny new controls-lib.cm.
315    
316    1. Pushed new controls interface through compiler so that everything
317       compiles again.
318    
319    2. Added FormatComb and FORMAT_COMB to the CML version of the
320       SML/NJ library (so that CML compiles again).
321    
322    3. Modified init scripts because XXX_DEFAULT environment variables
323       are no longer with us.  (Boot-time initialization is now done
324       using the same environment variables that are also used for
325       startup-time initialization of controls.)
326    
327    ----------------------------------------------------------------------
328    Name: Lal George
329    Date: 2002/05/15 09:20:10 EDT
330    Tag: george-20020515-pseudo-op-decls
331    Description:
332    
333            All pseudo-ops emitted before the first segment declaration
334    such as TEXT, DATA, and BSS directives are assumed to be global
335    declarations and are emitted first in the assembly file. This is
336    useful in a number of situations where one has pseudo-ops that are not
337    specific to any segment, and also works around the constraint that one
338    cannot have client pseudo-ops in the TEXT segment.
339    
340            Because no segment is associated with these declarations it is
341    an error to allocate any space or objects before the first segment
342    directive and an exception will be raised. However, we cannot make
343    this check for client pseudo-ops.
344    
345            These top level declarations are a field in the CFG graph_info.
346    In theory you can continue to add to this field after the CFG has been
347    built -- provided you know what you are doing;-)
348    
349    ----------------------------------------------------------------------
350    Name: Matthias Blume
351    Date: 2002/05/13 16:40:00 EDT
352    Tag: blume-20020513-pp-etc
353    Description:
354    
355    A few minor bugfixes:
356    
357      - Stopgap measure for bug recently reported by Elsa Gunter (ppDec).
358        (Bogus printouts for redefined bindings still occur.  Compiler
359        bug should no longer occur now.  We need to redo the prettyprinter
360        from scratch.)
361    
362      - CM pathname printer now also adds escape sequences for ( and )
363    
364      - commend and docu fixes for ml-nlffi
365    
366    ----------------------------------------------------------------------
367    Name: Matthias Blume
368    Date: 2002/05/10 16:40:00 EDT
369    Tag: blume-20020510-erg-textio
370    Description:
371    
372    Applied the following bugfix provided by Emden Gansner:
373    
374        Output is corrupted when outputSubstr is used rather than output.
375    
376        The problem occurs when a substring
377    
378            ss = (s, dataStart, dataLen)
379    
380        where dataStart > 0, fills a stream buffer with avail bytes left.
381        avail bytes of s, starting at index dataStart, are copied into the
382        buffer, the buffer is flushed, and then the remaining dataLen-avail
383        bytes of ss are copied into the beginning of the buffer. Instead of
384        starting this copy at index dataStart+avail in s, the current code
385        starts the copy at index avail.
386    
387        Fix:
388        In text-io-fn.sml, change line 695 from
389             val needsFlush = copyVec(v, avail, dataLen-avail, buf, 0)
390        to
391             val needsFlush = copyVec(v, dataStart+avail, dataLen-avail, buf, 0)
392    
393    ----------------------------------------------------------------------
394    Name: Matthias Blume
395    Date: 2002/04/12 13:55:00 EDT
396    Tag: blume-20020412-assyntax
397    Description:
398    
399    1. Grabbed newer assyntax.h from the XFree86 project.
400    2. Fiddled with how to compile X86.prim.asm without warnings.
401    3. (Very) Minor cleanup in CM.
402    
403    ----------------------------------------------------------------------
404    Name: Matthias Blume
405    Date: 2002/04/01 (no joke!) 17:07:00 EST
406    Tag: blume-20020401-x86div
407    Description:
408    
409    Added full support for div/mod/rem/quot on the x86, using the machine
410    instruction's two results (without clumsily recomputing the remainder)
411    directly where appropriate.
412    
413    Some more extensive power-of-two support was added to the x86 instruction
414    selector (avoiding expensive divs, mods, and muls where they can be
415    replaced with cheaper shifts and masks).  However, this sort of thing
416    ought to be done earlier, e.g., within the CPS optimizer so that
417    all architectures benefit from it.
418    
419    The compiler compiles to a fixed point, but changes might be somewhat
420    fragile nevertheless.  Please, report any strange things that you might
421    see wrt. div/mod/quot/rem...
422    
423    ----------------------------------------------------------------------
424  Name: Matthias Blume  Name: Matthias Blume
425  Date: 2002/03/29 17:22:00  Date: 2002/03/29 17:22:00
426  Tag: blume-20020329-div  Tag: blume-20020329-div

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

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