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

Legend:
Removed from v.1186  
changed lines
  Added in v.1296

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