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 1342, Mon Aug 11 20:46:00 2003 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (blume@tti-c.org)
17    Date: 2003/08/11 15:45:00 CDT
18    Tag: blume-20030811-windows
19    Description:
20    
21    Version number bumped to 110.42.9.  NEW BOOTFILES!!!
22    
23        http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
24    
25    This patch restores SML/NJ's ability to run under win32.  There are a
26    number of changes, including fixes for several bugs that had gone
27    unnoticed until now:
28    
29      - uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
30        trying to run the win32 version from within cygwin.)
31    
32      - There are a number of simple .bat scripts that substitute for their
33        corresponding Unix shell-scripts.  (See below.)
34    
35      - The internals of ml-build have been modified slightly.  The main
36        difference is that instead of calling ".link-sml" (or link-sml.bat)
37        using OS.Process.system, the ML process delegates this task back
38        to the script.  Otherwise problems arise in mixed environments such
39        as Cygwin where scripts look and work like Unix scripts, but
40        where OS.Process.system cannot run them.
41    
42      - In CM, the srcpath pickler used native pathname syntax -- which
43        is incorrect in the case of cross-compilation.  The new pickle format
44        is independent of platform-specific naming conventions.
45    
46      - Path configuration files (such as lib/pathconfig) can now choose
47        between native and standard syntax.  Placing a line of the form
48    
49            standard!
50    
51        into the file causes all subsequent paths to be interpreted using
52        CM standard pathname syntax (= Unix conventions); a line
53    
54            native!
55    
56        switches back to native style.  This was needed so that
57        path config files can be written portably, see src/system/pathconfig.
58    
59      - Runtime system:
60    
61          - win32-filesys.c:  get_file_time and set_file_time now
62            access modification time, not creation time.
63    
64          - I/O code made aware of new array representation.
65    
66          - Bug fixes in X86.prim.masm.
67    
68       - src/system/makeml made aware of win32. (For use under cygwin
69            and other Unix-environments for windows.)
70    
71       - In Basis, fixed off-by-one error in win32-io.sml (function vecF)
72         which caused BinIO.inputAll to fail consistently.
73    
74    .bat scripts:
75    
76       Windows .bat scripts assume that SMLNJ_HOME is defined.
77    
78       - sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
79         applications (sml, ml-yacc, ml-lex).
80       - ml-build.bat: analogous to ml-build.
81       - config\install.bat:  Analogous to config/install.sh.  This requires
82         that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
83         (nmake etc. must be on the path, and vcvars32 must have been run.)
84         Moreover, sources for ml-lex and ml-yacc need to exist under src,
85         and the bootfile hierarchy must have been unpacked under
86         sml.boot.x86-win32.
87         The script is very primitive and does a poor job at error checking.
88         It only installs the base system, ml-lex, and ml-yacc.  No other
89         libraries are being installed (i.e., you get only those that
90         are part of the compiler.)
91       - link-sml.bat:  analogous to .link-sml, but not currently used
92    
93    Unrelated bug fixes:
94    
95      - ml-nlffigen now exports structures ST_* corresponding to incomplete
96        types.
97      - Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
98        otherwise.)
99    
100    ----------------------------------------------------------------------
101    Name: Dave MacQueen (macqueen@cs.uchicago.edu)
102    Date: 2003/06/17
103    Tag: macqueen-20030617-bug895
104    Description:
105    
106    Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
107    Tag will be used for new development branch (mcz-branch) for
108    use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
109    
110    ----------------------------------------------------------------------
111    Name: Matthias Blume (blume@tti-c.org)
112    Date: 2003/05/27 16:55:00 CDT
113    Tag: blume-20030527-polyeq
114    Description:
115    
116    Tried to eliminated most cases of polymorphic equality.
117    
118    ----------------------------------------------------------------------
119    Name: Matthias Blume (blume@tti-c.org)
120    Date: 2003/05/21 17:45:00 CDT
121    Tag: blume-20030517-complete
122    Description:
123    
124    Two changes:
125    
126      1. Added a flag for controlling whether non-exhaustive bindings will
127         be treated as errors (default is false).
128      2. Cleaned up the *entire* source tree so that CMB.make goes through
129         without a single non-exhaustive match- or bind warning.
130    
131    ----------------------------------------------------------------------
132    Name: Matthias Blume (blume@tti-c.org)
133    Date: 2003/05/17 10:20:00 CDT
134    Tag: blume-20030517-absyn
135    Description:
136    
137    1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
138    
139       This mainly affects the quality of error messages.  However, some
140       of the code is now more straightforward than before. (Treatment of
141       the above four constructs in translate.sml is much simpler than
142       the "macro-expansion" that was going on before.  Plus, the mach-
143       compiler no longer gets invoked just to be able to compile an
144       if-expression.)
145    
146    2. The ErrorMsg.Error exception is now caught and absorbed by the
147       interactive loop.
148    
149    ----------------------------------------------------------------------
150    Name: Allen Leung
151    Date: 2003/05/16 13:05:00 CDT
152    Tag: leunga-20030516-cygwin-runtime
153    Description:
154    
155        Ported the runtime system to cygwin, which uses the unix
156    x86-unix bin files.  Missing/buggy features:
157    
158       o getnetbyname, getnetbyaddr: these functions seem to be missing in
159         the Cygwin library.
160       o Ctrl-C handling may be flaky.
161       o Windows system calls and Windows I/O are not supported.
162    
163       A new set of binfiles is located at:
164    
165         http://www.dorsai.org/~leunga/boot.x86-unix.tgz
166    
167       This is only needed for bootstrapping the cygwin version of smlnj.
168       Other x86 versions can use the existing binfiles.
169    
170    ----------------------------------------------------------------------
171    Name: Matthias Blume
172    Date: 2003/04/08 15:42:00 CDT
173    Tag: blume-20030408-listpair
174    Description:
175    
176    1. Added a target 'mlrisc' to installer.
177    
178    2. Added missing elements to structure ListPair.
179    
180    ----------------------------------------------------------------------
181    Name: Allen Leung
182    Date: 2003/01/07 10:40:00 EST
183    Tag: leunga-20030107-int-rem
184    Description:
185    
186    Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
187    The arguments to the SUBL instruction were swapped.
188    
189    ----------------------------------------------------------------------
190    Name: Matthias Blume
191    Date: 2002/12/12 16:25:00 EST
192    Tag: blume-20021212-risc-ra
193    Description:
194    
195    Fixed a serious bug in the rewrite code for FP spilling/reloading that
196    sent the RA into an infinite loop when floating point registers get
197    spilled.  (Because of this bug, e.g., nucleic stopped compiling between
198    110.37 and 110.38.)
199    There was another set of potential problems related to the handling of
200    MLRISC annotations (but those did not yet cause real problems, apparently).
201    
202    ----------------------------------------------------------------------
203    Name: Matthias Blume
204    Date: 2002/12/06 22:40:00 EST
205    Tag: blume-20021206-cm-fileid
206    Description:
207    
208    Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
209    This fixes the problem of CM getting confused by files that suddenly
210    change their identity (e.g., by getting unlinked and recreated by some
211    text editor such as vi).  There might be a better/cheaper/cleaner way
212    of doing this, but for now this will have to do.
213    
214    ----------------------------------------------------------------------
215    Name: Matthias Blume
216    Date: 2002/10/28 09:50:00 EST
217    Tag: blume-20021028-typecheck
218    Description:
219    
220    Exported structure Typecheck from $smlnj/viscomp/core.cm.
221    
222    ----------------------------------------------------------------------
223    Name: Matthias Blume
224    Date: 2002/10/17 09:10:00 EDT
225    Tag: Release_110_42
226    Description:
227    
228    In good old tradition, there has been a slight hiccup so that we have
229    to patch 110.42 after the fact.   The old release tag has been replaced
230    (see below).
231    
232    The change solves a problem with two competing approaches the
233    configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
234    each other's way.
235    
236    This change only affects the runtime system code and the installer script.
237    (No new bootfiles.)
238    
239    ----------------------------------------------------------------------
240    Name: Matthias Blume
241    Date: 2002/10/16 12:00:00 EDT
242    Tag: Release_110_42_removed
243    Description:
244    
245    New working release.  New bootfiles.
246    
247    ----------------------------------------------------------------------
248    Name: Matthias Blume
249    Date: 2002/10/10 13:10:00 EDT
250    Tag: blume-20021010-ppc-divs
251    Description:
252    
253    The mltree operator DIVS must be implemented with an overflow check on
254    the PPC because the hardware indicates divide-by-zero using "overflow" as
255    well.
256    
257    ----------------------------------------------------------------------
258    Name: Matthias Blume
259    Date: 2002/07/23 11:45:00
260    Tag: blume-20020723-smlnj-home
261    Description:
262    
263    Sml now senses the SMLNJ_HOME environment variable.  If this is set,
264    then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
265    CM_PATHCONFIG is also set), the path configuration file is assumed
266    to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
267    the entire tree to some other place and everything will "just work".
268    
269    (Companion commands such as ml-build and ml-makedepend also sense this
270    variable.)
271    
272    ----------------------------------------------------------------------
273    Name: Matthias Blume
274    Date: 2002/07/12 21:19:00 EDT
275    Tag: blume-20020712-liveness
276    Description:
277    
278    Exported two useful "step" functions from liveness module (MLRISC).
279    
280    ----------------------------------------------------------------------
281    Name: Matthias Blume
282    Date: 2002/07/05 16:00 EDT
283    Tag: Release_110_41
284    Description:
285    
286    New working release.  New bootfiles.
287    
288    ----------------------------------------------------------------------
289    Name: Matthias Blume
290    Date: 2002/07/05 10:25:00 EDT
291    Tag: blume-20020705-btimp
292    Description:
293    
294    Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
295    other clients can set up backtracing support.
296    
297    ----------------------------------------------------------------------
298    Name: Matthias Blume
299    Date: 2002/06/25 17:23:00 EDT
300    Tag: blume-20020625-fpmax
301    Description:
302    
303    Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
304    case.  (The sense of the isNaN test was reversed -- which made min and
305    max always return their first argument.)
306    
307    ----------------------------------------------------------------------
308    Name: Matthias Blume
309    Date: 2002/06/11
310    Tag: blume-20020611-unixpath
311    Description:
312    
313    Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
314    
315    ----------------------------------------------------------------------
316    Name: Matthias Blume
317    Date: 2002/06/10 16:35:00 EDT
318    Tag: blume-20020610-ieeereal
319    Description:
320    
321    I back-ported my implementation of IEEEReal.fromString from the
322    idlbasis-devel branch so that we can test it.
323    
324    Another small change is that ppDec tries to give more information
325    than just "<sig>" in the case of functors.  However, this code is
326    broken in some mysterious way if the functor's body's signature
327    has not been declared by ascription but gets inferred from the
328    implementation.  This needs fixing...
329    
330    ----------------------------------------------------------------------
331    Name: Matthias Blume
332    Date: 2002/05/31
333    Tag: blume-20020531-btrace-mode
334    Description:
335    
336    Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
337    the wayside when I switched over to using Controls everywhere.)
338    
339    ----------------------------------------------------------------------
340    Name: Lal George
341    Date: 2002/05/23 12:21:40 EDT
342    Tag: george-20020523-visual-labels
343    Description:
344    
345    Labels are now displayed in the graphical output to make
346    the fall-through and target blocks obvious.
347    
348    ----------------------------------------------------------------------
349    Name: Matthias Blume
350    Date: 2002/05/22 11:03:00 EDT
351    Tag: blume-20020522-shrink
352    Description:
353    
354    John tweaked yesterday's fix for 1131 to handle an out-of-memory
355    situation that comes up when allocating huge arrays.
356    
357    ----------------------------------------------------------------------
358    Name: Matthias Blume
359    Date: 2002/05/21 16:00:00 EDT
360    Tag: Release_110_40
361    Description:
362    
363    New working release (110.40).  New bootfiles.
364    
365    [Also: John Reppy fixed GC bug 1131.]
366    
367    ----------------------------------------------------------------------
368    Name: Matthias Blume
369    Date: 2002/05/21 12:35:00 EDT
370    Tag: blume-20020521-cmdoc
371    Description:
372    
373    CM documentation update.
374    
375    ----------------------------------------------------------------------
376    Name: Matthias Blume
377    Date: 2002/05/21 10:55:00 EDT
378    Tag: blume-20020521-misc
379    Description:
380    
381    - John tweaked runtime to be silent on heap export (except when
382      GC messages are on).
383    - I added a few more things (cross-compiling versions of CMB) to
384      config/preloads (as suggestions).
385    
386    ----------------------------------------------------------------------
387    Name: Matthias Blume
388    Date: 2002/05/20 22:25:00 EDT
389    Tag: blume-20020520-controls
390    Description:
391    
392    - Added ControlUtil structure to control-lib.cm.
393    - Use it throughout.
394    - Used Controls facility to define MLRISC controls (as opposed to
395      registering MLRISC control ref cells with Controls after the fact)
396    - Fixed messed-up controls priorities.
397    
398    * Removed again all the stuff from config/preloads that one wouldn't
399      be able to preload at the time the initial heap image is built.
400      (Many libraries, e.g., CML, do not exist yet at this time.  The
401       only libraries that can be preloaded via config/preloads are those
402       that come bundled with the bootfiles.)
403    
404    ----------------------------------------------------------------------
405    Name: Matthias Blume
406    Date: 2002/05/20 10:59:00 EDT
407    Tag: blume-20020520-preloads
408    Description:
409    
410    Added a lot of commented-out suggestions for things to be included
411    in config/preloads.
412    
413    ----------------------------------------------------------------------
414    Name: Allen Leung
415    Date: 2002/05/18 14:20:00 EDT
416    Tag: leunga-20020518-mdl
417    Description:
418    
419    o Made the mdl tool stuff compile and run again.
420    o I've disabled all the stuff that depends on RTL specifications; they
421      are all badly broken anyway.
422    
423    ----------------------------------------------------------------------
424    Name: Matthias Blume
425    Date: 2002/05/17 16:49:00 EDT
426    Tag: blume-20020517-controls
427    Description:
428    
429    0. John Reppy made several modifications to the SML/NJ library.
430       In particular, there is a shiny new controls-lib.cm.
431    
432    1. Pushed new controls interface through compiler so that everything
433       compiles again.
434    
435    2. Added FormatComb and FORMAT_COMB to the CML version of the
436       SML/NJ library (so that CML compiles again).
437    
438    3. Modified init scripts because XXX_DEFAULT environment variables
439       are no longer with us.  (Boot-time initialization is now done
440       using the same environment variables that are also used for
441       startup-time initialization of controls.)
442    
443    ----------------------------------------------------------------------
444    Name: Lal George
445    Date: 2002/05/15 09:20:10 EDT
446    Tag: george-20020515-pseudo-op-decls
447    Description:
448    
449            All pseudo-ops emitted before the first segment declaration
450    such as TEXT, DATA, and BSS directives are assumed to be global
451    declarations and are emitted first in the assembly file. This is
452    useful in a number of situations where one has pseudo-ops that are not
453    specific to any segment, and also works around the constraint that one
454    cannot have client pseudo-ops in the TEXT segment.
455    
456            Because no segment is associated with these declarations it is
457    an error to allocate any space or objects before the first segment
458    directive and an exception will be raised. However, we cannot make
459    this check for client pseudo-ops.
460    
461            These top level declarations are a field in the CFG graph_info.
462    In theory you can continue to add to this field after the CFG has been
463    built -- provided you know what you are doing;-)
464    
465    ----------------------------------------------------------------------
466    Name: Matthias Blume
467    Date: 2002/05/13 16:40:00 EDT
468    Tag: blume-20020513-pp-etc
469    Description:
470    
471    A few minor bugfixes:
472    
473      - Stopgap measure for bug recently reported by Elsa Gunter (ppDec).
474        (Bogus printouts for redefined bindings still occur.  Compiler
475        bug should no longer occur now.  We need to redo the prettyprinter
476        from scratch.)
477    
478      - CM pathname printer now also adds escape sequences for ( and )
479    
480      - commend and docu fixes for ml-nlffi
481    
482    ----------------------------------------------------------------------
483    Name: Matthias Blume
484    Date: 2002/05/10 16:40:00 EDT
485    Tag: blume-20020510-erg-textio
486    Description:
487    
488    Applied the following bugfix provided by Emden Gansner:
489    
490        Output is corrupted when outputSubstr is used rather than output.
491    
492        The problem occurs when a substring
493    
494            ss = (s, dataStart, dataLen)
495    
496        where dataStart > 0, fills a stream buffer with avail bytes left.
497        avail bytes of s, starting at index dataStart, are copied into the
498        buffer, the buffer is flushed, and then the remaining dataLen-avail
499        bytes of ss are copied into the beginning of the buffer. Instead of
500        starting this copy at index dataStart+avail in s, the current code
501        starts the copy at index avail.
502    
503        Fix:
504        In text-io-fn.sml, change line 695 from
505             val needsFlush = copyVec(v, avail, dataLen-avail, buf, 0)
506        to
507             val needsFlush = copyVec(v, dataStart+avail, dataLen-avail, buf, 0)
508    
509    ----------------------------------------------------------------------
510    Name: Matthias Blume
511    Date: 2002/04/12 13:55:00 EDT
512    Tag: blume-20020412-assyntax
513    Description:
514    
515    1. Grabbed newer assyntax.h from the XFree86 project.
516    2. Fiddled with how to compile X86.prim.asm without warnings.
517    3. (Very) Minor cleanup in CM.
518    
519    ----------------------------------------------------------------------
520    Name: Matthias Blume
521    Date: 2002/04/01 (no joke!) 17:07:00 EST
522    Tag: blume-20020401-x86div
523    Description:
524    
525    Added full support for div/mod/rem/quot on the x86, using the machine
526    instruction's two results (without clumsily recomputing the remainder)
527    directly where appropriate.
528    
529    Some more extensive power-of-two support was added to the x86 instruction
530    selector (avoiding expensive divs, mods, and muls where they can be
531    replaced with cheaper shifts and masks).  However, this sort of thing
532    ought to be done earlier, e.g., within the CPS optimizer so that
533    all architectures benefit from it.
534    
535    The compiler compiles to a fixed point, but changes might be somewhat
536    fragile nevertheless.  Please, report any strange things that you might
537    see wrt. div/mod/quot/rem...
538    
539    ----------------------------------------------------------------------
540  Name: Matthias Blume  Name: Matthias Blume
541  Date: 2002/03/29 17:22:00  Date: 2002/03/29 17:22:00
542  Tag: blume-20020329-div  Tag: blume-20020329-div

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

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