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

revision 2387, Sat Apr 7 13:30:41 2007 UTC revision 3667, Thu Jan 19 23:06:38 2012 UTC
# Line 7  Line 7 
7    
8  The form of an entry should be:  The form of an entry should be:
9    
   
10  Name: Your Name (web page or e-mail)  Name: Your Name (web page or e-mail)
11  Date: yyyy/mm/dd hh:mm:ss  Date: yyyy/mm/dd hh:mm:ss
12  Tag: cvs-tag-for-this-change  Tag: cvs-tag-for-this-change
13  Description:  Description:
14    
15    Here is a test entry
16    
17    ----------------------------------------------------------------------
18    Name: John Reppy (http://cs.uchicago.edu/~jhr)
19    Date: yyyy/mm/dd
20    Description:
21    
22    ----------------------------------------------------------------------
23    Name: David MacQueen (dbm@cs.uchicago.edu)
24    Date: 2012/1/19
25    Revision: 3664, 3665
26    Description:
27    
28    1) Fix for (gforge) bug #60
29       recalculate strictness for DEFtycs in functor bodies when functor
30       is applied  (Elaborator/modules/evalent.sml)
31    
32    2) Fix for (gforge) bug #77
33       separate ast representations for datatypes and datatype replications
34       in decs and specs (multiple files)
35    
36    3) set version to 110.74
37    
38    Details in NOTES/changes/dbm_2012_1.
39    
40    ----------------------------------------------------------------------
41    Name: David MacQueen (dbm@cs.uchicago.edu)
42    Date: 2012/1/12
43    Revision: 3648, 3652
44    Description:
45    
46    1) Change of SourceMap interface.
47       related to fix of off-by-one error in lexer (committed earlier?), and cleanup of noweb code
48       added by Norman Ramsey many years ago (but little used today).
49    
50    3) Slight cleanup of match compiler, eliminatiing compiler/FLINT/tempexpn.sml file that
51       was part of unused implementation of pattern templates (pattern macros).
52    
53    4) Modification of type checker to add "culprit tracking" for improved type error messages
54       (printing of additional culprit information is controlled by ElabControl.showTypeErrorCulprits
55        flag, default false, added in revision 3652).  The culprit tracking needs to be debugged
56        and improved, and the presentation of the culprits needs to be done better.
57    
58    Details in NOTES/changes/dbm_2012_1.
59    
60    ----------------------------------------------------------------------
61    Name: John Reppy (http://cs.uchicago.edu/~jhr)
62    Date: 2011/11/25
63    Description:
64    
65    Bug fixes for Unsafe.blastRead (#76):
66      1) proper error handling when reading from memory and there are
67         not enough bytes.
68      2) pass correct data pointer and length to BlastIn (code was using
69         old macros).
70    
71    ----------------------------------------------------------------------
72    Name: John Reppy (http://cs.uchicago.edu/~jhr)
73    Date: 2011/11/25
74    Description:
75    
76    Added hash-table-based implementation of sets to SML/NJ Library.
77    
78    ----------------------------------------------------------------------
79    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
80    Date: 2011/10/25
81    Description:
82    
83    Better error reporting under 32-bit linux for the missing dpkg
84    support (#70).
85    Enable 3.x kernels to build (#80, 81, 83).
86    
87    ----------------------------------------------------------------------
88    Name: John Reppy (http://cs.uchicago.edu/~jhr)
89    Date: 2011/05/23
90    Description:
91    
92    Added new S-expression library to SML/NJ Library
93    (contributed by Damon Wang)
94    
95    ----------------------------------------------------------------------
96    Name: John Reppy (http://cs.uchicago.edu/~jhr)
97    Date: 2011/05/17
98    Description:
99    
100    Fixed bug in JSON scanner (SML/NJ Library).  It didn't handle escaped
101    backslash or double quote correctly.
102    
103    ----------------------------------------------------------------------
104    Name: John Reppy (http://cs.uchicago.edu/~jhr)
105    Date: 2011/05/13
106    Description:
107    
108    *************************** Version 110.73 ***************************
109    
110    ----------------------------------------------------------------------
111    Name: John Reppy (http://cs.uchicago.edu/~jhr)
112    Date: 2011/05/10
113    Description:
114    
115    Added boolean literals (true and false) to the conditional-expression
116    syntax in CM.  Thus, you can write
117    
118    #if true
119      structure Foo
120    #endif
121    
122    in a CM file.  This change is meant to make it easier to use autoconf
123    to configure the build process of an SML application.
124    
125    ----------------------------------------------------------------------
126    Name: John Reppy (http://cs.uchicago.edu/~jhr)
127    Date: 2011/05/09
128    Description:
129    
130    Added missing String.scan function (#69).  This also fixes the handling
131    of certain corner cases by String.fromString.
132    
133    ----------------------------------------------------------------------
134    Name Mike Rainey (http://www.mpi-sws.org/~mrainey)
135    Date 2011/05/03
136    Description:
137    
138    Added the RTDSC and RTDSCP instructions to the amd64 code generator.
139    
140    ----------------------------------------------------------------------
141    Name: John Reppy (http://cs.uchicago.edu/~jhr)
142    Date: 2011/04/08
143    Description:
144    
145    Added fix for comments in code bug (#63).
146    Thanks to Michael Norrish.
147    
148    ----------------------------------------------------------------------
149    Name: John Reppy (http://cs.uchicago.edu/~jhr)
150    Date: 2011/04/08
151    Description:
152    
153    Fixed bug in Socket.acceptNB (bug #59)
154    
155    ----------------------------------------------------------------------
156    Name: John Reppy (http://cs.uchicago.edu/~jhr)
157    Date: 2011/03/31
158    Description:
159    
160    Fixed syntax error in ml-lex compatibility mode (bug #49)
161    
162    ----------------------------------------------------------------------
163    Name: John Reppy (http://cs.uchicago.edu/~jhr)
164    Date: 2011/03/22
165    Description:
166    
167    Update _arch-n-opsys script for Mac OS X Lion (10.7).
168    
169    ----------------------------------------------------------------------
170    Name: John Reppy (http://cs.uchicago.edu/~jhr)
171    Date: 2011/02/18
172    Description:
173    
174    Added Barriers module to CML.
175    
176    ----------------------------------------------------------------------
177    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
178    Date: 2011/02/10
179    Description:
180    
181    Fixed ml-yacc examples to respect the changed signatures with respect
182    to TextIO.inputLine.
183    
184    ----------------------------------------------------------------------
185    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
186    Date: 2010/09/16
187    Description:
188    
189    Changed the Win32 implementation of validArc to support directories
190    with extended characters (umlauts, etc.).
191    
192    ----------------------------------------------------------------------
193    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
194    Date: 2010/09/16
195    Description:
196    
197    Fixed the Win32 socket and polling implementation to work correctly
198    with CML. Signature of poll was wrong and didn't handle sockets at all.
199    
200    ----------------------------------------------------------------------
201    Name: John Reppy (http://cs.uchicago.edu/~jhr)
202    Date: 2010/06/16
203    Description:
204    
205    Fixed Real.toString and Real.fmt to include sign for negative zero.
206    
207    ----------------------------------------------------------------------
208    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
209    Date: 2010/03/23
210    Description:
211    
212    Fixed the bug with Win32 calls to OS.Process.system not quoting the string.
213    
214    ----------------------------------------------------------------------
215    Name: Jon Riehl (http://jonriehl.com/)
216    Date: 2010/02/11
217    Description:
218    
219    Applied patch for building on more recent NetBSD's.  See bug #39 in the
220    tracker:
221    
222    http://smlnj-gforge.cs.uchicago.edu/tracker/index.php?func=detail&aid=39&group_id=33&atid=215
223    
224    ----------------------------------------------------------------------
225    Name: Jon Riehl (http://jonriehl.com/)
226    Date: 2010/02/02
227    Description:
228    
229    Cutting version 110.72.  New bootfiles.
230    
231    ----------------------------------------------------------------------
232    Name John Reppy (http://cs.uchicago.edu/~jhr)
233    Date 2009/12/20
234    Description:
235    
236    Fixed performance bugs in List module by making @ and foldr be
237    tail recursive.
238    
239    ----------------------------------------------------------------------
240    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
241    Date: 2009/12/11
242    Description:
243    
244    Fixed the Win32 unable to print long strings bug.
245    ----------------------------------------------------------------------
246    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
247    Date: 2009/12/10
248    Description:
249    
250    Fixed an overrun during major GC. If the string arena was nearly full, it was possible
251    for alignment padding added during copy to the to-space to overrun the allocated
252    size.
253    ----------------------------------------------------------------------
254    Name John Reppy (http://cs.uchicago.edu/~jhr)
255    Date 2009/11/18
256    Description:
257    
258    The ml-antlr and ml-ulex programs have been ported to build under
259    mlton.
260    
261    ----------------------------------------------------------------------
262    Name John Reppy (http://cs.uchicago.edu/~jhr)
263    Date 2009/11/17
264    Description:
265    
266    Added %header directive to the ml-ulex scanner generator.  Also
267    updated the documentation.
268    
269    ----------------------------------------------------------------------
270    Name John Reppy (http://cs.uchicago.edu/~jhr)
271    Date 2009/11/17
272    Description:
273    
274    Added "@SMLsuffix" flag to sml command.  This can be used to get
275    the suffix for heap files.
276    
277    ----------------------------------------------------------------------
278    Name John Reppy (http://cs.uchicago.edu/~jhr)
279    Date 2009/11/17
280    Description:
281    
282    Added "--strict-sml" flag to ml-ulex for MLton compatibility.
283    
284    ----------------------------------------------------------------------
285    Name John Reppy (http://cs.uchicago.edu/~jhr)
286    Date 2009/11/10
287    Description:
288    
289    Added %header directive to the ml-antlr parser generator.  Also
290    updated the documentation.
291    
292    ----------------------------------------------------------------------
293    Name: Jon Riehl (http://www.jonriehl.com/)
294    Date: 2009/09/16
295    Description:
296    
297    Cutting version 110.71.  New bootfiles.
298    
299    ----------------------------------------------------------------------
300    Name John Reppy (http://cs.uchicago.edu/~jhr)
301    Date 2009/09/13
302    Description:
303    
304    Changes to support compiling the runtime system on Mac OS X 10.6
305    (aka Snow Leopard).
306    
307    ----------------------------------------------------------------------
308    Name Mike Rainey (http://cs.uchicago.edu/~mrainey)
309    Date 2009/08/19
310    Description:
311    
312    Fixed a bug in the register-spill generator that is part of the MLRISC
313    register allocator. The problem was that the code in RASpillWithRenaming
314    functor assumed incorrectly that dedicated registers would appear in
315    def/use information generated by ClusterRA. Thanks to Allen Leung for
316    helping with this bug.
317    
318    ----------------------------------------------------------------------
319    Name John Reppy (http://cs.uchicago.edu/~jhr)
320    Date 2009/07/09
321    Description:
322    
323    Removed redundant implementations of various top-level operations by
324    consolidating them in base/system/smlnj/init/pervasive.sml.  This
325    change also fixes a bug in that the top-level version of round was
326    incorrect.
327    
328    ----------------------------------------------------------------------
329    Name: Matthias Blume (http://www.tti-c.org/blume/)
330    Date: 2009/06/15 11:17:00 CDT
331    Description:
332    
333    Bumped version number to 110.70.  New bootfiles.
334    
335    ----------------------------------------------------------------------
336    Name: Matthias Blume (http://www.tti-c.org/blume/)
337    Date: 2009/06/12 11:02:00 CDT
338    Description:
339    
340    1. Corrected problem in config/actions that led to the so-called
341       "unpickling bug" which appeared in version 110.68.
342    
343    2. Provided fix for the 64-bit pattern match bug.
344    
345    ----------------------------------------------------------------------
346    Name John Reppy (http://cs.uchicago.edu/~jhr)
347    Date 2009/03/21
348    Description:
349    
350    Fixed bug in Int32.fmt when the argument was the minimum int and the
351    radix was something other than DEC.
352    
353    ----------------------------------------------------------------------
354    Name Aaron Turon (turon@ccs.neu.edu)
355    Date 2009/02/21
356    Description:
357    
358    Fixed bugs in how ml-antlr parsed ML types in %tokens specifications.
359    
360    ----------------------------------------------------------------------
361    Name: Jon Riehl (http://www.jonriehl.com/)
362    Date: 2009/01/13
363    Description:
364    
365    Picking up some additional fixes for 110.69, including a fix for
366    spaces in CM file paths.
367    
368    ----------------------------------------------------------------------
369    Name: Jon Riehl (http://www.jonriehl.com/)
370    Date: 2008/12/22
371    Description:
372    
373    Version bumped to 110.69.  New bootfiles.
374    
375    ----------------------------------------------------------------------
376    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
377    Date: 2008/12/06
378    Description:
379    
380    Re-enabled some CPS optimizations (first_contract and eta).  The most
381    important effect of this change is to make uses of SMLofNJ.Cont.capture
382    be properly tail recursive.
383    
384    ----------------------------------------------------------------------
385    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
386    Date: 2008/12/03
387    Description:
388    
389    New concurrency-related instructions for x86 and amd64 code
390    generators.
391      - PAUSE: Notify the CPU that the program is spin waiting.
392      - MFENCE: memory fence for reads and writes.
393      - SFENCE: memory fence for writes.
394      - LFENCE: memory fence for reads.
395    
396    ----------------------------------------------------------------------
397    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
398    Date: 2008/12/02
399    Description:
400    
401    Added makefile and other support for building runtime on OpenBSD.
402    
403    ----------------------------------------------------------------------
404    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
405    Date: 2008/08/13
406    Description:
407    
408    Version bumped to 110.68.  New bootfiles.
409    
410    ----------------------------------------------------------------------
411    Name Aaron Turon (turon@ccs.neu.edu)
412    Date 2008/08/11
413    Description:
414    
415    Minor fix to ml-ulex backend for regexps that match any character
416    and perform a single action.  Previously the emitted code would
417    not allow the regexps to match any character at all.
418    
419    ----------------------------------------------------------------------
420    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
421    Date: 2008/08/05
422    Description:
423    
424    Added build support for OpenBSD (thanks to Brian O'Hanlon).
425    
426    ----------------------------------------------------------------------
427    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
428    Date: 2008/07/12
429    Description:
430    
431    Fixed Int64.fromString to use base-10.
432    
433    ----------------------------------------------------------------------
434    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
435    Date: 2008/04/12
436    Description:
437    
438    Various updates to the ml-lpt tree.  The documentation has been updated;
439    bugs in the parsing of negation and character classes in ml-ulex have
440    been fixed; and changes have been made to make the ml-lpt tools more
441    compatible with MLton (and other SML implementations).  Thanks to
442    Matthew Fluet and Aaron Turon for their patches.
443    
444    ----------------------------------------------------------------------
445    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
446    Date: 2008/20/04
447    Description:
448    
449    Implemented timer-based profiling on Windows, with behavior as close
450    to the *nix ITIMER-based profiling as possible.
451    ----------------------------------------------------------------------
452    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
453    Date: 2008/07/04
454    Description:
455    
456    Finished off the Windows subset of the basis library. Added process
457    support and various configuration and system identification utils.
458    ----------------------------------------------------------------------
459    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
460    Date: 2008/03/18
461    Description:
462    
463    Major changes to the RegExp library: see smlnj-lib/CHANGES for details.
464    ----------------------------------------------------------------------
465    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
466    Date: 2008/02/14
467    Description:
468    
469    Added the Windows Status structure
470    ----------------------------------------------------------------------
471    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
472    Date: 2008/02/14
473    Description:
474    
475    Added the Windows DDE structure
476    ----------------------------------------------------------------------
477    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
478    Date: 2008/02/05
479    Description:
480    
481    Added the Windows Config structure
482    ----------------------------------------------------------------------
483    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
484    Date: 2008/01/31
485    Description:
486    
487    Added outline of the Windows basis library and the basic registry
488    functionality.
489    ----------------------------------------------------------------------
490    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
491    Date: 2008/01/23
492    Description:
493    
494    Fixed the amd64 code generator to compile with the current MLRISC.
495    ----------------------------------------------------------------------
496    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
497    Date: 2007/11/26
498    Description:
499    
500    nlffi was updated to work on Windows. It needed to pass in the correct
501    value for the name of the kernel32 DLL to obtain 'base' bindings.
502    Additionally updated the README for the most basic nlffi sample with
503    what you need to do on MacOSX and on Windows to make it work.
504    ----------------------------------------------------------------------
505    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
506    Date: 2007/11/21
507    Description:
508    
509    Overwrite the SMLNJ_HOME environment variable on installation
510    Properly change the package code so that subsequent version
511    installations prompt for uninstall (instead of 'repair/remove')
512    ----------------------------------------------------------------------
513    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
514    Date: 2007/11/14
515    Description:
516    
517    Cleaned up WININSTALL file for new MSI-based setup.
518    ----------------------------------------------------------------------
519    Name: Matthias Blume (http://www.tti-c.org/blume/)
520    Date: 2007/11/13 14:05:00 CST
521    Description:
522    
523    Version bumped to 110.67.  New bootfiles.
524    
525    ----------------------------------------------------------------------
526    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
527    Date: 2007/11/12
528    Description:
529    
530    Ensure that the size of the allocation space is at least 128K.
531    ----------------------------------------------------------------------
532    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
533    Date: 2007/11/05
534    Description:
535    
536    Fixed type error in ml-lpt library that occurs when compiling
537    against a basis that was compiled with the USE_64_BIT_POSITIONS
538    symbol set.
539    (Thanks to Johannes Joemann)
540    ----------------------------------------------------------------------
541    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
542    Date: 2007/11/03
543    Description:
544    
545    Fixed the amd64 code generator to compile with the current MLRISC.
546    ----------------------------------------------------------------------
547    Name: Lars Bergstrom (web page or e-mail)
548    Date: 2007/11/02
549    Description:
550    
551    Made sml.bat more resilient to either not having run the installer
552    and having no SMLNJ_HOME set or having just shuffled the directory
553    around.
554    ----------------------------------------------------------------------
555    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
556    Date: 2007/11/01
557    Description:
558    
559    A collection of bug fixes for machine.sml in the Reactive library.
560    (Thanks to Timothy Bourke)
561    ----------------------------------------------------------------------
562    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
563    Date: 2007/10/28
564    Description:
565    
566    Patches for Mac OS X 10.5 (Leopard).
567    ----------------------------------------------------------------------
568    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
569    Date: 2007/10/28
570    Description:
571    
572    Fixed some bugs in the AMD64 floating-point spilling code.
573    ----------------------------------------------------------------------
574    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
575    Date: 2007/10/25
576    Description:
577    
578    Added support for the atomic XCHG instruction.
579    ----------------------------------------------------------------------
580    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
581    Date: 2007/10/22
582    Description:
583    
584    Added AMD64 support for floating-point negation.
585    ----------------------------------------------------------------------
586    Name: Lars Bergstrom (web page or e-mail)
587    Date: 2007/10/22
588    Description:
589    
590    Fixed ^C handling in Windows
591    Added a Windows installer
592    Made it possible to build for Windows on a mapped drive from Parallels
593    ----------------------------------------------------------------------
594    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
595    Date: 2007/10/22
596    Description:
597    
598    Added AMD64 support for the atomic fetch and add instruction.
599    ----------------------------------------------------------------------
600    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
601    Date: 2007/10/18
602    Description:
603    
604    The GAS output now favors p2align over align, since the
605    former is guaranteed to be consistent over multiple architectures
606    and the latter is not.
607    ----------------------------------------------------------------------
608    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
609    Date: 2007/10/18
610    Description:
611    
612    Fixed a bug in register spilling.
613    ----------------------------------------------------------------------
614    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
615    Date: 2007/10/2
616    Description:
617    
618    Added demo support for AMD64 for quick testing and fixed support for
619    64-bit label constants.
620    ----------------------------------------------------------------------
621    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
622    Date: 2007/09/20
623    Description:
624    
625    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
626    instruction.
627    ----------------------------------------------------------------------
628    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
629    Date: 2007/09/17
630    Description:
631    
632    Fixed an instruction-selection bug when loading 64-bit labels.
633    
634    ----------------------------------------------------------------------
635    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
636    Date: 2007/09/14
637    Description:
638    
639    Fixed Elaborator and Translate performance bugs
640    
641    ----------------------------------------------------------------------
642    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
643    Date: 2007/09/12
644    Description:
645    
646    Fixed xorl memory argument bug.
647    
648    ----------------------------------------------------------------------
649    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
650    Date: 2007/07/27
651    Description:
652    
653    Added f64sgn (for Real64.signBit) as a primop defined
654    in MLRiscGen. signBit(~0.0) not handled correctly.
655    
656    ----------------------------------------------------------------------
657    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
658    Date: 2007/06/21
659    Description:
660    
661    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
662    signal end of stream.
663    
664    ----------------------------------------------------------------------
665    Name: Matthias Blume (http://www.tti-c.org/blume/)
666    Date: 2007/06/12 11:22:00 CDT
667    Description:
668    
669    Eliminated config/allsources.  The information is now drawn directly
670    from config/actions.
671    
672    ----------------------------------------------------------------------
673    Name: Matthias Blume (http://www.tti-c.org/blume/)
674    Date: 2007/06/07 23:30:00 CDT
675    Tag: release-110.65
676    Description:
677    
678    Version 110.65. NEW BOOTFILES!
679    
680    ----------------------------------------------------------------------
681    Name: Matthias Blume (http://www.tti-c.org/blume/)
682    Date: 2007/06/06 21:45:00 CDT
683    Description:
684    
685    - Aaron: fixed a number of bugs in ml-ulex.
686    - Matthias:
687       - added CM control "cm.force-tools"; this is false by default;
688         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
689         will be forced to run regardless of whether or not their targets
690         are up-to-date
691       - changed installer code so that config/install.sh will re-build
692         heap images for all tools even if those heap images already existed
693    
694    ----------------------------------------------------------------------
695    Name: Matthias Blume (http://www.tti-c.org/blume/)
696    Date: 2007/06/04 21:21:00 CDT
697    Description:
698    
699    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
700    in legacy mode), re-ran the lexer generator on all lex input files
701    and committed the results.
702    
703    This should fix the problem with ckit and nlffi that was reported
704    by Vesa A. Norrman.
705    
706    ----------------------------------------------------------------------
707    Name: Matthias Blume (http://www.tti-c.org/blume/)
708    Date: 2007/05/31 11:40:00 CDT
709    Tag: release-110.64
710    Description:
711    
712    Version 110.64. NEW BOOTFILES!
713    
714    ----------------------------------------------------------------------
715    Name: Dave MacQueen (dbm@cs.uchicago.edu)
716    Date: 2007/05/31 14:55:00 CDT
717    Revision: 2650
718    Description:
719    
720    3rd merge of base from primop-branch-3 into the trunk.
721    Additional bug fixes included:
722    
723     * Timer.cpu_timer, etc. type printing corrected (by making
724         Timer have opaque sig constraint in basis/Implementation/timer.sml)
725     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
726         Stefan Monnier)
727    
728    ----------------------------------------------------------------------
729    Name: Matthias Blume (http://www.tti-c.org/blume/)
730    Date: 2007/05/31 11:40:00 CDT
731    Description:
732    
733    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
734    
735    Also, changed the handling of "no core access":  When translate.sml
736    needs access to a core exception at a time when the core has not
737    been set up yet (this only happens when compiling system/smlnj/init/*),
738    then don't bother generating the corresponding tests.
739    
740    The old scheme was to generate a bogus value to be used in place of
741    the exception.  Unfortunately, that confuses the plambda type checker.
742    Moreover, it does not do any good, because at runtime we don't expect
743    such an exception to be ever raised.  (The code in system/smlnj/init/*
744    has to be written very carefully with this in mind!)
745    
746    ----------------------------------------------------------------------
747    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
748    Date: 2007/05/29
749    Description:
750    
751    Added FSQRT instructions for the AMD64 code generator.
752    
753    ----------------------------------------------------------------------
754    Name: Matthias Blume (http://www.tti-c.org/blume/)
755    Date: 2007/05/29 19:00:00 CDT
756    Description:
757    
758    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
759    with an explicit test for zero division.  This should fixes several
760    regressions and makes it possible for downstream optimization phases
761    to treat these operations as "pure" when they are applied to unsigned
762    operands.
763    
764    ----------------------------------------------------------------------
765    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
766    Date: 2007/05/29
767    Description:
768    
769    Added the new MLRISC code generator for the AMD64.  This version,
770    in contrast to the previous one, uses SSE registers and instructions
771    for all floating-point computations.
772    
773    ----------------------------------------------------------------------
774    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
775    Date: 2007/05/29
776    Description:
777    
778    A number of fixes related to the formatting of dates.  These include fixes
779    for bugs #1415 and #1416.  We also now correctly handle format characters that
780    lie outside the specified set.
781    
782    ----------------------------------------------------------------------
783    Name: Matthias Blume (http://www.tti-c.org/blume/)
784    Date: 2007/05/23 22:30:00 CDT
785    Description:
786    
787    CMB (and CM) now automatically defines the CM "preprocessor" symbol
788    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
789    
790      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
791       CM_SLAVE_MODE is defined in attached slaves while running CM.make
792       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
793       while running CMB.make.  The point is that the single symbol
794       NO_PLUGINS is definde in all three cases.)
795    
796    I changed the three locations within the sources that get compiled
797    during CMB.make where ml-yacc or ml-lex input is processed: When
798    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
799    is bypassed.
800    
801    When bootstrapping new versions of the compiler, there can be
802    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
803    are not available or otherwise not operational.  In this case one can
804    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
805    do so, the following command should be issued at the interactive
806    prompt:
807    
808       #set (CMB.symval "NO_PLUGINS") (SOME 1);
809    
810    A CMB.make with NO_PLUGINS defined relies on the existence of the
811    files that normally would be generated by ml-yacc and ml-lex.
812    (Copies of these files are in the repository.)
813    
814    ----------------------------------------------------------------------
815    Name: David MacQueen (dbm@cs.uchicago.edu)
816    Date: 2007/5/23 17:23:00 CDT
817    Revision: 2603
818    Description:
819    
820    2nd merge of base from primop-branch-3 into the trunk.
821    Additional bug fixes included:
822     Date.scan and Date.fromString fixed;
823     Overloading resolution fixed and some type printing problems corrected.
824    
825    ----------------------------------------------------------------------
826    Name: Matthias Blume (http://www.tti-c.org/blume/)
827    Date: 2007/05/23 09:50:00 CDT
828    Description:
829    
830    Changed the installation mechanism for CM tool plugins.  These are
831    just libaries and now get installed like ordinary libaries.
832    
833    There are now a number of new installation targets that give some
834    fine-grain control over what classes and suffixes are known, and what
835    they will map to.
836    See config/targets for details.
837    
838    The code that caused plugin installation as part of running a
839    tool's "build" script has been removed.  (The build script is for
840    building, not for installing.)
841    
842    ----------------------------------------------------------------------
843    Name: Matthias Blume (http://www.tti-c.org/blume/)
844    Date: 2007/05/22 11:50:00 CDT
845    Description:
846    
847    Added a boolean control named cm.tolerate-tool-failures (env. variable
848    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
849    CM fail if a shell tool reports a non-success exit status.  If
850    the control is set to true, then CM will press on after tool failures
851    in the event that the target files exist (even though they are
852    considered outdated).  Turning the control to true can be useful for
853    bootstrapping.
854    
855    ----------------------------------------------------------------------
856    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
857    Date: 2007/05/19
858    Description:
859    
860    Merge of ml-lpt revisions for 110.64.
861    
862    The name of several ml-lpt-lib modules has changed:
863      Repair        => AntlrRepair
864      StreamPos     => AntlrStreamPos
865      ErrHandlerFn  => AntlrErrHandler
866      EBNF          => AntlrEBNF
867    
868    The ml-antlr specification format has changed: declarations such as
869    %tokens and nonterminal definitions can occur *multiple* times in the
870    same specification.  The semantics are such that each new declaration
871    extends the previous ones.  This does not apply to %start or %name,
872    of course.
873    
874    Importing a grammar via %import now includes *all* declarations in from
875    the imported grammar, except for %name, %entry, and %start.  Tokens
876    and nonterminals can be dropped using the new %dropping clause of the
877    %import directive; the separate %drop and %extend have been removed.
878    
879    We now allow optional type annotations on nonterminals, using the %nonterms
880    directive as in ml-yacc.
881    
882    The refcell construct is now implemented using SML's regular reference
883    cells, so the :== and !! notation has been deprecated.
884    
885    The ml-antlr tool now does much more checking of specifications, and
886    its error messages have been greatly improved.  Error repair for
887    generated parsers has been completely rewritten, and is now both
888    much faster and more accurate.
889    
890    ml-ulex is now more lenient with escape codes (non-SML-standard
891    escape codes are now interpreted literally, so e.g. \| denotes "|").
892    Also, character classes may now include a "-" character at the beginning
893    as is standard in most other regexp tools.
894    
895    All of these changes are documented in the user guide, which has
896    been updated and improved with this merge.
897    
898    ----------------------------------------------------------------------
899    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
900    Date: 2007/05/03
901    Revision: r2492
902    Description:
903    
904    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
905    Significant changes in FLINT and the front end, mostly having to do
906    with a reorganized system for handling primops.  Various bug fixes
907    and improvements in printing signatures.
908    
909    ----------------------------------------------------------------------
910    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
911    Date: 2007/05/02
912    Description:
913    
914    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
915    The ml-antlr specification format has changed: declarations such as
916    %tokens and nonterminal definitions can occur *multiple* times in the
917    same specification.  The semantics are such that each new declaration
918    extends the previous ones.  Grammar extension constructs have also
919    changed.  We now allow type annotations on nonterminals.  Finally,
920    the refcell construct is now implemented using SML's regular reference
921    cells, so the :== and !! notation has been deprecated.  All of these
922    changes will appear in the 110.64 user guide for ml-lpt.
923    
924    The ml-antlr tool now does much more checking of specifications, and
925    its error messages have been greatly improved.  There has also been
926    some work on the error repair process for generated parsers, but this
927    will be further improved in 110.64.
928    
929    ----------------------------------------------------------------------
930    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
931    Date: 2007/04/24
932    Description:
933    
934    More Basis fixes: The Char.fromString (etc.) functions did not handle
935    the "\uxxxx" escape sequence.  There is still an outstanding bug with
936    String.fromString the tail is a format escape.  I added a comment to
937    this effect in Basis/Implementation/string.sml.
938    Thanks to Andreas Rossberg.
939    
940    ----------------------------------------------------------------------
941    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
942    Date: 2007/04/24
943    Description:
944    
945    Added next function to Fifo and Queue modules in the SML/NJ Library.
946    
947    ----------------------------------------------------------------------
948    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
949    Date: 2007/04/23
950    Description:
951    
952    More Basis fixes: Time.fmt dropped the leading "~" for negative time
953    values that had no whole part.
954    
955    ----------------------------------------------------------------------
956    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
957    Date: 2007/04/23
958    Description:
959    
960    More Basis fixes: the OS.Path module did not include the InvalidArc
961    exception and did not do sufficient argument checking.
962    Thanks to Stephen Weeks and Adam Chilpala.
963    
964    ----------------------------------------------------------------------
965    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
966    Date: 2007/04/16
967    Description:
968    
969    Fixed an unbound functor bug in the AMD64 CM file.
970    
971    ----------------------------------------------------------------------
972    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
973    Date: 2007/04/12
974    Description:
975    
976    Substantially changed the signature and implementation of AMD64
977    SVID.  It now looks similar to the ia32 SVID, yet uses staged
978    allocation.
979    
980  ----------------------------------------------------------------------  ----------------------------------------------------------------------
981  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
982  Date: 2007/04/07  Date: 2007/04/07

Legend:
Removed from v.2387  
changed lines
  Added in v.3667

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