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

Diff of /sml/trunk/NOTES/HISTORY

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

sml/trunk/HISTORY revision 1662, Sun Oct 24 17:56:50 2004 UTC sml/trunk/NOTES/HISTORY revision 2234, Thu Dec 14 15:51:17 2006 UTC
# Line 7  Line 7 
7    
8  The form of an entry should be:  The form of an entry should be:
9    
10  Name:  
11    Name: Your Name (web page or e-mail)
12    Date: yyyy/mm/dd hh:mm:ss
13    Tag: cvs-tag-for-this-change
14    Description:
15    
16    ----------------------------------------------------------------------
17    Name: John Reppy (http://cs.uchicago.edu/~jhr)
18    Date: 2006/14/06 09:50:00 CST
19    Description:
20    
21    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
22    get the c_cc termios data copied correctly.  Also moved the allocation
23    of the string to avoid problems if it caused a GC.
24    
25    Thanks to Timothy Bourke for the bug report and fix.
26    
27    ----------------------------------------------------------------------
28    Name: Matthias Blume (http://www.tti-c.org/blume)
29    Date: 2006/12/08 09:50:00 CST
30    Description:
31    
32    Added code to CM's "standard shell tool" implementation which
33    causes it to tolerate (with a warning) the situation where the shell
34    command fails (e.g., due to the shell command's non-existence)
35    as long as all target files exist.
36    
37    This makes it possible to, e.g., build ml-yacc from sources even if
38    svn checkout messed up the time stamps on files in such a way that
39    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
40    be needed to re-process yacc.grm, but obviously it might not yet be
41    available at that time.)
42    
43    ----------------------------------------------------------------------
44    Name: John Reppy (http://cs.uchicago.edu/~jhr)
45    Date: 2006/12/06 12:06:00 CST
46    Description:
47    
48    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
49    recvVecFromNB' in the SOCKET signature.  This error is actually
50    in the SML Basis specification too.
51    
52    ----------------------------------------------------------------------
53    Name: Matthias Blume (http://www.tti-c.org/blume/)
54    Date: 2006/12/05 22:40:00 CST
55    Description:
56    
57    CM now reports undefined anchors as errors and aborts execution
58    rather than silently pressing on using bogus values.
59    
60    ----------------------------------------------------------------------
61    Name: Matthias Blume (http://www.tti-c.org/blume/)
62    Date: 2006/11/29 10:00:00 CST
63    Description:
64    
65    Use Say.vsay for printing the "[autoloading]" message, so
66    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
67    to suppress them.
68    
69    ----------------------------------------------------------------------
70    Name: Matthias Blume (http://www.tti-c.org/blume/)
71    Date: 2006/11/10 11:00:00 CST
72    Description:
73    
74    Fixed bug in CM where "with:" specifications that affect compilation
75    (as opposed to parsing) were ignored.
76    
77    ----------------------------------------------------------------------
78    Name: Matthias Blume (http://www.tti-c.org/blume/)
79    Date: 2006/11/09 14:30:00 CST
80    Tag: release-110.60
81    Description:
82    
83    New working release (110.60).  NEW BOOTFILES!
84    
85    This is the first subversion-hosted release.  There are also changes
86    to the directory layout.  Here is a table:
87    
88    (All pathnames are relative to the SML/NJ "root" directory.)
89    
90      config -> config
91    
92      src/cm -> base/cm
93      src/compiler -> base/compiler
94      src/runtime -> base/runtime
95      src/system -> base/system
96    
97      src/cm/pgraph -> pgraph
98    
99      src/READMES -> base/READMES
100      src/$notefile -> base/NOTES/$notefile
101         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
102                           MACOSXINSTALL WININSTALL
103    
104      src/smlnj-lib -> smlnj-lib
105      src/MLRISC -> MLRISC
106      ckit -> ckit
107      src/cml -> cml
108      src/eXene -> eXene
109      src/heap2asm -> heap2asm
110      src/lexgen -> lexgen
111      src/ml-burg -> ml-burg
112      src/ml-lex -> ml-lex
113      src/ml-yacc -> ml-yacc
114      src/ml-nlffi-lib -> nlffi/lib
115      src/ml-nlffigen -> nlffi/gen
116      src/smlnj-c -> smlnj-c
117      src/tools/TraceDebugProf -> trace-debug-profile
118    
119    In addition, there is also a new
120    
121      ml-lpt
122    
123    directory containing two new program generator tools: ml-ulex and
124    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
125    LL(k) parser generator). These tools are currently "beta-quality"
126    
127    The latest versios of the sources can now be obtained anonymously
128    via subversion.  For this, it is useful to first check out
129    
130       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
131    
132    and put the resulting directory on your shell's PATH.  This provides
133    access to three shell scripts: checkout-all.sh, stat-all.sh,
134    and refresh-all.sh.
135    
136    To create a freshly checked-out copy of the sources, do
137    
138       checkout-all.sh [dir]
139    
140    where dir is the optional SML/NJ root directory (default is ".").
141    
142    This creates the above directory layout.  Each subdirectory of
143    the root is under individual subversion control.  The stat-all.sh
144    and refresh-al.sh scripts apply "svn stat" or "svn update" to
145    each of these subtrees.
146    
147    ----------------------------------------------------------------------
148    Name: Matthias Blume (http://www.tti-c.org/blume/)
149    Date: 2006/11/02 12:20:00 CST
150    Description:
151    
152    Reorganized directory layout.
153    
154    This is a temporary solution, more reorganization is to come.
155    
156    The basic idea is to have a number of toplevel trees, each corresponding
157    to a well-defined part of the overall system.  Each part can be
158    maintained individually, even in separate source repositories,
159    although currently we still serve everything out of the main
160    smlnj-gforge tree.
161    
162    Installer and and scripts have been updated to reflect the new
163    layout.  The installer (base/src/system/smlnj/installer) is now
164    "scriptable" to avoid burning too much knowledge about the
165    layout into SML source code.  The main script used by the installer
166    is in config/actions.
167    
168    The main change is that many of the subdirectories of what used to
169    be known as "src" have moved to the toplevel.  The "src" directory
170    itself has moved down into a subtree called "base".  (We may eventually
171    get rid of the extra level of indirection represented by "src".)
172    
173    The layout is now as follows:
174    
175      toplevel tree name | default repository
176                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
177      -------------------+----------------------------------------------------
178      config             | $gf/config/trunk
179                         |
180      base               | $gf/sml/trunk
181                         |
182      smlnj-lib          | $gf/smlnj-lib/trunk
183      MLRISC             | $gf/MLRISC/trunk
184                         |
185      ml-yacc            | $gf/ml-yacc/trunk
186      ml-lex             | $gf/ml-lex/trunk
187      ml-burg            | $gf/ml-burg/trunk
188      lexgen             | $gf/lexgen/trunk
189      heap2asm           | $gf/heap2asm/trunk
190                         |
191      cml                | $gf/cml/trunk
192      eXene              | $gf/eXene/trunk
193      ckit               | $gf/ckit/trunk
194      nlffi              | $gf/nlffi/trunk
195                         |
196      smlnj-c            | $gf/smlnj-c/trunk
197    
198    In $gf/admin there are a few useful shell scripts for checking out
199    and maintaining the entire collection of trees:
200    
201       admin/checkout-all.sh [dir]
202          -- optionally creates dir and checks out all trees from their
203             default repositories; if dir is missing, checkout into .
204       admin/refresh-all.sh [dir]
205          -- looks at all trees (from the above list) in dir (default: .)
206             and runs "svn update" if the tree exists and is under
207             subversion control;
208             non-existing or non-subversion trees are skipped
209       admin/stat-all.sh [dir]
210          -- like refresh-all.sh, but runs "svn stat" instead
211    
212    ----------------------------------------------------------------------
213    Name: Matthias Blume (http://www.tti-c.org/blume/)
214    Date: 2006/10/05 11:30:00 CDT
215    Tag: blume-20061005-merge-amd64
216    Description:
217    
218    Merged code for AMD64 backend (Mike Rainey's work).
219    Everything is hooked up but untested.
220    
221    ----------------------------------------------------------------------
222    Name: Matthias Blume (http://www.tti-c.org/blume/)
223    Date: 2006/05/17 14:00:00 CST
224    Tag: Release_110_59
225    Description:
226    
227    New working version (110.59).  NEW BOOTFILES!
228    
229    I am freezing 110.59.  Changes other than the version-number increase:
230    
231      eXene:
232    
233         * committed changes to eXene from Alley Stoughton:
234             "fixed bugs in X authorization and resource handling, as well
235              as in the pile and viewport widgets"
236    
237      Runtime:
238        * fixed linking problem with NetBSD 3.x.
239    
240      Lexgen:
241        * lexgen tool handles non-ascii characters in 7-bit mode the same
242          way that ml-lex does
243    
244        * lexgen propagates exceptions the same way that ml-lex does
245    
246      CML:
247        * Fixed a bug in the SyncVar polling functions (iGetPoll,
248          mTakePoll, and mGetPoll) that could lead to livelock.
249    
250    ----------------------------------------------------------------------
251    Name: Matthias Blume (http://www.tti-c.org/blume/)
252    Date: 2006/05/12 15:20:00 CST
253    Tag: blume-20060515-makedepend
254    Description:
255    
256    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
257    way.  This should hopefully fix the ml-makedepend problem permanently.
258    
259    ----------------------------------------------------------------------
260    Name: Matthias Blume (http://www.tti-c.org/blume/)
261    Date: 2006/05/12 15:15:00 CST
262    Tag: blume-20060512-makedepend
263    Description:
264    
265    Fixed long-standing bug with ml-makedepend where it would output a
266    spurious dependency to a non-existing file.  (This is a simple fix.
267    It might need further looking into.)
268    
269    ----------------------------------------------------------------------
270    Name: Matthias Blume (http://www.tti-c.org/blume/)
271    Date: 2006/04/20 10:30:00 CDT
272    Tag: blume-20060420-heap2exec
273    Description:
274    
275    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
276    that enable heap2exec under Linux and FreeBSD.
277    
278    ----------------------------------------------------------------------
279    Name: John Reppy
280    Date: 2006/04/14
281    Tag:
282    Description:
283    
284    MLRISC changes:
285      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
286      2) added support for NOTB and XORB operators in pseudo-op expressions
287      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
288      4) added support for 64-bit integer literals
289    
290    ----------------------------------------------------------------------
291    Name: Matthias Blume (http://www.tti-c.org/blume/)
292  Date: yyyy/mm/dd  Date: yyyy/mm/dd
293  Tag: <post-commit CVS tag>  Tag: Release_110_58
294    Description:
295    
296    New working version (110.58).  NEW BOOTFILES!
297    
298    ----------------------------------------------------------------------
299    Name: Matthias Blume (http://www.tti-c.org/blume/)
300    Date: 2006/03/01 22:15:00 CST
301    Tag: blume-20060301-lexgen
302    Description:
303    
304    Incorporated several bugfixes to lexgen.  Compiler now compiles to
305    fixpoint when using lexgen instead of ml-lex.
306    
307    ----------------------------------------------------------------------
308    Name: Matthias Blume (http://www.tti-c.org/blume/)
309    Date: 2006/02/28 22:45:00 CST
310    Tag: blume-20060228-lexgen
311    Description:
312    
313    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
314    provided tarball.  The generated lexers still have problems.
315    
316    ----------------------------------------------------------------------
317    Name: Matthias Blume (http://www.tti-c.org/blume/)
318    Date: 2006/02/26 23:30:00 CST
319    Tag: blume-20060226-ml-flex
320    Description:
321    
322    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
323    of ml-flex on by default.
324    
325    ----------------------------------------------------------------------
326    Name: Matthias Blume (http://www.tti-c.org/blume/)
327    Date: 2006/02/24 16:30:00 CST
328    Tag: blume-20060224-ml-flex
329    Description:
330    
331    Added ml-flex sources.  Partially integrated, but should not be
332    turned on yet!  (Read: leave it commented-out in config/targets!)
333    
334    ----------------------------------------------------------------------
335    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
336    Date: 2006/02/23
337    Tag: jhr-20060223-x86-64
338    Description:
339    Changes to support building on x86-64 systems (using the 32-bit mode).
340    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
341    kernels dropped.
342    
343    ----------------------------------------------------------------------
344    Name: Allen Leung (leunga (at) reservoir (dot) com)
345    Date: 2006/02/22 15:07:00 EST
346    Tag: leunga-20060222-mdl-gen
347    Description:
348    
349      CM has changed.  Updated the script for rebuilding the MLRISC generated
350    files.
351    
352    ----------------------------------------------------------------------
353    Name: Matthias Blume (http://www.tti-c.org/blume/)
354    Date: 2006/02/14 17:30:00 CST
355    Tag: blume-20060214-intel-mac
356    Description:
357    
358    Hooked code for Darwin-specific Intel ABI into main compiler.
359    (This is a temporary solution which relies on the fact that the
360    compiler itself does not use NLFFI.  Eventually we need to divorce
361    intel mac from generic x86 unix code and make separate sets of binaries.)
362    
363    ----------------------------------------------------------------------
364    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
365    Date: 2006/02/13
366    Tag: jhr-20060213-intel-mac
367    Description:
368    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
369    
370    ----------------------------------------------------------------------
371    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
372    Date: 2006/02/06
373    Tag: jhr-20060206-intel-mac
374    Description:
375    Changes to support MacOS X on Intel hardware.  The C-calls support in
376    MLRISC must also be updated to support the MacOS X ABI.
377    
378    ----------------------------------------------------------------------
379    Name: Matthias Blume (http://www.tti-c.org/blume/)
380    Date: 2005/12/16 00:15:00 CST
381    Tag: blume-20051216-cm
382    Description:
383    
384    Improved error reporting and handling in CM.
385    
386    ----------------------------------------------------------------------
387    Name: Matthias Blume (http://www.tti-c.org/blume/)
388    Date: 2005/11/21 14:00:00 CST
389    Tag: blume-20051121-html-lib
390    Description:
391    
392    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
393    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
394    at the time when config/preloads is processed, the library has to
395    be referred to by another name.  In 110.57 this would be
396    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
397    to be valid as well.)
398    
399    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
400    
401    ----------------------------------------------------------------------
402    Name: Matthias Blume (http://www.tti-c.org/blume/)
403    Date: 2005/11/19 13:45:00 CST
404    Tag: Release_110_57
405    Description:
406    
407    Moved release tag for 110.57.
408    
409    ----------------------------------------------------------------------
410    Name: Matthias Blume (http://www.tti-c.org/blume/)
411    Date: 2005/11/19 23:35:00 CST
412    Tag: blume-20051119-fish
413    Description:
414    
415    Fixed a problem in config/install.sh where it tries to "fish" the
416    name of the CM metadata directory from the wrong place (because
417    the physical location of basis.cm has changed).  Also, corrected the
418    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
419    these problems.)
420    
421    ----------------------------------------------------------------------
422    Name: Matthias Blume (http://www.tti-c.org/blume/)
423    Date: 2005/11/16 14:30:00 CST
424    Tag: blume-orig-110_57
425    Description:
426    
427    New working version (110.57).  NEW BOOTFILES!
428    
429    UPDATE: The release tag has been moved to include a fix for a brown-paper-
430            bag glitch (see above).
431    
432    ----------------------------------------------------------------------
433    Name: Matthias Blume (http://www.tti-c.org/blume/)
434    Date: 2005/11/16 10:25:00 CST
435    Tag: blume-22051116-btrace
436    Description:
437    
438    Fixed problem with bogus exception message when using back-trace
439    facility.
440    
441    ----------------------------------------------------------------------
442    Name: Matthias Blume (http://www.tti-c.org/blume/)
443    Date: 2005/11/15 22:35:00 CST
444    Tag: blume-22051115-array2copy
445    Description:
446    
447    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
448    
449    ----------------------------------------------------------------------
450    Name: Matthias Blume (http://www.tti-c.org/blume/)
451    Date: 2005/11/15 21:35:00 CST
452    Tag: blume-22051115-versiontool
453    Description:
454    
455    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
456    file gets loaded as a tool -- by the equivalent of CM.make during the
457    run of CMB.make.  Thus, CMB's path configuration is meaningless for
458    it.  Instead, it has the status of "user code", so it should use
459    $/basis.cm to refer to the Basis library.  (At least that's true for
460    the purpose of bootstrapping the previous change.  In the future it
461    might make sense to have versiontool.cm refer to
462    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
463    compiler itself uses.)
464    
465    Also patched src/system/testml to have it activate those extra anchor
466    bindings in config/extrapathconfig.
467    
468    ----------------------------------------------------------------------
469    Name: Matthias Blume (http://www.tti-c.org/blume/)
470    Date: 2005/11/15 16:35:00 CST
471    Tag: blume-22051115-libraries
472    Description:
473    
474    This change affects the way the following libraries are tied into
475    the system:
476    
477       $/basis.cm
478       $/smlnj-lib.cm
479       $/pp-lib.cm
480       $/controls-lib.cm
481       $/html-lib.cm
482       $/ml-yacc-lib.cm
483    
484    These libraries are now internally (as seen from the source code
485    of the implementation itself) known by the following names:
486    
487       $smlnj/basis/basis.cm
488       $smlnj/smlnj-lib/smlnj-lib.cm
489       $smlnj/smlnj-lib/pp-lib.cm
490       $smlnj/smlnj-lib/controls-lib.cm
491       $smlnj/smlnj-lib/html-lib.cm
492       $smlnj/ml-yacc/ml-yacc-lib.cm
493    
494    This makes it possible to work with code that requires different
495    versions of these libraries, and which refers to these libraries using
496    their "default" names (i.e., the first set of names above).  In other
497    words, one can un-define or re-define those default names without
498    compromising the proper functioning of the compiler itself.
499    
500    A similar procedure had already been performed for several of the
501    MLRISC libraries that are linked into the compiler.  I did some
502    cleanup on this code.
503    
504    A new file in the config directory (named extrapathconfig) is
505    responsible for setting up path anchors that the compiler itself does
506    not need, but that are typically required by user code.
507    
508    ----------------------------------------------------------------------
509    Name: Matthias Blume
510    Date: 2005/11/07 17:05:00 CST
511    Tag: blume-20051107-slice
512    Description:
513    
514    Fixed erroneous out-of-bounds test in the "update" function of
515    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
516    out the problem.)
517    
518    Pushed some Basis changes through ML-Lex, CML, and eXene.
519    
520    ----------------------------------------------------------------------
521    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
522    Date: 2005/11/07
523    Description:
524    Fixed a Basis incompatibility: The depreciated function Substring.all
525    was removed (use Substring.full instead).
526    
527    ----------------------------------------------------------------------
528    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
529    Date: 2005/11/05
530    Description:
531    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
532    
533    ----------------------------------------------------------------------
534    Name: Matthias Blume (http://www.tti-c.org/blume/)
535    Date: 2005/11/02 16:25:00 CST
536    Tag: blume-20051102-hex
537    Description:
538    
539    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
540      in either upper case or lower case format.
541    * Pushed changes to names of Pack<N>{Big,Little} structures through
542      CML and eXene.
543    
544    ----------------------------------------------------------------------
545    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
546    Date: 2005/11/02
547    Description:
548    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
549    be called PackWord<N>{Big,Little}.
550    
551    ----------------------------------------------------------------------
552    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
553    Date: 2005/10/28
554    Description:
555    Fixed a minor Basis incompatibility: hex digits should be upper case.
556    
557    ----------------------------------------------------------------------
558    Name: Matthias Blume (blume (at) tti - c (dot) org)
559    Date: 2005/10/25 16:00:00 CDT
560    Tag: Release_110_56
561    Description:
562    
563    New working version (110.56).  NEW BOOTFILES!
564    
565    ----------------------------------------------------------------------
566    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
567    Date: 2005/10/25
568    Description:
569    Added interval sets to utility library (signatures INTERVAL_DOMAIN
570    and INTERVAL_SET, and functor IntervalSetFn).
571    
572    ----------------------------------------------------------------------
573    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
574    Date: 2005/10/14
575    Description:
576    Add Zhong Shao's fix for datatype equality functions.
577    
578    ----------------------------------------------------------------------
579    Name: Allen Leung (leunga (at) reservoir (dot) com)
580    Date: 2005/10/14 12:30:00 EST
581    Tag: leunga-20051014-x86-spill
582    Description:
583    
584    Bug fix a bug found by Carl Hauser.
585    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
586    
587    ----------------------------------------------------------------------
588    Name: Allen Leung (leunga (at) reservoir (dot) com)
589    Date: 2005/10/14 11:15:00 EST
590    Tag: leunga-20051014-x86-asm
591    Description:
592    
593    Removed some debugging code in file x86Asm.sml.
594    The function emit_operand was printing out debugging output.
595    
596    ----------------------------------------------------------------------
597    Name: John Reppy
598    Date: 2005/07/27
599    Tag:
600    Description:
601    
602    Fixed ml-lex to recognize "\r" as representing carriage return.
603    
604    ----------------------------------------------------------------------
605    Name: John Reppy
606    Date: 2005/07/27
607    Tag:
608    Description:
609    
610    Fixed ml-yacc to work on files with non-native end-of-line
611    encodings (e.g., Windows text file on a Unix system).
612    
613    ----------------------------------------------------------------------
614    Name: John Reppy
615    Date: 2005/07/20
616    Tag:
617    Description:
618    
619    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
620    to support HPUX 11.
621    
622    ----------------------------------------------------------------------
623    Name: John Reppy
624    Date: 2005/07/06
625    Tag:
626    Description:
627    
628    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
629    
630    ----------------------------------------------------------------------
631    Name: Matthias Blume (blume (at) tti - c (dot) org)
632    Date: 2005/07/06 00:45:00 CDT
633    Tag: blume-20050706-slice-copy
634    Description:
635    
636    Fixed reversed logic for deciding whether to "copy up" or "copy down"
637    in *-array-slice.sml.
638    
639    ----------------------------------------------------------------------
640    Name: Allen Leung (leunga (at) reservoir (dot) com)
641    Date: 2005/05/31 17:00:00 EST
642    Tag: leunga-20050531-cygwin-fault-2
643    Description:
644    
645    A typo in the cygwin code fixed.
646    
647    ----------------------------------------------------------------------
648    Name: Allen Leung (leunga (at) reservoir (dot) com)
649    Date: 2005/05/31 16:47:00 EST
650    Tag: leunga-20050531-cygwin-fault
651    Description:
652    
653    Updated Cygwin's fault/signal handling to match the Windows version.
654    Updated the export list.
655    
656    ----------------------------------------------------------------------
657    Name: Matthias Blume (blume (at) tti - c (dot) org)
658    Date: 2005/05/18 13:35:00 CDT
659    Tag: Release_110_54
660    Description:
661    
662    New working version (110.54).  NEW BOOTFILES!
663    
664    ----------------------------------------------------------------------
665    Name: Matthias Blume (blume (at) tti - c (dot) org)
666    Date: 2005/05/18 11:58:00 CDT
667    Tag: blume-20050518-installer
668    Description:
669    
670    Added support scripts for Mac OS X PackageMaker and modified
671    config/install.sh so that it supports re-dumping a heap image
672    after customization.
673    
674    ----------------------------------------------------------------------
675    Name: Matthias Blume (blume (at) tti - c (dot) org)
676    Date: 2005/05/18 10:55:00 CDT
677    Tag: blume-20050518-realdiv-noovld
678    Description:
679    
680    Un-overloaded / to work around bug in overloading resolution code.
681    
682    ----------------------------------------------------------------------
683    Name: Matthias Blume (blume (at) tti - c (dot) org)
684    Date: 2005/05/16 23:50:00 CDT
685    Tag: blume-20050516-redump-heap
686    Description:
687    
688    Added mechanism for re-creating a heap file for the interactive system
689    after configuration variables have been changed.
690    
691       CM.redump_heap : string -> unit
692    
693    This is much like SMLofNJ.exportML, but starting from the resulting
694    heap does not return to the caller of CM.redump_heap but
695    restarts the interactive system from scratch.  The original call of
696    CM.redump_heap does not return but ends the interactive session.
697    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
698    
699    Internally, redump_heap winds the dynamic execution context back to
700    the point where the original heap image was created and re-executes
701    the heap image generation code in the boot code.
702    
703    ----------------------------------------------------------------------
704    Name: Matthias Blume (blume (at) tti - c (dot) org)
705    Date: 2005/05/09 21:55:00 CDT
706    Tag: blume-20050509-word64
707    Description:
708    
709    Added a hack to the existing hack known as Word64 to make fromString
710    behave correctly.  I am still not sure whether Word64.scan will work
711    as specified with respect to the interaction of radix and prefix.
712    
713    ----------------------------------------------------------------------
714    Name: Allen Leung (leunga (at) reservoir (dot) com)
715    Date: 2005/05/04 11:50:00 EST
716    Tag: leunga-20050504-checkgc
717    Description:
718    
719    Added a gc protocol checking phase.  This phase is enabled with
720    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
721    
722    ----------------------------------------------------------------------
723    Name: Matthias Blume (blume (at) tti - c (dot) org)
724    Date: 2005/05/04 10:45:00 CDT
725    Tag: blume-20050504-intinf
726    Description:
727    
728    Fixed a bug in the implementation of div and mod for IntInf.
729    Thanks to Neophytos Michael for reporting the problem.
730    
731    ----------------------------------------------------------------------
732    Name: Matthias Blume (blume (at) tti - c (dot) org)
733    Date: 2005/05/04 10:35:00 CDT
734    Tag: blume-20050504-join
735    Description:
736    
737    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
738    
739    ----------------------------------------------------------------------
740    Name: Matthias Blume (blume (at) tti - c (dot) org)
741    Date: 2005/02/28 23:40:00 CST
742    Tag: blume-20050228-mVar
743    Description:
744    
745    Fixed serious bug (brown paper bag variety) in new implementation of
746    structure Atom in CML.  (I had accidentally used a mailbox instead of
747    an mvar, leaving the door open for races.)
748    
749    ----------------------------------------------------------------------
750    Name: Matthias Blume (blume (at) tti - c (dot) org)
751    Date: 2005/02/25 15:00:00 CST
752    Tag: Release_110_53
753    Description:
754    
755    New working version (110.53).  NEW BOOTFILES!
756    
757    ----------------------------------------------------------------------
758    Name: Matthias Blume (blume (at) tti - c (dot) org)
759    Date: 2005/02/25 14:50:00 CST
760    Tag: blume-20050225-susp
761    Description:
762    
763    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
764    implemented in Core -- which means that it is the same as the one used
765    by the lazy extension.
766    
767    ----------------------------------------------------------------------
768    Name: Matthias Blume (blume (at) tti - c (dot) org)
769    Date: 2005/02/24 16:50:00 CST
770    Tag: blume-20050224-cml-atom
771    Description:
772    
773    Simpler and at the same time more general implementation of structure
774    Atom in CML.
775    
776    ----------------------------------------------------------------------
777    Name: Matthias Blume (blume (at) tti - c (dot) org)
778    Date: 2005/02/15 17:35:00 CST
779    Tag: blume-20050215-tools
780    Description:
781    
782    Created new "tools" directory under "src" and moved "TraceDebugProf"
783    there.
784    
785    ----------------------------------------------------------------------
786    Name: Matthias Blume (blume (at) tti - c (dot) org)
787    Date: 2005/02/10 17:55:00 CST
788    Tag: blume-20050210-longlong
789    Description:
790    
791    Implemented "long long" arguments and results for NLFFI.  (Only the
792    PPC/MacOS implementation is complete, the other backends still need to
793    be updated.)
794    
795    ----------------------------------------------------------------------
796    Name: Matthias Blume (blume (at) tti - c (dot) org)
797    Date: 2005/01/24 17:40:00 CST
798    Tag: blume-20050124-mlyacc
799    Description:
800    
801    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
802    problem with certain "as" patterns which previously got rendered
803    using incorrect syntax.
804    
805    ----------------------------------------------------------------------
806    Name: Matthias Blume (blume (at) tti - c (dot) org)
807    Date: 2005/01/18 12:00:00 CST
808    Tag: blume-20050118-profile
809    Description:
810    
811    Made time profiling code (interrupt handler) in runtime system aware
812    of new array representation.
813    
814    ----------------------------------------------------------------------
815    Name: Matthias Blume (blume (at) tti - c (dot) org)
816    Date: 2005/01/14 18:00:00 CST
817    Tag: blume-20050114-heap2exec
818    Description:
819    
820    Implemented new (but still experimental) heap2exec facility.  This is
821    tested under Mac OS X and should work under Linux (will test shortly).
822    It will probably also work on the Sparc (will test some time later).
823    
824      - removed old "HACKED_STANDALONE" hack from runtime
825    
826    To be able to test this, uncomment the request for "heap2asm" in
827    config/targets prior to installation.  (Notice that this is different
828    from "heap2exec" mentioned below.  Not a typo.)
829    
830    To perform an actual test, run the command
831    
832       $ bin/heap2exec heapfile execfile
833    
834    (You can put heap2exec on your shell's path.)
835    
836    For example, run
837    
838      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
839    
840    This will create a standalone executable called "mly" which you can
841    then invoke directly as a command.
842    
843    ----------------------------------------------------------------------
844    Name: Matthias Blume (blume (at) tti - c (dot) org)
845    Date: 2005/01/07 11:44:00 CST
846    Tag: blume-20050107-mlstring
847    Description:
848    
849    fixed off-by-one error in ML_STRING macro (globals.c)
850    
851    ----------------------------------------------------------------------
852    Name: Matthias Blume (blume (at) tti - c (dot) org)
853    Date: 2004/12/23 18:00:00 CST
854    Tag: blume-20041223-santa
855    Description:
856    
857    Made ml-build script "smarter" (but only very little).
858    
859    ----------------------------------------------------------------------
860    Name: Matthias Blume (blume (at) tti - c (dot) org)
861    Date: 2004/12/21 15:05:00 CST
862    Tag: blume-20041221-longlong
863    Description:
864    
865    * Implemented access to signed and unsigned long long data in NLFFI.
866    (The parameter-passing part of the picture has not complete. But
867    data structure access seems to work.)
868    
869    * Fixed CM's incorrect assumption that the PPC is little-endian.
870      (On the Mac, it is big-endian.  And that's currently our only
871      PPC platform.)
872    
873    ----------------------------------------------------------------------
874    Name: Matthias Blume (blume (at) tti - c (dot) org)
875    Date: 2004/12/21 12:50:00 CST
876    Tag: blume-20041221-memory
877    Description:
878    
879    Some cleanup in the $c/memory.cm library: separated some concerns by
880    moving allocation code and memory access code each into their own
881    files.
882    
883    ----------------------------------------------------------------------
884    Name: Allen Leung (leunga (at) reservoir (dot) com)
885    Date: 2004/12/17 16:12:00 EST
886    Tag: leunga-20041217-cygwin-smlnj-home
887    Description:
888    
889        The Unix I/O library of SML/NJ on cygwin does not understand
890    Windows style pathname, so problems arise when SMLNJ_HOME is set
891    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
892    to a POSIX pathname on cygwin.
893    
894    ----------------------------------------------------------------------
895    Name: Matthias Blume (blume (at) tti - c (dot) org)
896    Date: 2004/12/16 13:35:00 CST
897    Tag: Release_110_52
898    Description:
899    
900    Last-minute changes incorporated into 110.52.  Release tag moved.
901    
902    The changes:
903       - HashString.hashString' -> HashString.hashSubstring
904       - bug fix in UnivariateStats
905    
906    ----------------------------------------------------------------------
907    Name: Matthias Blume (blume (at) tti - c (dot) org)
908    Date: 2004/12/15 23:40:00 CST
909    Tag: blume-20041215-hashSubstring
910    Description:
911    
912    - HashString.hashString' -> HashString.hashSubstring
913    - corresponding changes in atom.sml
914    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
915      added some comments
916    
917    ----------------------------------------------------------------------
918    Name: Matthias Blume (blume (at) tti - c (dot) org)
919    Date: 2004/12/15 15:30:00 CST
920    Tag: (Release_110_52)
921    Description:
922    
923    New working version (110.52).  NEW BOOTFILES!
924    
925    ----------------------------------------------------------------------
926    Name: Matthias Blume (blume (at) tti - c (dot) org)
927    Date: 2004/12/15 12:45:00 CST
928    Tag: blume-20041215-spaces
929    Description:
930    
931    More on the space problem (this time for Win32).
932    
933    ----------------------------------------------------------------------
934    Name: Matthias Blume (blume (at) tti - c (dot) org)
935    Date: 2004/12/14 17:30:00 CST
936    Tag: blume-20041214-spaces
937    Description:
938    
939    Hacked some of the scripts (in particular: the installer) to cope with
940    spaces in filenames a bit better.  But beware: the current "solution"
941    is likely still full of bugs and inherently incomplete.  (We need to
942    do away with those shell scripts for a comprehensive solution.)
943    
944    ----------------------------------------------------------------------
945    Name: Matthias Blume (blume (at) tti - c (dot) org)
946    Date: 2004/12/13 14:45:00 CST
947    Tag: blume-20041213-ml-makedepend
948    Description:
949    
950    Fixed bug in code for ml-makedepend.
951    
952    ----------------------------------------------------------------------
953    Name: Matthias Blume (blume (at) tti - c (dot) org)
954    Date: 2004/12/09 16:30:00 CST
955    Tag: blume-20041209-statistics
956    Description:
957    
958    Added two simple but potentially useful statistics modules to SML/NJ Library.
959    (See CHANGES file there.)
960    
961    ----------------------------------------------------------------------
962    Name: Matthias Blume (blume (at) tti - c (dot) org)
963    Date: 2004/12/01 16:50:00 CST
964    Tag: blume-20041201-atom
965    Description:
966    
967    smlnj-lib:
968    
969      Added function HashString.hashString' for substrings.
970      Hand-inlined CharVector.foldl into HashString (for speed).
971      Modified implementation of structure Atom to avoid extracting
972      strings from substrings unless necessary.
973      (Also see CHANGES file for smlnj-lib.)
974    
975    ----------------------------------------------------------------------
976    Name: Matthias Blume (blume (at) tti - c (dot) org)
977    Date: 2004/11/24 22:15:00 CST
978    Tag: blume-20041124-cml
979    Description:
980    
981    Made sure CML compiles when Position = Int64.
982    
983    ----------------------------------------------------------------------
984    Name: Matthias Blume (blume (at) tti - c (dot) org)
985    Date: 2004/11/24 14:30:00 CST
986    Tag: blume-20041124-position
987    Description:
988    
989    The compiler can now be compiled in a mode that makes structure Position
990    equal to Int64.  The default, however, is unchanged (Position = Int31)
991    for the time being.
992    
993    To enable 64-bit positions, use the following procedure:
994    
995    1. Start sml
996    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
997    3. Type
998          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
999    4. Run CMB.make() as usual.
1000    
1001    This is barely tested.  The only test so far was a little SML program
1002    counting the number of characters in an 8-gigabyte file by
1003    reading it character-by-character.  That test was successful.
1004    
1005    In support of 64-bit positions, a number of new functions have been
1006    added to the runtime system.
1007    
1008    ----------------------------------------------------------------------
1009    Name: Matthias Blume (blume (at) tti - c (dot) org)
1010    Date: 2004/11/23 14:45:00 CST
1011    Tag: blume-20041123-useFile
1012    Description:
1013    
1014    Fixed a problem with unhelpful error messages related to problems with
1015    .cm- or .sml files that appear as part of the sml command line.
1016    
1017    ----------------------------------------------------------------------
1018    Name: Matthias Blume (blume (at) tti - c (dot) org)
1019    Date: 2004/11/18 15:40:00 CST
1020    Tag: Release_110_51
1021    Description:
1022    
1023    New working version (110.51).  NEW BOOTFILES!
1024    
1025    ----------------------------------------------------------------------
1026    Name: Matthias Blume (blume (at) tti - c (dot) org)
1027    Date: 2004/11/18 15:35:00 CST
1028    Tag: <none>
1029    Description:
1030    
1031    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
1032    Joemann).
1033    
1034    ----------------------------------------------------------------------
1035    Name: Allen Leung (leunga (at) reservoir (dot) com)
1036    Date: 2004/11/17 16:05:21 EST 2004
1037    Tag: leunga-20041117-mlrisc-live-kill
1038    Description:
1039    
1040       Added support for MLTree constructs LIVE and KILL
1041    to all the architectures.
1042    
1043    ----------------------------------------------------------------------
1044    Name: Matthias Blume (blume (at) tti - c (dot) org)
1045    Date: 2004/11/13 00:20:00 CST
1046    Tag: blume-20041113-versiontool
1047    Description:
1048    
1049    - Stripped down the versiontool: It now only handles the version number.
1050      The date string is generated at bootstrap time (during makeml).
1051    
1052    - In a previous commit, fixed a minor issue with how polyequal is being
1053      translated.  In particular, the code now "looks through" abstractions.
1054      This results in slightly fewer polyEqual warnings and hopefully slightly
1055      more efficient code.  Important examples for where this matters are
1056      the new int64 and word64 types.
1057    
1058    ----------------------------------------------------------------------
1059    Name: Matthias Blume (blume (at) tti - c (dot) org)
1060    Date: 2004/11/12 00:30:00 CST
1061    Tag: blume-20041112-int64
1062    Description:
1063    
1064    Structure Int64 fully hooked in.  (The implementation is not very
1065    efficient, though.)
1066    
1067    ----------------------------------------------------------------------
1068    Name: Matthias Blume (blume (at) tti - c (dot) org)
1069    Date: 2004/11/11 17:30:00 CST
1070    Tag: blume-20041111-more64
1071    Description:
1072    
1073    All the pieces of Word64 are now there, with the exception of the
1074    conversions from and to LargeWord. (Eventually these need to be identities,
1075    but for the time being they don't even make sense because LargeWord is
1076    32-bit wide.)
1077    
1078    Also started to add similar support for Int64, but major pieces of that
1079    are still missing.
1080    
1081    ----------------------------------------------------------------------
1082    Name: Matthias Blume (blume (at) tti - c (dot) org)
1083    Date: 2004/11/11 00:15:00 CST
1084    Tag: blume-20041111-word64
1085    Description:
1086    
1087    Structure Word64 is now (almost) complete, word literals and patterns
1088    seem to work.  There are a few odd pieces missing.  In particular,
1089    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
1090    at the moment.
1091    
1092    Making Word64 official would mean that LargeWord becomes Word64.  But
1093    this requires extreme care because most word-word conversions have to
1094    go through LargeWord, so making a mistake means loss of efficiency or
1095    worse.  Eventually there will be a solution similar to (but actually
1096    simpler than) what I did with IntInf.
1097    
1098    ----------------------------------------------------------------------
1099    Name: Matthias Blume (blume (at) tti - c (dot) org)
1100    Date: 2004/11/10 18:12:00 CST
1101    Tag: blume-20041110-64bit
1102    Description:
1103    
1104    More 64-bit hacking (but still not even half-way there yet).
1105    Also, some assorted improvements to the handling of 8-bit words.
1106    
1107    ----------------------------------------------------------------------
1108    Name: Matthias Blume (blume (at) tti - c (dot) org)
1109    Date: 2004/11/09 17:50:00 CST
1110    Tag: <none>
1111    Description:
1112    
1113    Started adding some infrastructure for supporting 64-bit int- and
1114    word-types.  (Still in its very early stages.)
1115    
1116    ----------------------------------------------------------------------
1117    Name: Matthias Blume (blume (at) tti - c (dot) org)
1118    Date: 2004/10/28 10:45:00 CDT
1119    Tag: Release_110_50
1120  Description:  Description:
1121    
1122    New working version (110.50).  NEW BOOTFILES!
1123    
1124                 =====================
1125    
1126    Also:
1127    
1128      - Changend config/srcarchiveurl from a file just
1129        containing the URL string into a file containing
1130        shell script code.  The code has access to the $VERSION variable.
1131      - Made corresponding changes to config/install.sh and config/unpack.
1132      - Default contents of config/srcarchiveurl uses $VERSION and
1133        normally does not have to be edited to reflect a version change.
1134    
1135      (As a result, a version change can be done by just editing
1136       config/version, the rest is now automatic.)
1137    
1138    ----------------------------------------------------------------------
1139    Name: Matthias Blume (blume (at) tti - c (dot) org)
1140    Date: 2004/10/27 17:50:00 CDT
1141    Tag: blume-20041027-btrace-msg
1142    Description:
1143    
1144    BackTrace.monitor now also reports the source of the exception that
1145    triggered the trace.
1146    
1147    ----------------------------------------------------------------------
1148    Name: Matthias Blume (blume (at) tti - c (dot) org)
1149    Date: 2004/10/27 17:20:00 CDT
1150    Tag: blume-20041027-x86-c-calls
1151    Description:
1152    
1153    This is the HISTORY entry for two earlier commits, both concerning
1154    the x86 c-calls code in MLRISC:
1155    
1156      - added a missing LOAD in the code that deals with struct arguments
1157      - made sure the caller does not add the wrong number of bytes to the
1158        stack pointer after a call of a function returning a struct
1159        (the callee already pops the implicit argument which points to
1160         the space reserved for the result)
1161    
1162  ----------------------------------------------------------------------  ----------------------------------------------------------------------
1163  Name: Allen Leung (leunga (at) reservoir (dot) com)  Name: Allen Leung (leunga (at) reservoir (dot) com)
1164  Date: 2004/10/24 14:00:00 EST  Date: 2004/10/24 14:00:00 EST
# Line 218  Line 1365 
1365  Description:  Description:
1366    
1367  * Moved the "version" magic into its own little library under  * Moved the "version" magic into its own little library under
1368  src/system/smlnj/internal.  This avoids expensive reconstruction    src/system/smlnj/internal.  This avoids expensive reconstruction of
1369  of a stable src/compiler/core.cm.    a stable src/compiler/core.cm.
1370    
1371  * At the same time, structure CompilerVersion is now known as structure  * At the same time, structure CompilerVersion is now known as
1372  SMLNJVersion.    structure SMLNJVersion.
1373    
1374  * Arranged for the version tool to NOT kick in when rebuilding the system  * Arranged for the version tool to NOT kick in when rebuilding the system
1375    (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.    (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.

Legend:
Removed from v.1662  
changed lines
  Added in v.2234

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