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 1737, Thu Dec 16 19:38:22 2004 UTC sml/trunk/NOTES/HISTORY revision 3803, Sat Jan 19 18:56:57 2013 UTC
# Line 1  Line 1 
1  This is the HISTORY file for the Yale SML/NJ CVS repository.  This is the HISTORY file for the SML/NJ repository.
2    
3  An entry should be made for _every_ commit to the repository.  An entry should be made for _every_ commit to the repository.
4  The entries in this file will be used when creating the README  The entries in this file will be used when creating the README
# Line 7  Line 7 
7    
8  The form of an entry should be:  The form of an entry should be:
9    
10  Name:  Name: Your Name (web page or e-mail)
11    Date: yyyy/mm/dd hh:mm:ss
12    Tag: cvs-tag-for-this-change
13    Description:
14    
15    Here is a test entry
16    
17    ----------------------------------------------------------------------
18    Name: John Reppy (http://cs.uchicago.edu/~jhr)
19  Date: yyyy/mm/dd  Date: yyyy/mm/dd
 Tag: <post-commit CVS tag>  
20  Description:  Description:
21    
22  ----------------------------------------------------------------------  ----------------------------------------------------------------------
23    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
24    Date: 2013/01/19
25    Description:
26    Fix AMD64 code generator to properly sign-extend arguments to IDIVQ.
27    
28    ----------------------------------------------------------------------
29    Name: John Reppy (http://cs.uchicago.edu/~jhr)
30    Date: 2012/10/20
31    Description:
32    Fix bug #108 (off-by-one error in Util/dynamic-array.sml; iterators crash)
33    
34    ----------------------------------------------------------------------
35    Name: John Reppy (http://cs.uchicago.edu/~jhr)
36    Date: 2012/10/20
37    Description:
38    Fix bug #107 (Bogus Int64 comparison operators)
39    
40    ----------------------------------------------------------------------
41    Name: John Reppy (http://cs.uchicago.edu/~jhr)
42    Date: 2012/10/01
43    Description:
44    
45    *************************** Version 110.75 ***************************
46    
47    ----------------------------------------------------------------------
48    Name: John Reppy (http://cs.uchicago.edu/~jhr)
49    Date: 2012/09/28
50    Description:
51    Fixed bug #92.  IntInf.scan now handles the "0x" prefix correctly.
52    Also made minor improvements to the NumScan module.
53    
54    ----------------------------------------------------------------------
55    Name: John Reppy (http://cs.uchicago.edu/~jhr)
56    Date: 201209/24
57    Description:
58    Added Base64 module to SML/NJ Library to support encoding and decoding
59    Word8 vectors as base64 strings.
60    
61    ----------------------------------------------------------------------
62    Name: John Reppy (http://cs.uchicago.edu/~jhr)
63    Date: 2012/09/23
64    Description:
65    Additions to the SML/NJ Library.  Added exists, existsi, all, and alli
66    functions to ORD_MAP signature and implementations, and added all
67    function to ORD_SET signature and implementations.
68    
69    ----------------------------------------------------------------------
70    Name: John Reppy (http://cs.uchicago.edu/~jhr)
71    Date: 2012/09/21
72    Description:
73    Bug fix in ml-antlr to ensure that the generated toString function
74    for tokens is strictly legal SML code (i.e., non-printing characters
75    and UTF8 multibyte sequences are properly escaped).
76    
77    ----------------------------------------------------------------------
78    Name: John Reppy (http://cs.uchicago.edu/~jhr)
79    Date: 2012/09/11
80    Description:
81    Added getu function to ULexBuffer as a way to improve ulex performance.
82    This addition allows a fastpath for processing ascii characters, which
83    improved lexer performance by 3-4%.
84    
85    ----------------------------------------------------------------------
86    Name: John Reppy (http://cs.uchicago.edu/~jhr)
87    Date: 2012/08/02
88    Description:
89    Fixed bugs #89 and #96: Build Failure with Xcode 4.3
90    Also removed build support for MacOS X pre-10.5 (Leopard) on PPC and
91    pre-10.6 (Snow Leopard) on Intel.
92    
93    ----------------------------------------------------------------------
94    Name: John Reppy (http://cs.uchicago.edu/~jhr)
95    Date: 2012/02/05
96    Description:
97    Fixed bug #88.  The check for valid arcs on Unix systems now allows
98    any character other than slash or nul.
99    
100    ----------------------------------------------------------------------
101    Name: David MacQueen (dbm@cs.uchicago.edu)
102    Date: 2012/01/20
103    Description:
104    
105    *************************** Version 110.74 ***************************
106    
107    ----------------------------------------------------------------------
108    Name: John Reppy (http://cs.uchicago.edu/~jhr)
109    Date: 2012/01/20
110    Description:
111    
112    Fixed implementation of Real.signBit on little-endian machines.
113    
114    ----------------------------------------------------------------------
115    Name: David MacQueen (dbm@cs.uchicago.edu)
116    Date: 2012/1/19
117    Revision: 3664, 3665
118    Description:
119    
120    1) Fix for (gforge) bug #60
121       recalculate strictness for DEFtycs in functor bodies when functor
122       is applied  (Elaborator/modules/evalent.sml)
123    
124    2) Fix for (gforge) bug #77
125       separate ast representations for datatypes and datatype replications
126       in decs and specs (multiple files)
127    
128    3) set version to 110.74
129    
130    Details in NOTES/changes/dbm_2012_1.
131    
132    ----------------------------------------------------------------------
133    Name: David MacQueen (dbm@cs.uchicago.edu)
134    Date: 2012/1/12
135    Revision: 3648, 3652
136    Description:
137    
138    1) Change of SourceMap interface.
139       related to fix of off-by-one error in lexer (committed earlier?), and cleanup of noweb code
140       added by Norman Ramsey many years ago (but little used today).
141    
142    3) Slight cleanup of match compiler, eliminatiing compiler/FLINT/tempexpn.sml file that
143       was part of unused implementation of pattern templates (pattern macros).
144    
145    4) Modification of type checker to add "culprit tracking" for improved type error messages
146       (printing of additional culprit information is controlled by ElabControl.showTypeErrorCulprits
147        flag, default false, added in revision 3652).  The culprit tracking needs to be debugged
148        and improved, and the presentation of the culprits needs to be done better.
149    
150    Details in NOTES/changes/dbm_2012_1.
151    
152    ----------------------------------------------------------------------
153    Name: John Reppy (http://cs.uchicago.edu/~jhr)
154    Date: 2011/11/25
155    Description:
156    
157    Bug fixes for Unsafe.blastRead (#76):
158      1) proper error handling when reading from memory and there are
159         not enough bytes.
160      2) pass correct data pointer and length to BlastIn (code was using
161         old macros).
162    
163    ----------------------------------------------------------------------
164    Name: John Reppy (http://cs.uchicago.edu/~jhr)
165    Date: 2011/11/25
166    Description:
167    
168    Added hash-table-based implementation of sets to SML/NJ Library.
169    
170    ----------------------------------------------------------------------
171    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
172    Date: 2011/10/25
173    Description:
174    
175    Better error reporting under 32-bit linux for the missing dpkg
176    support (#70).
177    Enable 3.x kernels to build (#80, 81, 83).
178    
179    ----------------------------------------------------------------------
180    Name: John Reppy (http://cs.uchicago.edu/~jhr)
181    Date: 2011/05/23
182    Description:
183    
184    Added new S-expression library to SML/NJ Library
185    (contributed by Damon Wang)
186    
187    ----------------------------------------------------------------------
188    Name: John Reppy (http://cs.uchicago.edu/~jhr)
189    Date: 2011/05/17
190    Description:
191    
192    Fixed bug in JSON scanner (SML/NJ Library).  It didn't handle escaped
193    backslash or double quote correctly.
194    
195    ----------------------------------------------------------------------
196    Name: John Reppy (http://cs.uchicago.edu/~jhr)
197    Date: 2011/05/13
198    Description:
199    
200    *************************** Version 110.73 ***************************
201    
202    ----------------------------------------------------------------------
203    Name: John Reppy (http://cs.uchicago.edu/~jhr)
204    Date: 2011/05/10
205    Description:
206    
207    Added boolean literals (true and false) to the conditional-expression
208    syntax in CM.  Thus, you can write
209    
210    #if true
211      structure Foo
212    #endif
213    
214    in a CM file.  This change is meant to make it easier to use autoconf
215    to configure the build process of an SML application.
216    
217    ----------------------------------------------------------------------
218    Name: John Reppy (http://cs.uchicago.edu/~jhr)
219    Date: 2011/05/09
220    Description:
221    
222    Added missing String.scan function (#69).  This also fixes the handling
223    of certain corner cases by String.fromString.
224    
225    ----------------------------------------------------------------------
226    Name Mike Rainey (http://www.mpi-sws.org/~mrainey)
227    Date 2011/05/03
228    Description:
229    
230    Added the RTDSC and RTDSCP instructions to the amd64 code generator.
231    
232    ----------------------------------------------------------------------
233    Name: John Reppy (http://cs.uchicago.edu/~jhr)
234    Date: 2011/04/08
235    Description:
236    
237    Added fix for comments in code bug (#63).
238    Thanks to Michael Norrish.
239    
240    ----------------------------------------------------------------------
241    Name: John Reppy (http://cs.uchicago.edu/~jhr)
242    Date: 2011/04/08
243    Description:
244    
245    Fixed bug in Socket.acceptNB (bug #59)
246    
247    ----------------------------------------------------------------------
248    Name: John Reppy (http://cs.uchicago.edu/~jhr)
249    Date: 2011/03/31
250    Description:
251    
252    Fixed syntax error in ml-lex compatibility mode (bug #49)
253    
254    ----------------------------------------------------------------------
255    Name: John Reppy (http://cs.uchicago.edu/~jhr)
256    Date: 2011/03/22
257    Description:
258    
259    Update _arch-n-opsys script for Mac OS X Lion (10.7).
260    
261    ----------------------------------------------------------------------
262    Name: John Reppy (http://cs.uchicago.edu/~jhr)
263    Date: 2011/02/18
264    Description:
265    
266    Added Barriers module to CML.
267    
268    ----------------------------------------------------------------------
269    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
270    Date: 2011/02/10
271    Description:
272    
273    Fixed ml-yacc examples to respect the changed signatures with respect
274    to TextIO.inputLine.
275    
276    ----------------------------------------------------------------------
277    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
278    Date: 2010/09/16
279    Description:
280    
281    Changed the Win32 implementation of validArc to support directories
282    with extended characters (umlauts, etc.).
283    
284    ----------------------------------------------------------------------
285    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
286    Date: 2010/09/16
287    Description:
288    
289    Fixed the Win32 socket and polling implementation to work correctly
290    with CML. Signature of poll was wrong and didn't handle sockets at all.
291    
292    ----------------------------------------------------------------------
293    Name: John Reppy (http://cs.uchicago.edu/~jhr)
294    Date: 2010/06/16
295    Description:
296    
297    Fixed Real.toString and Real.fmt to include sign for negative zero.
298    
299    ----------------------------------------------------------------------
300    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
301    Date: 2010/03/23
302    Description:
303    
304    Fixed the bug with Win32 calls to OS.Process.system not quoting the string.
305    
306    ----------------------------------------------------------------------
307    Name: Jon Riehl (http://jonriehl.com/)
308    Date: 2010/02/11
309    Description:
310    
311    Applied patch for building on more recent NetBSD's.  See bug #39 in the
312    tracker:
313    
314    http://smlnj-gforge.cs.uchicago.edu/tracker/index.php?func=detail&aid=39&group_id=33&atid=215
315    
316    ----------------------------------------------------------------------
317    Name: Jon Riehl (http://jonriehl.com/)
318    Date: 2010/02/02
319    Description:
320    
321    Cutting version 110.72.  New bootfiles.
322    
323    ----------------------------------------------------------------------
324    Name John Reppy (http://cs.uchicago.edu/~jhr)
325    Date 2009/12/20
326    Description:
327    
328    Fixed performance bugs in List module by making @ and foldr be
329    tail recursive.
330    
331    ----------------------------------------------------------------------
332    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
333    Date: 2009/12/11
334    Description:
335    
336    Fixed the Win32 unable to print long strings bug.
337    ----------------------------------------------------------------------
338    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
339    Date: 2009/12/10
340    Description:
341    
342    Fixed an overrun during major GC. If the string arena was nearly full, it was possible
343    for alignment padding added during copy to the to-space to overrun the allocated
344    size.
345    ----------------------------------------------------------------------
346    Name John Reppy (http://cs.uchicago.edu/~jhr)
347    Date 2009/11/18
348    Description:
349    
350    The ml-antlr and ml-ulex programs have been ported to build under
351    mlton.
352    
353    ----------------------------------------------------------------------
354    Name John Reppy (http://cs.uchicago.edu/~jhr)
355    Date 2009/11/17
356    Description:
357    
358    Added %header directive to the ml-ulex scanner generator.  Also
359    updated the documentation.
360    
361    ----------------------------------------------------------------------
362    Name John Reppy (http://cs.uchicago.edu/~jhr)
363    Date 2009/11/17
364    Description:
365    
366    Added "@SMLsuffix" flag to sml command.  This can be used to get
367    the suffix for heap files.
368    
369    ----------------------------------------------------------------------
370    Name John Reppy (http://cs.uchicago.edu/~jhr)
371    Date 2009/11/17
372    Description:
373    
374    Added "--strict-sml" flag to ml-ulex for MLton compatibility.
375    
376    ----------------------------------------------------------------------
377    Name John Reppy (http://cs.uchicago.edu/~jhr)
378    Date 2009/11/10
379    Description:
380    
381    Added %header directive to the ml-antlr parser generator.  Also
382    updated the documentation.
383    
384    ----------------------------------------------------------------------
385    Name: Jon Riehl (http://www.jonriehl.com/)
386    Date: 2009/09/16
387    Description:
388    
389    Cutting version 110.71.  New bootfiles.
390    
391    ----------------------------------------------------------------------
392    Name John Reppy (http://cs.uchicago.edu/~jhr)
393    Date 2009/09/13
394    Description:
395    
396    Changes to support compiling the runtime system on Mac OS X 10.6
397    (aka Snow Leopard).
398    
399    ----------------------------------------------------------------------
400    Name Mike Rainey (http://cs.uchicago.edu/~mrainey)
401    Date 2009/08/19
402    Description:
403    
404    Fixed a bug in the register-spill generator that is part of the MLRISC
405    register allocator. The problem was that the code in RASpillWithRenaming
406    functor assumed incorrectly that dedicated registers would appear in
407    def/use information generated by ClusterRA. Thanks to Allen Leung for
408    helping with this bug.
409    
410    ----------------------------------------------------------------------
411    Name John Reppy (http://cs.uchicago.edu/~jhr)
412    Date 2009/07/09
413    Description:
414    
415    Removed redundant implementations of various top-level operations by
416    consolidating them in base/system/smlnj/init/pervasive.sml.  This
417    change also fixes a bug in that the top-level version of round was
418    incorrect.
419    
420    ----------------------------------------------------------------------
421    Name: Matthias Blume (http://www.tti-c.org/blume/)
422    Date: 2009/06/15 11:17:00 CDT
423    Description:
424    
425    Bumped version number to 110.70.  New bootfiles.
426    
427    ----------------------------------------------------------------------
428    Name: Matthias Blume (http://www.tti-c.org/blume/)
429    Date: 2009/06/12 11:02:00 CDT
430    Description:
431    
432    1. Corrected problem in config/actions that led to the so-called
433       "unpickling bug" which appeared in version 110.68.
434    
435    2. Provided fix for the 64-bit pattern match bug.
436    
437    ----------------------------------------------------------------------
438    Name John Reppy (http://cs.uchicago.edu/~jhr)
439    Date 2009/03/21
440    Description:
441    
442    Fixed bug in Int32.fmt when the argument was the minimum int and the
443    radix was something other than DEC.
444    
445    ----------------------------------------------------------------------
446    Name Aaron Turon (turon@ccs.neu.edu)
447    Date 2009/02/21
448    Description:
449    
450    Fixed bugs in how ml-antlr parsed ML types in %tokens specifications.
451    
452    ----------------------------------------------------------------------
453    Name: Jon Riehl (http://www.jonriehl.com/)
454    Date: 2009/01/13
455    Description:
456    
457    Picking up some additional fixes for 110.69, including a fix for
458    spaces in CM file paths.
459    
460    ----------------------------------------------------------------------
461    Name: Jon Riehl (http://www.jonriehl.com/)
462    Date: 2008/12/22
463    Description:
464    
465    Version bumped to 110.69.  New bootfiles.
466    
467    ----------------------------------------------------------------------
468    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
469    Date: 2008/12/06
470    Description:
471    
472    Re-enabled some CPS optimizations (first_contract and eta).  The most
473    important effect of this change is to make uses of SMLofNJ.Cont.capture
474    be properly tail recursive.
475    
476    ----------------------------------------------------------------------
477    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
478    Date: 2008/12/03
479    Description:
480    
481    New concurrency-related instructions for x86 and amd64 code
482    generators.
483      - PAUSE: Notify the CPU that the program is spin waiting.
484      - MFENCE: memory fence for reads and writes.
485      - SFENCE: memory fence for writes.
486      - LFENCE: memory fence for reads.
487    
488    ----------------------------------------------------------------------
489    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
490    Date: 2008/12/02
491    Description:
492    
493    Added makefile and other support for building runtime on OpenBSD.
494    
495    ----------------------------------------------------------------------
496    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
497    Date: 2008/08/13
498    Description:
499    
500    Version bumped to 110.68.  New bootfiles.
501    
502    ----------------------------------------------------------------------
503    Name Aaron Turon (turon@ccs.neu.edu)
504    Date 2008/08/11
505    Description:
506    
507    Minor fix to ml-ulex backend for regexps that match any character
508    and perform a single action.  Previously the emitted code would
509    not allow the regexps to match any character at all.
510    
511    ----------------------------------------------------------------------
512    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
513    Date: 2008/08/05
514    Description:
515    
516    Added build support for OpenBSD (thanks to Brian O'Hanlon).
517    
518    ----------------------------------------------------------------------
519    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
520    Date: 2008/07/12
521    Description:
522    
523    Fixed Int64.fromString to use base-10.
524    
525    ----------------------------------------------------------------------
526    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
527    Date: 2008/04/12
528    Description:
529    
530    Various updates to the ml-lpt tree.  The documentation has been updated;
531    bugs in the parsing of negation and character classes in ml-ulex have
532    been fixed; and changes have been made to make the ml-lpt tools more
533    compatible with MLton (and other SML implementations).  Thanks to
534    Matthew Fluet and Aaron Turon for their patches.
535    
536    ----------------------------------------------------------------------
537    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
538    Date: 2008/20/04
539    Description:
540    
541    Implemented timer-based profiling on Windows, with behavior as close
542    to the *nix ITIMER-based profiling as possible.
543    ----------------------------------------------------------------------
544    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
545    Date: 2008/07/04
546    Description:
547    
548    Finished off the Windows subset of the basis library. Added process
549    support and various configuration and system identification utils.
550    ----------------------------------------------------------------------
551    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
552    Date: 2008/03/18
553    Description:
554    
555    Major changes to the RegExp library: see smlnj-lib/CHANGES for details.
556    ----------------------------------------------------------------------
557    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
558    Date: 2008/02/14
559    Description:
560    
561    Added the Windows Status structure
562    ----------------------------------------------------------------------
563    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
564    Date: 2008/02/14
565    Description:
566    
567    Added the Windows DDE structure
568    ----------------------------------------------------------------------
569    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
570    Date: 2008/02/05
571    Description:
572    
573    Added the Windows Config structure
574    ----------------------------------------------------------------------
575    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
576    Date: 2008/01/31
577    Description:
578    
579    Added outline of the Windows basis library and the basic registry
580    functionality.
581    ----------------------------------------------------------------------
582    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
583    Date: 2008/01/23
584    Description:
585    
586    Fixed the amd64 code generator to compile with the current MLRISC.
587    ----------------------------------------------------------------------
588    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
589    Date: 2007/11/26
590    Description:
591    
592    nlffi was updated to work on Windows. It needed to pass in the correct
593    value for the name of the kernel32 DLL to obtain 'base' bindings.
594    Additionally updated the README for the most basic nlffi sample with
595    what you need to do on MacOSX and on Windows to make it work.
596    ----------------------------------------------------------------------
597    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
598    Date: 2007/11/21
599    Description:
600    
601    Overwrite the SMLNJ_HOME environment variable on installation
602    Properly change the package code so that subsequent version
603    installations prompt for uninstall (instead of 'repair/remove')
604    ----------------------------------------------------------------------
605    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
606    Date: 2007/11/14
607    Description:
608    
609    Cleaned up WININSTALL file for new MSI-based setup.
610    ----------------------------------------------------------------------
611    Name: Matthias Blume (http://www.tti-c.org/blume/)
612    Date: 2007/11/13 14:05:00 CST
613    Description:
614    
615    Version bumped to 110.67.  New bootfiles.
616    
617    ----------------------------------------------------------------------
618    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
619    Date: 2007/11/12
620    Description:
621    
622    Ensure that the size of the allocation space is at least 128K.
623    ----------------------------------------------------------------------
624    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
625    Date: 2007/11/05
626    Description:
627    
628    Fixed type error in ml-lpt library that occurs when compiling
629    against a basis that was compiled with the USE_64_BIT_POSITIONS
630    symbol set.
631    (Thanks to Johannes Joemann)
632    ----------------------------------------------------------------------
633    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
634    Date: 2007/11/03
635    Description:
636    
637    Fixed the amd64 code generator to compile with the current MLRISC.
638    ----------------------------------------------------------------------
639    Name: Lars Bergstrom (web page or e-mail)
640    Date: 2007/11/02
641    Description:
642    
643    Made sml.bat more resilient to either not having run the installer
644    and having no SMLNJ_HOME set or having just shuffled the directory
645    around.
646    ----------------------------------------------------------------------
647    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
648    Date: 2007/11/01
649    Description:
650    
651    A collection of bug fixes for machine.sml in the Reactive library.
652    (Thanks to Timothy Bourke)
653    ----------------------------------------------------------------------
654    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
655    Date: 2007/10/28
656    Description:
657    
658    Patches for Mac OS X 10.5 (Leopard).
659    ----------------------------------------------------------------------
660    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
661    Date: 2007/10/28
662    Description:
663    
664    Fixed some bugs in the AMD64 floating-point spilling code.
665    ----------------------------------------------------------------------
666    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
667    Date: 2007/10/25
668    Description:
669    
670    Added support for the atomic XCHG instruction.
671    ----------------------------------------------------------------------
672    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
673    Date: 2007/10/22
674    Description:
675    
676    Added AMD64 support for floating-point negation.
677    ----------------------------------------------------------------------
678    Name: Lars Bergstrom (web page or e-mail)
679    Date: 2007/10/22
680    Description:
681    
682    Fixed ^C handling in Windows
683    Added a Windows installer
684    Made it possible to build for Windows on a mapped drive from Parallels
685    ----------------------------------------------------------------------
686    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
687    Date: 2007/10/22
688    Description:
689    
690    Added AMD64 support for the atomic fetch and add instruction.
691    ----------------------------------------------------------------------
692    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
693    Date: 2007/10/18
694    Description:
695    
696    The GAS output now favors p2align over align, since the
697    former is guaranteed to be consistent over multiple architectures
698    and the latter is not.
699    ----------------------------------------------------------------------
700    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
701    Date: 2007/10/18
702    Description:
703    
704    Fixed a bug in register spilling.
705    ----------------------------------------------------------------------
706    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
707    Date: 2007/10/2
708    Description:
709    
710    Added demo support for AMD64 for quick testing and fixed support for
711    64-bit label constants.
712    ----------------------------------------------------------------------
713    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
714    Date: 2007/09/20
715    Description:
716    
717    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
718    instruction.
719    ----------------------------------------------------------------------
720    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
721    Date: 2007/09/17
722    Description:
723    
724    Fixed an instruction-selection bug when loading 64-bit labels.
725    
726    ----------------------------------------------------------------------
727    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
728    Date: 2007/09/14
729    Description:
730    
731    Fixed Elaborator and Translate performance bugs
732    
733    ----------------------------------------------------------------------
734    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
735    Date: 2007/09/12
736    Description:
737    
738    Fixed xorl memory argument bug.
739    
740    ----------------------------------------------------------------------
741    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
742    Date: 2007/07/27
743    Description:
744    
745    Added f64sgn (for Real64.signBit) as a primop defined
746    in MLRiscGen. signBit(~0.0) not handled correctly.
747    
748    ----------------------------------------------------------------------
749    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
750    Date: 2007/06/21
751    Description:
752    
753    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
754    signal end of stream.
755    
756    ----------------------------------------------------------------------
757    Name: Matthias Blume (http://www.tti-c.org/blume/)
758    Date: 2007/06/12 11:22:00 CDT
759    Description:
760    
761    Eliminated config/allsources.  The information is now drawn directly
762    from config/actions.
763    
764    ----------------------------------------------------------------------
765    Name: Matthias Blume (http://www.tti-c.org/blume/)
766    Date: 2007/06/07 23:30:00 CDT
767    Tag: release-110.65
768    Description:
769    
770    Version 110.65. NEW BOOTFILES!
771    
772    ----------------------------------------------------------------------
773    Name: Matthias Blume (http://www.tti-c.org/blume/)
774    Date: 2007/06/06 21:45:00 CDT
775    Description:
776    
777    - Aaron: fixed a number of bugs in ml-ulex.
778    - Matthias:
779       - added CM control "cm.force-tools"; this is false by default;
780         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
781         will be forced to run regardless of whether or not their targets
782         are up-to-date
783       - changed installer code so that config/install.sh will re-build
784         heap images for all tools even if those heap images already existed
785    
786    ----------------------------------------------------------------------
787    Name: Matthias Blume (http://www.tti-c.org/blume/)
788    Date: 2007/06/04 21:21:00 CDT
789    Description:
790    
791    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
792    in legacy mode), re-ran the lexer generator on all lex input files
793    and committed the results.
794    
795    This should fix the problem with ckit and nlffi that was reported
796    by Vesa A. Norrman.
797    
798    ----------------------------------------------------------------------
799    Name: Matthias Blume (http://www.tti-c.org/blume/)
800    Date: 2007/05/31 11:40:00 CDT
801    Tag: release-110.64
802    Description:
803    
804    Version 110.64. NEW BOOTFILES!
805    
806    ----------------------------------------------------------------------
807    Name: Dave MacQueen (dbm@cs.uchicago.edu)
808    Date: 2007/05/31 14:55:00 CDT
809    Revision: 2650
810    Description:
811    
812    3rd merge of base from primop-branch-3 into the trunk.
813    Additional bug fixes included:
814    
815     * Timer.cpu_timer, etc. type printing corrected (by making
816         Timer have opaque sig constraint in basis/Implementation/timer.sml)
817     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
818         Stefan Monnier)
819    
820    ----------------------------------------------------------------------
821    Name: Matthias Blume (http://www.tti-c.org/blume/)
822    Date: 2007/05/31 11:40:00 CDT
823    Description:
824    
825    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
826    
827    Also, changed the handling of "no core access":  When translate.sml
828    needs access to a core exception at a time when the core has not
829    been set up yet (this only happens when compiling system/smlnj/init/*),
830    then don't bother generating the corresponding tests.
831    
832    The old scheme was to generate a bogus value to be used in place of
833    the exception.  Unfortunately, that confuses the plambda type checker.
834    Moreover, it does not do any good, because at runtime we don't expect
835    such an exception to be ever raised.  (The code in system/smlnj/init/*
836    has to be written very carefully with this in mind!)
837    
838    ----------------------------------------------------------------------
839    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
840    Date: 2007/05/29
841    Description:
842    
843    Added FSQRT instructions for the AMD64 code generator.
844    
845    ----------------------------------------------------------------------
846    Name: Matthias Blume (http://www.tti-c.org/blume/)
847    Date: 2007/05/29 19:00:00 CDT
848    Description:
849    
850    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
851    with an explicit test for zero division.  This should fixes several
852    regressions and makes it possible for downstream optimization phases
853    to treat these operations as "pure" when they are applied to unsigned
854    operands.
855    
856    ----------------------------------------------------------------------
857    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
858    Date: 2007/05/29
859    Description:
860    
861    Added the new MLRISC code generator for the AMD64.  This version,
862    in contrast to the previous one, uses SSE registers and instructions
863    for all floating-point computations.
864    
865    ----------------------------------------------------------------------
866    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
867    Date: 2007/05/29
868    Description:
869    
870    A number of fixes related to the formatting of dates.  These include fixes
871    for bugs #1415 and #1416.  We also now correctly handle format characters that
872    lie outside the specified set.
873    
874    ----------------------------------------------------------------------
875    Name: Matthias Blume (http://www.tti-c.org/blume/)
876    Date: 2007/05/23 22:30:00 CDT
877    Description:
878    
879    CMB (and CM) now automatically defines the CM "preprocessor" symbol
880    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
881    
882      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
883       CM_SLAVE_MODE is defined in attached slaves while running CM.make
884       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
885       while running CMB.make.  The point is that the single symbol
886       NO_PLUGINS is definde in all three cases.)
887    
888    I changed the three locations within the sources that get compiled
889    during CMB.make where ml-yacc or ml-lex input is processed: When
890    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
891    is bypassed.
892    
893    When bootstrapping new versions of the compiler, there can be
894    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
895    are not available or otherwise not operational.  In this case one can
896    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
897    do so, the following command should be issued at the interactive
898    prompt:
899    
900       #set (CMB.symval "NO_PLUGINS") (SOME 1);
901    
902    A CMB.make with NO_PLUGINS defined relies on the existence of the
903    files that normally would be generated by ml-yacc and ml-lex.
904    (Copies of these files are in the repository.)
905    
906    ----------------------------------------------------------------------
907    Name: David MacQueen (dbm@cs.uchicago.edu)
908    Date: 2007/5/23 17:23:00 CDT
909    Revision: 2603
910    Description:
911    
912    2nd merge of base from primop-branch-3 into the trunk.
913    Additional bug fixes included:
914     Date.scan and Date.fromString fixed;
915     Overloading resolution fixed and some type printing problems corrected.
916    
917    ----------------------------------------------------------------------
918    Name: Matthias Blume (http://www.tti-c.org/blume/)
919    Date: 2007/05/23 09:50:00 CDT
920    Description:
921    
922    Changed the installation mechanism for CM tool plugins.  These are
923    just libaries and now get installed like ordinary libaries.
924    
925    There are now a number of new installation targets that give some
926    fine-grain control over what classes and suffixes are known, and what
927    they will map to.
928    See config/targets for details.
929    
930    The code that caused plugin installation as part of running a
931    tool's "build" script has been removed.  (The build script is for
932    building, not for installing.)
933    
934    ----------------------------------------------------------------------
935    Name: Matthias Blume (http://www.tti-c.org/blume/)
936    Date: 2007/05/22 11:50:00 CDT
937    Description:
938    
939    Added a boolean control named cm.tolerate-tool-failures (env. variable
940    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
941    CM fail if a shell tool reports a non-success exit status.  If
942    the control is set to true, then CM will press on after tool failures
943    in the event that the target files exist (even though they are
944    considered outdated).  Turning the control to true can be useful for
945    bootstrapping.
946    
947    ----------------------------------------------------------------------
948    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
949    Date: 2007/05/19
950    Description:
951    
952    Merge of ml-lpt revisions for 110.64.
953    
954    The name of several ml-lpt-lib modules has changed:
955      Repair        => AntlrRepair
956      StreamPos     => AntlrStreamPos
957      ErrHandlerFn  => AntlrErrHandler
958      EBNF          => AntlrEBNF
959    
960    The ml-antlr specification format has changed: declarations such as
961    %tokens and nonterminal definitions can occur *multiple* times in the
962    same specification.  The semantics are such that each new declaration
963    extends the previous ones.  This does not apply to %start or %name,
964    of course.
965    
966    Importing a grammar via %import now includes *all* declarations in from
967    the imported grammar, except for %name, %entry, and %start.  Tokens
968    and nonterminals can be dropped using the new %dropping clause of the
969    %import directive; the separate %drop and %extend have been removed.
970    
971    We now allow optional type annotations on nonterminals, using the %nonterms
972    directive as in ml-yacc.
973    
974    The refcell construct is now implemented using SML's regular reference
975    cells, so the :== and !! notation has been deprecated.
976    
977    The ml-antlr tool now does much more checking of specifications, and
978    its error messages have been greatly improved.  Error repair for
979    generated parsers has been completely rewritten, and is now both
980    much faster and more accurate.
981    
982    ml-ulex is now more lenient with escape codes (non-SML-standard
983    escape codes are now interpreted literally, so e.g. \| denotes "|").
984    Also, character classes may now include a "-" character at the beginning
985    as is standard in most other regexp tools.
986    
987    All of these changes are documented in the user guide, which has
988    been updated and improved with this merge.
989    
990    ----------------------------------------------------------------------
991    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
992    Date: 2007/05/03
993    Revision: r2492
994    Description:
995    
996    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
997    Significant changes in FLINT and the front end, mostly having to do
998    with a reorganized system for handling primops.  Various bug fixes
999    and improvements in printing signatures.
1000    
1001    ----------------------------------------------------------------------
1002    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1003    Date: 2007/05/02
1004    Description:
1005    
1006    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
1007    The ml-antlr specification format has changed: declarations such as
1008    %tokens and nonterminal definitions can occur *multiple* times in the
1009    same specification.  The semantics are such that each new declaration
1010    extends the previous ones.  Grammar extension constructs have also
1011    changed.  We now allow type annotations on nonterminals.  Finally,
1012    the refcell construct is now implemented using SML's regular reference
1013    cells, so the :== and !! notation has been deprecated.  All of these
1014    changes will appear in the 110.64 user guide for ml-lpt.
1015    
1016    The ml-antlr tool now does much more checking of specifications, and
1017    its error messages have been greatly improved.  There has also been
1018    some work on the error repair process for generated parsers, but this
1019    will be further improved in 110.64.
1020    
1021    ----------------------------------------------------------------------
1022    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1023    Date: 2007/04/24
1024    Description:
1025    
1026    More Basis fixes: The Char.fromString (etc.) functions did not handle
1027    the "\uxxxx" escape sequence.  There is still an outstanding bug with
1028    String.fromString the tail is a format escape.  I added a comment to
1029    this effect in Basis/Implementation/string.sml.
1030    Thanks to Andreas Rossberg.
1031    
1032    ----------------------------------------------------------------------
1033    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1034    Date: 2007/04/24
1035    Description:
1036    
1037    Added next function to Fifo and Queue modules in the SML/NJ Library.
1038    
1039    ----------------------------------------------------------------------
1040    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1041    Date: 2007/04/23
1042    Description:
1043    
1044    More Basis fixes: Time.fmt dropped the leading "~" for negative time
1045    values that had no whole part.
1046    
1047    ----------------------------------------------------------------------
1048    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1049    Date: 2007/04/23
1050    Description:
1051    
1052    More Basis fixes: the OS.Path module did not include the InvalidArc
1053    exception and did not do sufficient argument checking.
1054    Thanks to Stephen Weeks and Adam Chilpala.
1055    
1056    ----------------------------------------------------------------------
1057    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1058    Date: 2007/04/16
1059    Description:
1060    
1061    Fixed an unbound functor bug in the AMD64 CM file.
1062    
1063    ----------------------------------------------------------------------
1064    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1065    Date: 2007/04/12
1066    Description:
1067    
1068    Substantially changed the signature and implementation of AMD64
1069    SVID.  It now looks similar to the ia32 SVID, yet uses staged
1070    allocation.
1071    
1072    ----------------------------------------------------------------------
1073    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1074    Date: 2007/04/07
1075    Description:
1076    
1077    More Basis fixes: the WORD signature was missing {to,from}Large.
1078    Thanks to Andreas Rossberg.
1079    
1080    ----------------------------------------------------------------------
1081    Name: Matthias Blume (http://www.tti-c.org/blume/)
1082    Date: 2007/03/22 16:07:00 CDT
1083    Tag: release-110.63
1084    Description:
1085    
1086    Bumped version number to 110.63.
1087    
1088       !!!NEW BOOTFILES!!!
1089    
1090    ----------------------------------------------------------------------
1091    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1092    Date: 2007/03/19
1093    Description:
1094    
1095    Fixed bogus operand sizes in AMD64 instruction spilling.
1096    
1097    ----------------------------------------------------------------------
1098    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1099    Date: 2007/03/19
1100    Description:
1101    
1102    Fixed a number of inconsistencies between the Posix.TTY structure
1103    and the Basis specification.  Thanks to Adam Chilpala.
1104    
1105    ----------------------------------------------------------------------
1106    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
1107    Date: 2007/02/26
1108    Description:
1109    
1110    Added preliminary support in MLRISC for Staged Allocation, a technique
1111    for specifying calling conventions (see
1112    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html).
1113    Initially, we plan to use this code to generate C calls for the AMD64.
1114    
1115    The staged allocation code base resides in MLRISC/staged-allocation,
1116    and specialized calling conventions go in MLRISC/ARCH/staged-allocation.
1117    
1118    ----------------------------------------------------------------------
1119    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1120    Date: 2007/02/20
1121    Description:
1122    
1123      Bug fix: when SaveCState was called with two values to save, a subsequent
1124      GC could cause the RestoreCState to fail because the saved state had been
1125      promoted to tagless pair.
1126    
1127    ----------------------------------------------------------------------
1128    Name: Allen Leung (leunga (at) reservoir (dot) com)
1129    Date: 2007/02/20 19:08:00 EST
1130    Description:
1131    
1132        Bug triggered by:
1133    
1134        val a1 = Word8Array.array(a1, 0w0);
1135        val _  = Word8Array.update(a1, 0, 0w128);
1136    
1137        x86MCEmitter crashed when the immediate operand to MOVB was outside
1138    of the range -128 ... 127.  I've changed the code so that the range
1139    check is disabled.   Only the low order 8 bits of the immediate operand
1140    are now significant.
1141    
1142    
1143    ----------------------------------------------------------------------
1144    Name: Matthias Blume (http://www.tti-c.org/blume/)
1145    Date: 2007/02/15 09:20:00 CST
1146    Description:
1147    
1148    Eliminated any mention of lexgen.  (Lexgen was an early precursor
1149    to ml-ulex.)
1150    
1151    You should update your admin directory, so the shell scripts for
1152    maintaining your local copy of the repository reflect this change.
1153    
1154    ----------------------------------------------------------------------
1155    Name: Matthias Blume (http://www.tti-c.org/blume/)
1156    Date: 2007/02/14 15:45:00 CST
1157    Description:
1158    
1159    Fixed bug in CM's parallel make facility that failed to have
1160    the master re-link modules after letting slaves compile them.
1161    
1162    ----------------------------------------------------------------------
1163    Name: Matthias Blume (http://www.tti-c.org/blume/)
1164    Date: 2007/02/12 15:10:00 CST
1165    Description:
1166    
1167    Fixed typo in ml-build script that prevented library anchors
1168    from being registered.
1169    
1170    ----------------------------------------------------------------------
1171    Name: Matthias Blume (http://www.tti-c.org/blume/)
1172    Date: 2007/02/02 15:20:00 CST
1173    Tag: release-110.62
1174    Description:
1175    
1176    New working release (110.62).  NEW BOOTFILES!
1177    
1178    ----------------------------------------------------------------------
1179    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
1180    Date: 2007/01/31
1181    Description:
1182    
1183    Brought ml-lpt manual up-to-date with the code.  Many minor
1184    improvements to the tools, and a few minor bugfixes.  Prepared
1185    ml-lpt-lib for integration with new UTF8 structure.  Changed
1186    the interface for creating streams in ml-ulex (we now support
1187    stream creation from several kinds of sources).  Overall, the
1188    tools are now quite stable, and their interfaces are unlikely to
1189    change in a way that would break compatibility.  More work,
1190    however, is needed in the documentation.
1191    
1192    ----------------------------------------------------------------------
1193    Name: Matthias Blume (http://www.tti-c.org/blume/)
1194    Date: 2007/02/01 10:05:00 CST
1195    Description:
1196    
1197    Implemented library installer.  Moved CM plugin code for
1198    ml-burg, ml-lex, and ml-yacc out of CM source tree and into
1199    their respective trees.  Implemented CM plugin for ml-ulex
1200    and ml-antlr.  Used library installer for ml-burg, ml-ulex,
1201    and ml-antlr.
1202    
1203    For ml-yacc and ml-lex we continue to have permanently "plugged-in"
1204    CM tools.  (It turns out to be too messy to do otherwise because
1205    there is too much code that during installation relies on the presence
1206    of these tools -- resulting in a tricky ordering problem.)
1207    
1208    ----------------------------------------------------------------------
1209    Name: Matthias Blume (http://www.tti-c.org/blume/)
1210    Date: 2007/01/30 11:05:00 CST
1211    Description:
1212    
1213    Added SMLofNJ.shiftArgs which is like a shell's "shift" command.
1214    Modified CM's startup code to use shiftArgs as it processes
1215    command line arguments.  This way, the init code in each .sml-file
1216    or library that is mentioned at the top level will see only
1217    those arguments that have not yet been processed at this point.
1218    In other words, the init code can "seize control" and process the
1219    remaining command line.
1220    
1221    ----------------------------------------------------------------------
1222    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1223    Date: 2007/01/30
1224    Description:
1225    
1226    Added fromList function to the ORD_SET interface and lookup to the
1227    ORD_MAP interface.  See the SML/NJ Library CHANGES file for details.
1228    
1229    ----------------------------------------------------------------------
1230    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1231    Date: 2007/01/28
1232    Description:
1233    
1234    Added the UTF8 structure and signature from the Moby compiler to
1235    the SML/NJ library (and the CML library).  These modules will replace
1236    the version in the ml-lpt-lib.
1237    
1238    ----------------------------------------------------------------------
1239    Name: Matthias Blume (http://www.tti-c.org/blume/)
1240    Date: 2007/01/26 15:10:00 CST
1241    Description:
1242    
1243    Added entries to handle ml-lpt-lib.cm in installer.
1244    
1245    ----------------------------------------------------------------------
1246    Name: Matthias Blume (http://www.tti-c.org/blume/)
1247    Date: 2006/12/15 11:10:00 CST
1248    Tag: release-110.61
1249    Description:
1250    
1251    New working release (110.61).  NEW BOOTFILES!
1252    
1253    This supersedes the pre-brown-paper-bug release (see below).
1254    
1255    ----------------------------------------------------------------------
1256    Name: Matthias Blume (http://www.tti-c.org/blume/)
1257    Date: 2006/12/15 11:00:00 CST
1258    Description:
1259    
1260    Fixed brown-paper-bag bug with CM's pathname handling, which made
1261    installation fail under Win32.
1262    
1263    ----------------------------------------------------------------------
1264    Name: Matthias Blume (http://www.tti-c.org/blume/)
1265    Date: 2006/12/14 12:00:00 CST
1266    Description:
1267    
1268    Obsolete!
1269    
1270    [New working release (110.61).  NEW BOOTFILES!]
1271    
1272    ----------------------------------------------------------------------
1273    Name: John Reppy (http://cs.uchicago.edu/~jhr)
1274    Date: 2006/14/06 09:50:00 CST
1275    Description:
1276    
1277    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
1278    get the c_cc termios data copied correctly.  Also moved the allocation
1279    of the string to avoid problems if it caused a GC.
1280    
1281    Thanks to Timothy Bourke for the bug report and fix.
1282    
1283    ----------------------------------------------------------------------
1284    Name: Matthias Blume (http://www.tti-c.org/blume)
1285    Date: 2006/12/08 09:50:00 CST
1286    Description:
1287    
1288    Added code to CM's "standard shell tool" implementation which
1289    causes it to tolerate (with a warning) the situation where the shell
1290    command fails (e.g., due to the shell command's non-existence)
1291    as long as all target files exist.
1292    
1293    This makes it possible to, e.g., build ml-yacc from sources even if
1294    svn checkout messed up the time stamps on files in such a way that
1295    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
1296    be needed to re-process yacc.grm, but obviously it might not yet be
1297    available at that time.)
1298    
1299    ----------------------------------------------------------------------
1300    Name: John Reppy (http://cs.uchicago.edu/~jhr)
1301    Date: 2006/12/06 12:06:00 CST
1302    Description:
1303    
1304    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
1305    recvVecFromNB' in the SOCKET signature.  This error is actually
1306    in the SML Basis specification too.
1307    
1308    ----------------------------------------------------------------------
1309    Name: Matthias Blume (http://www.tti-c.org/blume/)
1310    Date: 2006/12/05 22:40:00 CST
1311    Description:
1312    
1313    CM now reports undefined anchors as errors and aborts execution
1314    rather than silently pressing on using bogus values.
1315    
1316    ----------------------------------------------------------------------
1317    Name: Matthias Blume (http://www.tti-c.org/blume/)
1318    Date: 2006/11/29 10:00:00 CST
1319    Description:
1320    
1321    Use Say.vsay for printing the "[autoloading]" message, so
1322    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
1323    to suppress them.
1324    
1325    ----------------------------------------------------------------------
1326    Name: Matthias Blume (http://www.tti-c.org/blume/)
1327    Date: 2006/11/10 11:00:00 CST
1328    Description:
1329    
1330    Fixed bug in CM where "with:" specifications that affect compilation
1331    (as opposed to parsing) were ignored.
1332    
1333    ----------------------------------------------------------------------
1334    Name: Matthias Blume (http://www.tti-c.org/blume/)
1335    Date: 2006/11/09 14:30:00 CST
1336    Tag: release-110.60
1337    Description:
1338    
1339    New working release (110.60).  NEW BOOTFILES!
1340    
1341    This is the first subversion-hosted release.  There are also changes
1342    to the directory layout.  Here is a table:
1343    
1344    (All pathnames are relative to the SML/NJ "root" directory.)
1345    
1346      config -> config
1347    
1348      src/cm -> base/cm
1349      src/compiler -> base/compiler
1350      src/runtime -> base/runtime
1351      src/system -> base/system
1352    
1353      src/cm/pgraph -> pgraph
1354    
1355      src/READMES -> base/READMES
1356      src/$notefile -> base/NOTES/$notefile
1357         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
1358                           MACOSXINSTALL WININSTALL
1359    
1360      src/smlnj-lib -> smlnj-lib
1361      src/MLRISC -> MLRISC
1362      ckit -> ckit
1363      src/cml -> cml
1364      src/eXene -> eXene
1365      src/heap2asm -> heap2asm
1366      src/lexgen -> lexgen
1367      src/ml-burg -> ml-burg
1368      src/ml-lex -> ml-lex
1369      src/ml-yacc -> ml-yacc
1370      src/ml-nlffi-lib -> nlffi/lib
1371      src/ml-nlffigen -> nlffi/gen
1372      src/smlnj-c -> smlnj-c
1373      src/tools/TraceDebugProf -> trace-debug-profile
1374    
1375    In addition, there is also a new
1376    
1377      ml-lpt
1378    
1379    directory containing two new program generator tools: ml-ulex and
1380    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
1381    LL(k) parser generator). These tools are currently "beta-quality"
1382    
1383    The latest versios of the sources can now be obtained anonymously
1384    via subversion.  For this, it is useful to first check out
1385    
1386       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
1387    
1388    and put the resulting directory on your shell's PATH.  This provides
1389    access to three shell scripts: checkout-all.sh, stat-all.sh,
1390    and refresh-all.sh.
1391    
1392    To create a freshly checked-out copy of the sources, do
1393    
1394       checkout-all.sh [dir]
1395    
1396    where dir is the optional SML/NJ root directory (default is ".").
1397    
1398    This creates the above directory layout.  Each subdirectory of
1399    the root is under individual subversion control.  The stat-all.sh
1400    and refresh-al.sh scripts apply "svn stat" or "svn update" to
1401    each of these subtrees.
1402    
1403    ----------------------------------------------------------------------
1404    Name: Matthias Blume (http://www.tti-c.org/blume/)
1405    Date: 2006/11/02 12:20:00 CST
1406    Description:
1407    
1408    Reorganized directory layout.
1409    
1410    This is a temporary solution, more reorganization is to come.
1411    
1412    The basic idea is to have a number of toplevel trees, each corresponding
1413    to a well-defined part of the overall system.  Each part can be
1414    maintained individually, even in separate source repositories,
1415    although currently we still serve everything out of the main
1416    smlnj-gforge tree.
1417    
1418    Installer and and scripts have been updated to reflect the new
1419    layout.  The installer (base/src/system/smlnj/installer) is now
1420    "scriptable" to avoid burning too much knowledge about the
1421    layout into SML source code.  The main script used by the installer
1422    is in config/actions.
1423    
1424    The main change is that many of the subdirectories of what used to
1425    be known as "src" have moved to the toplevel.  The "src" directory
1426    itself has moved down into a subtree called "base".  (We may eventually
1427    get rid of the extra level of indirection represented by "src".)
1428    
1429    The layout is now as follows:
1430    
1431      toplevel tree name | default repository
1432                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
1433      -------------------+----------------------------------------------------
1434      config             | $gf/config/trunk
1435                         |
1436      base               | $gf/sml/trunk
1437                         |
1438      smlnj-lib          | $gf/smlnj-lib/trunk
1439      MLRISC             | $gf/MLRISC/trunk
1440                         |
1441      ml-yacc            | $gf/ml-yacc/trunk
1442      ml-lex             | $gf/ml-lex/trunk
1443      ml-burg            | $gf/ml-burg/trunk
1444      lexgen             | $gf/lexgen/trunk
1445      heap2asm           | $gf/heap2asm/trunk
1446                         |
1447      cml                | $gf/cml/trunk
1448      eXene              | $gf/eXene/trunk
1449      ckit               | $gf/ckit/trunk
1450      nlffi              | $gf/nlffi/trunk
1451                         |
1452      smlnj-c            | $gf/smlnj-c/trunk
1453    
1454    In $gf/admin there are a few useful shell scripts for checking out
1455    and maintaining the entire collection of trees:
1456    
1457       admin/checkout-all.sh [dir]
1458          -- optionally creates dir and checks out all trees from their
1459             default repositories; if dir is missing, checkout into .
1460       admin/refresh-all.sh [dir]
1461          -- looks at all trees (from the above list) in dir (default: .)
1462             and runs "svn update" if the tree exists and is under
1463             subversion control;
1464             non-existing or non-subversion trees are skipped
1465       admin/stat-all.sh [dir]
1466          -- like refresh-all.sh, but runs "svn stat" instead
1467    
1468    ----------------------------------------------------------------------
1469    Name: Matthias Blume (http://www.tti-c.org/blume/)
1470    Date: 2006/10/05 11:30:00 CDT
1471    Tag: blume-20061005-merge-amd64
1472    Description:
1473    
1474    Merged code for AMD64 backend (Mike Rainey's work).
1475    Everything is hooked up but untested.
1476    
1477    ----------------------------------------------------------------------
1478    Name: Matthias Blume (http://www.tti-c.org/blume/)
1479    Date: 2006/05/17 14:00:00 CST
1480    Tag: Release_110_59
1481    Description:
1482    
1483    New working version (110.59).  NEW BOOTFILES!
1484    
1485    I am freezing 110.59.  Changes other than the version-number increase:
1486    
1487      eXene:
1488    
1489         * committed changes to eXene from Alley Stoughton:
1490             "fixed bugs in X authorization and resource handling, as well
1491              as in the pile and viewport widgets"
1492    
1493      Runtime:
1494        * fixed linking problem with NetBSD 3.x.
1495    
1496      Lexgen:
1497        * lexgen tool handles non-ascii characters in 7-bit mode the same
1498          way that ml-lex does
1499    
1500        * lexgen propagates exceptions the same way that ml-lex does
1501    
1502      CML:
1503        * Fixed a bug in the SyncVar polling functions (iGetPoll,
1504          mTakePoll, and mGetPoll) that could lead to livelock.
1505    
1506    ----------------------------------------------------------------------
1507    Name: Matthias Blume (http://www.tti-c.org/blume/)
1508    Date: 2006/05/12 15:20:00 CST
1509    Tag: blume-20060515-makedepend
1510    Description:
1511    
1512    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
1513    way.  This should hopefully fix the ml-makedepend problem permanently.
1514    
1515    ----------------------------------------------------------------------
1516    Name: Matthias Blume (http://www.tti-c.org/blume/)
1517    Date: 2006/05/12 15:15:00 CST
1518    Tag: blume-20060512-makedepend
1519    Description:
1520    
1521    Fixed long-standing bug with ml-makedepend where it would output a
1522    spurious dependency to a non-existing file.  (This is a simple fix.
1523    It might need further looking into.)
1524    
1525    ----------------------------------------------------------------------
1526    Name: Matthias Blume (http://www.tti-c.org/blume/)
1527    Date: 2006/04/20 10:30:00 CDT
1528    Tag: blume-20060420-heap2exec
1529    Description:
1530    
1531    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
1532    that enable heap2exec under Linux and FreeBSD.
1533    
1534    ----------------------------------------------------------------------
1535    Name: John Reppy
1536    Date: 2006/04/14
1537    Tag:
1538    Description:
1539    
1540    MLRISC changes:
1541      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
1542      2) added support for NOTB and XORB operators in pseudo-op expressions
1543      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
1544      4) added support for 64-bit integer literals
1545    
1546    ----------------------------------------------------------------------
1547    Name: Matthias Blume (http://www.tti-c.org/blume/)
1548    Date: yyyy/mm/dd
1549    Tag: Release_110_58
1550    Description:
1551    
1552    New working version (110.58).  NEW BOOTFILES!
1553    
1554    ----------------------------------------------------------------------
1555    Name: Matthias Blume (http://www.tti-c.org/blume/)
1556    Date: 2006/03/01 22:15:00 CST
1557    Tag: blume-20060301-lexgen
1558    Description:
1559    
1560    Incorporated several bugfixes to lexgen.  Compiler now compiles to
1561    fixpoint when using lexgen instead of ml-lex.
1562    
1563    ----------------------------------------------------------------------
1564    Name: Matthias Blume (http://www.tti-c.org/blume/)
1565    Date: 2006/02/28 22:45:00 CST
1566    Tag: blume-20060228-lexgen
1567    Description:
1568    
1569    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
1570    provided tarball.  The generated lexers still have problems.
1571    
1572    ----------------------------------------------------------------------
1573    Name: Matthias Blume (http://www.tti-c.org/blume/)
1574    Date: 2006/02/26 23:30:00 CST
1575    Tag: blume-20060226-ml-flex
1576    Description:
1577    
1578    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
1579    of ml-flex on by default.
1580    
1581    ----------------------------------------------------------------------
1582    Name: Matthias Blume (http://www.tti-c.org/blume/)
1583    Date: 2006/02/24 16:30:00 CST
1584    Tag: blume-20060224-ml-flex
1585    Description:
1586    
1587    Added ml-flex sources.  Partially integrated, but should not be
1588    turned on yet!  (Read: leave it commented-out in config/targets!)
1589    
1590    ----------------------------------------------------------------------
1591    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1592    Date: 2006/02/23
1593    Tag: jhr-20060223-x86-64
1594    Description:
1595    Changes to support building on x86-64 systems (using the 32-bit mode).
1596    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
1597    kernels dropped.
1598    
1599    ----------------------------------------------------------------------
1600    Name: Allen Leung (leunga (at) reservoir (dot) com)
1601    Date: 2006/02/22 15:07:00 EST
1602    Tag: leunga-20060222-mdl-gen
1603    Description:
1604    
1605      CM has changed.  Updated the script for rebuilding the MLRISC generated
1606    files.
1607    
1608    ----------------------------------------------------------------------
1609    Name: Matthias Blume (http://www.tti-c.org/blume/)
1610    Date: 2006/02/14 17:30:00 CST
1611    Tag: blume-20060214-intel-mac
1612    Description:
1613    
1614    Hooked code for Darwin-specific Intel ABI into main compiler.
1615    (This is a temporary solution which relies on the fact that the
1616    compiler itself does not use NLFFI.  Eventually we need to divorce
1617    intel mac from generic x86 unix code and make separate sets of binaries.)
1618    
1619    ----------------------------------------------------------------------
1620    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1621    Date: 2006/02/13
1622    Tag: jhr-20060213-intel-mac
1623    Description:
1624    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
1625    
1626    ----------------------------------------------------------------------
1627    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1628    Date: 2006/02/06
1629    Tag: jhr-20060206-intel-mac
1630    Description:
1631    Changes to support MacOS X on Intel hardware.  The C-calls support in
1632    MLRISC must also be updated to support the MacOS X ABI.
1633    
1634    ----------------------------------------------------------------------
1635    Name: Matthias Blume (http://www.tti-c.org/blume/)
1636    Date: 2005/12/16 00:15:00 CST
1637    Tag: blume-20051216-cm
1638    Description:
1639    
1640    Improved error reporting and handling in CM.
1641    
1642    ----------------------------------------------------------------------
1643    Name: Matthias Blume (http://www.tti-c.org/blume/)
1644    Date: 2005/11/21 14:00:00 CST
1645    Tag: blume-20051121-html-lib
1646    Description:
1647    
1648    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
1649    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
1650    at the time when config/preloads is processed, the library has to
1651    be referred to by another name.  In 110.57 this would be
1652    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
1653    to be valid as well.)
1654    
1655    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
1656    
1657    ----------------------------------------------------------------------
1658    Name: Matthias Blume (http://www.tti-c.org/blume/)
1659    Date: 2005/11/19 13:45:00 CST
1660    Tag: Release_110_57
1661    Description:
1662    
1663    Moved release tag for 110.57.
1664    
1665    ----------------------------------------------------------------------
1666    Name: Matthias Blume (http://www.tti-c.org/blume/)
1667    Date: 2005/11/19 23:35:00 CST
1668    Tag: blume-20051119-fish
1669    Description:
1670    
1671    Fixed a problem in config/install.sh where it tries to "fish" the
1672    name of the CM metadata directory from the wrong place (because
1673    the physical location of basis.cm has changed).  Also, corrected the
1674    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
1675    these problems.)
1676    
1677    ----------------------------------------------------------------------
1678    Name: Matthias Blume (http://www.tti-c.org/blume/)
1679    Date: 2005/11/16 14:30:00 CST
1680    Tag: blume-orig-110_57
1681    Description:
1682    
1683    New working version (110.57).  NEW BOOTFILES!
1684    
1685    UPDATE: The release tag has been moved to include a fix for a brown-paper-
1686            bag glitch (see above).
1687    
1688    ----------------------------------------------------------------------
1689    Name: Matthias Blume (http://www.tti-c.org/blume/)
1690    Date: 2005/11/16 10:25:00 CST
1691    Tag: blume-22051116-btrace
1692    Description:
1693    
1694    Fixed problem with bogus exception message when using back-trace
1695    facility.
1696    
1697    ----------------------------------------------------------------------
1698    Name: Matthias Blume (http://www.tti-c.org/blume/)
1699    Date: 2005/11/15 22:35:00 CST
1700    Tag: blume-22051115-array2copy
1701    Description:
1702    
1703    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
1704    
1705    ----------------------------------------------------------------------
1706    Name: Matthias Blume (http://www.tti-c.org/blume/)
1707    Date: 2005/11/15 21:35:00 CST
1708    Tag: blume-22051115-versiontool
1709    Description:
1710    
1711    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
1712    file gets loaded as a tool -- by the equivalent of CM.make during the
1713    run of CMB.make.  Thus, CMB's path configuration is meaningless for
1714    it.  Instead, it has the status of "user code", so it should use
1715    $/basis.cm to refer to the Basis library.  (At least that's true for
1716    the purpose of bootstrapping the previous change.  In the future it
1717    might make sense to have versiontool.cm refer to
1718    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
1719    compiler itself uses.)
1720    
1721    Also patched src/system/testml to have it activate those extra anchor
1722    bindings in config/extrapathconfig.
1723    
1724    ----------------------------------------------------------------------
1725    Name: Matthias Blume (http://www.tti-c.org/blume/)
1726    Date: 2005/11/15 16:35:00 CST
1727    Tag: blume-22051115-libraries
1728    Description:
1729    
1730    This change affects the way the following libraries are tied into
1731    the system:
1732    
1733       $/basis.cm
1734       $/smlnj-lib.cm
1735       $/pp-lib.cm
1736       $/controls-lib.cm
1737       $/html-lib.cm
1738       $/ml-yacc-lib.cm
1739    
1740    These libraries are now internally (as seen from the source code
1741    of the implementation itself) known by the following names:
1742    
1743       $smlnj/basis/basis.cm
1744       $smlnj/smlnj-lib/smlnj-lib.cm
1745       $smlnj/smlnj-lib/pp-lib.cm
1746       $smlnj/smlnj-lib/controls-lib.cm
1747       $smlnj/smlnj-lib/html-lib.cm
1748       $smlnj/ml-yacc/ml-yacc-lib.cm
1749    
1750    This makes it possible to work with code that requires different
1751    versions of these libraries, and which refers to these libraries using
1752    their "default" names (i.e., the first set of names above).  In other
1753    words, one can un-define or re-define those default names without
1754    compromising the proper functioning of the compiler itself.
1755    
1756    A similar procedure had already been performed for several of the
1757    MLRISC libraries that are linked into the compiler.  I did some
1758    cleanup on this code.
1759    
1760    A new file in the config directory (named extrapathconfig) is
1761    responsible for setting up path anchors that the compiler itself does
1762    not need, but that are typically required by user code.
1763    
1764    ----------------------------------------------------------------------
1765    Name: Matthias Blume
1766    Date: 2005/11/07 17:05:00 CST
1767    Tag: blume-20051107-slice
1768    Description:
1769    
1770    Fixed erroneous out-of-bounds test in the "update" function of
1771    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
1772    out the problem.)
1773    
1774    Pushed some Basis changes through ML-Lex, CML, and eXene.
1775    
1776    ----------------------------------------------------------------------
1777    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1778    Date: 2005/11/07
1779    Description:
1780    Fixed a Basis incompatibility: The depreciated function Substring.all
1781    was removed (use Substring.full instead).
1782    
1783    ----------------------------------------------------------------------
1784    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1785    Date: 2005/11/05
1786    Description:
1787    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
1788    
1789    ----------------------------------------------------------------------
1790    Name: Matthias Blume (http://www.tti-c.org/blume/)
1791    Date: 2005/11/02 16:25:00 CST
1792    Tag: blume-20051102-hex
1793    Description:
1794    
1795    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
1796      in either upper case or lower case format.
1797    * Pushed changes to names of Pack<N>{Big,Little} structures through
1798      CML and eXene.
1799    
1800    ----------------------------------------------------------------------
1801    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1802    Date: 2005/11/02
1803    Description:
1804    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
1805    be called PackWord<N>{Big,Little}.
1806    
1807    ----------------------------------------------------------------------
1808    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1809    Date: 2005/10/28
1810    Description:
1811    Fixed a minor Basis incompatibility: hex digits should be upper case.
1812    
1813    ----------------------------------------------------------------------
1814    Name: Matthias Blume (blume (at) tti - c (dot) org)
1815    Date: 2005/10/25 16:00:00 CDT
1816    Tag: Release_110_56
1817    Description:
1818    
1819    New working version (110.56).  NEW BOOTFILES!
1820    
1821    ----------------------------------------------------------------------
1822    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1823    Date: 2005/10/25
1824    Description:
1825    Added interval sets to utility library (signatures INTERVAL_DOMAIN
1826    and INTERVAL_SET, and functor IntervalSetFn).
1827    
1828    ----------------------------------------------------------------------
1829    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
1830    Date: 2005/10/14
1831    Description:
1832    Add Zhong Shao's fix for datatype equality functions.
1833    
1834    ----------------------------------------------------------------------
1835    Name: Allen Leung (leunga (at) reservoir (dot) com)
1836    Date: 2005/10/14 12:30:00 EST
1837    Tag: leunga-20051014-x86-spill
1838    Description:
1839    
1840    Bug fix a bug found by Carl Hauser.
1841    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
1842    
1843    ----------------------------------------------------------------------
1844    Name: Allen Leung (leunga (at) reservoir (dot) com)
1845    Date: 2005/10/14 11:15:00 EST
1846    Tag: leunga-20051014-x86-asm
1847    Description:
1848    
1849    Removed some debugging code in file x86Asm.sml.
1850    The function emit_operand was printing out debugging output.
1851    
1852    ----------------------------------------------------------------------
1853    Name: John Reppy
1854    Date: 2005/07/27
1855    Tag:
1856    Description:
1857    
1858    Fixed ml-lex to recognize "\r" as representing carriage return.
1859    
1860    ----------------------------------------------------------------------
1861    Name: John Reppy
1862    Date: 2005/07/27
1863    Tag:
1864    Description:
1865    
1866    Fixed ml-yacc to work on files with non-native end-of-line
1867    encodings (e.g., Windows text file on a Unix system).
1868    
1869    ----------------------------------------------------------------------
1870    Name: John Reppy
1871    Date: 2005/07/20
1872    Tag:
1873    Description:
1874    
1875    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
1876    to support HPUX 11.
1877    
1878    ----------------------------------------------------------------------
1879    Name: John Reppy
1880    Date: 2005/07/06
1881    Tag:
1882    Description:
1883    
1884    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
1885    
1886    ----------------------------------------------------------------------
1887    Name: Matthias Blume (blume (at) tti - c (dot) org)
1888    Date: 2005/07/06 00:45:00 CDT
1889    Tag: blume-20050706-slice-copy
1890    Description:
1891    
1892    Fixed reversed logic for deciding whether to "copy up" or "copy down"
1893    in *-array-slice.sml.
1894    
1895    ----------------------------------------------------------------------
1896    Name: Allen Leung (leunga (at) reservoir (dot) com)
1897    Date: 2005/05/31 17:00:00 EST
1898    Tag: leunga-20050531-cygwin-fault-2
1899    Description:
1900    
1901    A typo in the cygwin code fixed.
1902    
1903    ----------------------------------------------------------------------
1904    Name: Allen Leung (leunga (at) reservoir (dot) com)
1905    Date: 2005/05/31 16:47:00 EST
1906    Tag: leunga-20050531-cygwin-fault
1907    Description:
1908    
1909    Updated Cygwin's fault/signal handling to match the Windows version.
1910    Updated the export list.
1911    
1912    ----------------------------------------------------------------------
1913    Name: Matthias Blume (blume (at) tti - c (dot) org)
1914    Date: 2005/05/18 13:35:00 CDT
1915    Tag: Release_110_54
1916    Description:
1917    
1918    New working version (110.54).  NEW BOOTFILES!
1919    
1920    ----------------------------------------------------------------------
1921    Name: Matthias Blume (blume (at) tti - c (dot) org)
1922    Date: 2005/05/18 11:58:00 CDT
1923    Tag: blume-20050518-installer
1924    Description:
1925    
1926    Added support scripts for Mac OS X PackageMaker and modified
1927    config/install.sh so that it supports re-dumping a heap image
1928    after customization.
1929    
1930    ----------------------------------------------------------------------
1931    Name: Matthias Blume (blume (at) tti - c (dot) org)
1932    Date: 2005/05/18 10:55:00 CDT
1933    Tag: blume-20050518-realdiv-noovld
1934    Description:
1935    
1936    Un-overloaded / to work around bug in overloading resolution code.
1937    
1938    ----------------------------------------------------------------------
1939    Name: Matthias Blume (blume (at) tti - c (dot) org)
1940    Date: 2005/05/16 23:50:00 CDT
1941    Tag: blume-20050516-redump-heap
1942    Description:
1943    
1944    Added mechanism for re-creating a heap file for the interactive system
1945    after configuration variables have been changed.
1946    
1947       CM.redump_heap : string -> unit
1948    
1949    This is much like SMLofNJ.exportML, but starting from the resulting
1950    heap does not return to the caller of CM.redump_heap but
1951    restarts the interactive system from scratch.  The original call of
1952    CM.redump_heap does not return but ends the interactive session.
1953    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
1954    
1955    Internally, redump_heap winds the dynamic execution context back to
1956    the point where the original heap image was created and re-executes
1957    the heap image generation code in the boot code.
1958    
1959    ----------------------------------------------------------------------
1960    Name: Matthias Blume (blume (at) tti - c (dot) org)
1961    Date: 2005/05/09 21:55:00 CDT
1962    Tag: blume-20050509-word64
1963    Description:
1964    
1965    Added a hack to the existing hack known as Word64 to make fromString
1966    behave correctly.  I am still not sure whether Word64.scan will work
1967    as specified with respect to the interaction of radix and prefix.
1968    
1969    ----------------------------------------------------------------------
1970    Name: Allen Leung (leunga (at) reservoir (dot) com)
1971    Date: 2005/05/04 11:50:00 EST
1972    Tag: leunga-20050504-checkgc
1973    Description:
1974    
1975    Added a gc protocol checking phase.  This phase is enabled with
1976    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
1977    
1978    ----------------------------------------------------------------------
1979    Name: Matthias Blume (blume (at) tti - c (dot) org)
1980    Date: 2005/05/04 10:45:00 CDT
1981    Tag: blume-20050504-intinf
1982    Description:
1983    
1984    Fixed a bug in the implementation of div and mod for IntInf.
1985    Thanks to Neophytos Michael for reporting the problem.
1986    
1987    ----------------------------------------------------------------------
1988    Name: Matthias Blume (blume (at) tti - c (dot) org)
1989    Date: 2005/05/04 10:35:00 CDT
1990    Tag: blume-20050504-join
1991    Description:
1992    
1993    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
1994    
1995    ----------------------------------------------------------------------
1996    Name: Matthias Blume (blume (at) tti - c (dot) org)
1997    Date: 2005/02/28 23:40:00 CST
1998    Tag: blume-20050228-mVar
1999    Description:
2000    
2001    Fixed serious bug (brown paper bag variety) in new implementation of
2002    structure Atom in CML.  (I had accidentally used a mailbox instead of
2003    an mvar, leaving the door open for races.)
2004    
2005    ----------------------------------------------------------------------
2006    Name: Matthias Blume (blume (at) tti - c (dot) org)
2007    Date: 2005/02/25 15:00:00 CST
2008    Tag: Release_110_53
2009    Description:
2010    
2011    New working version (110.53).  NEW BOOTFILES!
2012    
2013    ----------------------------------------------------------------------
2014    Name: Matthias Blume (blume (at) tti - c (dot) org)
2015    Date: 2005/02/25 14:50:00 CST
2016    Tag: blume-20050225-susp
2017    Description:
2018    
2019    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
2020    implemented in Core -- which means that it is the same as the one used
2021    by the lazy extension.
2022    
2023    ----------------------------------------------------------------------
2024    Name: Matthias Blume (blume (at) tti - c (dot) org)
2025    Date: 2005/02/24 16:50:00 CST
2026    Tag: blume-20050224-cml-atom
2027    Description:
2028    
2029    Simpler and at the same time more general implementation of structure
2030    Atom in CML.
2031    
2032    ----------------------------------------------------------------------
2033    Name: Matthias Blume (blume (at) tti - c (dot) org)
2034    Date: 2005/02/15 17:35:00 CST
2035    Tag: blume-20050215-tools
2036    Description:
2037    
2038    Created new "tools" directory under "src" and moved "TraceDebugProf"
2039    there.
2040    
2041    ----------------------------------------------------------------------
2042    Name: Matthias Blume (blume (at) tti - c (dot) org)
2043    Date: 2005/02/10 17:55:00 CST
2044    Tag: blume-20050210-longlong
2045    Description:
2046    
2047    Implemented "long long" arguments and results for NLFFI.  (Only the
2048    PPC/MacOS implementation is complete, the other backends still need to
2049    be updated.)
2050    
2051    ----------------------------------------------------------------------
2052    Name: Matthias Blume (blume (at) tti - c (dot) org)
2053    Date: 2005/01/24 17:40:00 CST
2054    Tag: blume-20050124-mlyacc
2055    Description:
2056    
2057    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
2058    problem with certain "as" patterns which previously got rendered
2059    using incorrect syntax.
2060    
2061    ----------------------------------------------------------------------
2062    Name: Matthias Blume (blume (at) tti - c (dot) org)
2063    Date: 2005/01/18 12:00:00 CST
2064    Tag: blume-20050118-profile
2065    Description:
2066    
2067    Made time profiling code (interrupt handler) in runtime system aware
2068    of new array representation.
2069    
2070    ----------------------------------------------------------------------
2071    Name: Matthias Blume (blume (at) tti - c (dot) org)
2072    Date: 2005/01/14 18:00:00 CST
2073    Tag: blume-20050114-heap2exec
2074    Description:
2075    
2076    Implemented new (but still experimental) heap2exec facility.  This is
2077    tested under Mac OS X and should work under Linux (will test shortly).
2078    It will probably also work on the Sparc (will test some time later).
2079    
2080      - removed old "HACKED_STANDALONE" hack from runtime
2081    
2082    To be able to test this, uncomment the request for "heap2asm" in
2083    config/targets prior to installation.  (Notice that this is different
2084    from "heap2exec" mentioned below.  Not a typo.)
2085    
2086    To perform an actual test, run the command
2087    
2088       $ bin/heap2exec heapfile execfile
2089    
2090    (You can put heap2exec on your shell's path.)
2091    
2092    For example, run
2093    
2094      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
2095    
2096    This will create a standalone executable called "mly" which you can
2097    then invoke directly as a command.
2098    
2099    ----------------------------------------------------------------------
2100    Name: Matthias Blume (blume (at) tti - c (dot) org)
2101    Date: 2005/01/07 11:44:00 CST
2102    Tag: blume-20050107-mlstring
2103    Description:
2104    
2105    fixed off-by-one error in ML_STRING macro (globals.c)
2106    
2107    ----------------------------------------------------------------------
2108    Name: Matthias Blume (blume (at) tti - c (dot) org)
2109    Date: 2004/12/23 18:00:00 CST
2110    Tag: blume-20041223-santa
2111    Description:
2112    
2113    Made ml-build script "smarter" (but only very little).
2114    
2115    ----------------------------------------------------------------------
2116    Name: Matthias Blume (blume (at) tti - c (dot) org)
2117    Date: 2004/12/21 15:05:00 CST
2118    Tag: blume-20041221-longlong
2119    Description:
2120    
2121    * Implemented access to signed and unsigned long long data in NLFFI.
2122    (The parameter-passing part of the picture has not complete. But
2123    data structure access seems to work.)
2124    
2125    * Fixed CM's incorrect assumption that the PPC is little-endian.
2126      (On the Mac, it is big-endian.  And that's currently our only
2127      PPC platform.)
2128    
2129    ----------------------------------------------------------------------
2130    Name: Matthias Blume (blume (at) tti - c (dot) org)
2131    Date: 2004/12/21 12:50:00 CST
2132    Tag: blume-20041221-memory
2133    Description:
2134    
2135    Some cleanup in the $c/memory.cm library: separated some concerns by
2136    moving allocation code and memory access code each into their own
2137    files.
2138    
2139    ----------------------------------------------------------------------
2140    Name: Allen Leung (leunga (at) reservoir (dot) com)
2141    Date: 2004/12/17 16:12:00 EST
2142    Tag: leunga-20041217-cygwin-smlnj-home
2143    Description:
2144    
2145        The Unix I/O library of SML/NJ on cygwin does not understand
2146    Windows style pathname, so problems arise when SMLNJ_HOME is set
2147    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
2148    to a POSIX pathname on cygwin.
2149    
2150    ----------------------------------------------------------------------
2151  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
2152  Date: 2004/12/16 13:35:00 CST  Date: 2004/12/16 13:35:00 CST
2153  Tag: Release_110_52  Tag: Release_110_52

Legend:
Removed from v.1737  
changed lines
  Added in v.3803

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