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

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

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