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 1931, Wed May 17 18:49:08 2006 UTC sml/trunk/NOTES/HISTORY revision 3467, Thu Dec 10 20:20:54 2009 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 13  Line 13 
13  Tag: cvs-tag-for-this-change  Tag: cvs-tag-for-this-change
14  Description:  Description:
15    
16    Here is a test entry
17    
18    ----------------------------------------------------------------------
19    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
20    Date: 2009/12/10
21    Description:
22    
23    Fixed an overrun during major GC. If the string arena was nearly full, it was possible
24    for alignment padding added during copy to the to-space to overrun the allocated
25    size.
26    ----------------------------------------------------------------------
27    Name John Reppy (http://cs.uchicago.edu/~jhr)
28    Date 2009/11/18
29    Description:
30    
31    The ml-antlr and ml-ulex programs have been ported to build under
32    mlton.
33    
34    ----------------------------------------------------------------------
35    Name John Reppy (http://cs.uchicago.edu/~jhr)
36    Date 2009/11/17
37    Description:
38    
39    Added %header directive to the ml-ulex scanner generator.  Also
40    updated the documentation.
41    
42    ----------------------------------------------------------------------
43    Name John Reppy (http://cs.uchicago.edu/~jhr)
44    Date 2009/11/17
45    Description:
46    
47    Added "@SMLsuffix" flag to sml command.  This can be used to get
48    the suffix for heap files.
49    
50    ----------------------------------------------------------------------
51    Name John Reppy (http://cs.uchicago.edu/~jhr)
52    Date 2009/11/17
53    Description:
54    
55    Added "--strict-sml" flag to ml-ulex for MLton compatibility.
56    
57    ----------------------------------------------------------------------
58    Name John Reppy (http://cs.uchicago.edu/~jhr)
59    Date 2009/11/10
60    Description:
61    
62    Added %header directive to the ml-antlr parser generator.  Also
63    updated the documentation.
64    
65    ----------------------------------------------------------------------
66    Name: Jon Riehl (http://www.jonriehl.com/)
67    Date: 2009/09/16
68    Description:
69    
70    Cutting version 110.71.  New bootfiles.
71    
72    ----------------------------------------------------------------------
73    Name John Reppy (http://cs.uchicago.edu/~jhr)
74    Date 2009/09/13
75    Description:
76    
77    Changes to support compiling the runtime system on Mac OS X 10.6
78    (aka Snow Leopard).
79    
80    ----------------------------------------------------------------------
81    Name Mike Rainey (http://cs.uchicago.edu/~mrainey)
82    Date 2009/08/19
83    Description:
84    
85    Fixed a bug in the register-spill generator that is part of the MLRISC
86    register allocator. The problem was that the code in RASpillWithRenaming
87    functor assumed incorrectly that dedicated registers would appear in
88    def/use information generated by ClusterRA. Thanks to Allen Leung for
89    helping with this bug.
90    
91    ----------------------------------------------------------------------
92    Name John Reppy (http://cs.uchicago.edu/~jhr)
93    Date 2009/07/09
94    Description:
95    
96    Removed redundant implementations of various top-level operations by
97    consolidating them in base/system/smlnj/init/pervasive.sml.  This
98    change also fixes a bug in that the top-level version of round was
99    incorrect.
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume (http://www.tti-c.org/blume/)
103    Date: 2009/06/15 11:17:00 CDT
104    Description:
105    
106    Bumped version number to 110.70.  New bootfiles.
107    
108    ----------------------------------------------------------------------
109    Name: Matthias Blume (http://www.tti-c.org/blume/)
110    Date: 2009/06/12 11:02:00 CDT
111    Description:
112    
113    1. Corrected problem in config/actions that led to the so-called
114       "unpickling bug" which appeared in version 110.68.
115    
116    2. Provided fix for the 64-bit pattern match bug.
117    
118    ----------------------------------------------------------------------
119    Name John Reppy (http://cs.uchicago.edu/~jhr)
120    Date 2009/03/21
121    Description:
122    
123    Fixed bug in Int32.fmt when the argument was the minimum int and the
124    radix was something other than DEC.
125    
126    ----------------------------------------------------------------------
127    Name Aaron Turon (turon@ccs.neu.edu)
128    Date 2009/02/21
129    Description:
130    
131    Fixed bugs in how ml-antlr parsed ML types in %tokens specifications.
132    
133    ----------------------------------------------------------------------
134    Name: Jon Riehl (http://www.jonriehl.com/)
135    Date: 2009/01/13
136    Description:
137    
138    Picking up some additional fixes for 110.69, including a fix for
139    spaces in CM file paths.
140    
141    ----------------------------------------------------------------------
142    Name: Jon Riehl (http://www.jonriehl.com/)
143    Date: 2008/12/22
144    Description:
145    
146    Version bumped to 110.69.  New bootfiles.
147    
148    ----------------------------------------------------------------------
149    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
150    Date: 2008/12/06
151    Description:
152    
153    Re-enabled some CPS optimizations (first_contract and eta).  The most
154    important effect of this change is to make uses of SMLofNJ.Cont.capture
155    be properly tail recursive.
156    
157    ----------------------------------------------------------------------
158    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
159    Date: 2008/12/03
160    Description:
161    
162    New concurrency-related instructions for x86 and amd64 code
163    generators.
164      - PAUSE: Notify the CPU that the program is spin waiting.
165      - MFENCE: memory fence for reads and writes.
166      - SFENCE: memory fence for writes.
167      - LFENCE: memory fence for reads.
168    
169    ----------------------------------------------------------------------
170    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
171    Date: 2008/12/02
172    Description:
173    
174    Added makefile and other support for building runtime on OpenBSD.
175    
176    ----------------------------------------------------------------------
177    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
178    Date: 2008/08/13
179    Description:
180    
181    Version bumped to 110.68.  New bootfiles.
182    
183    ----------------------------------------------------------------------
184    Name Aaron Turon (turon@ccs.neu.edu)
185    Date 2008/08/11
186    Description:
187    
188    Minor fix to ml-ulex backend for regexps that match any character
189    and perform a single action.  Previously the emitted code would
190    not allow the regexps to match any character at all.
191    
192    ----------------------------------------------------------------------
193    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
194    Date: 2008/08/05
195    Description:
196    
197    Added build support for OpenBSD (thanks to Brian O'Hanlon).
198    
199    ----------------------------------------------------------------------
200    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
201    Date: 2008/07/12
202    Description:
203    
204    Fixed Int64.fromString to use base-10.
205    
206    ----------------------------------------------------------------------
207    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
208    Date: 2008/04/12
209    Description:
210    
211    Various updates to the ml-lpt tree.  The documentation has been updated;
212    bugs in the parsing of negation and character classes in ml-ulex have
213    been fixed; and changes have been made to make the ml-lpt tools more
214    compatible with MLton (and other SML implementations).  Thanks to
215    Matthew Fluet and Aaron Turon for their patches.
216    
217    ----------------------------------------------------------------------
218    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
219    Date: 2008/20/04
220    Description:
221    
222    Implemented timer-based profiling on Windows, with behavior as close
223    to the *nix ITIMER-based profiling as possible.
224    ----------------------------------------------------------------------
225    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
226    Date: 2008/07/04
227    Description:
228    
229    Finished off the Windows subset of the basis library. Added process
230    support and various configuration and system identification utils.
231    ----------------------------------------------------------------------
232    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
233    Date: 2008/03/18
234    Description:
235    
236    Major changes to the RegExp library: see smlnj-lib/CHANGES for details.
237    ----------------------------------------------------------------------
238    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
239    Date: 2008/02/14
240    Description:
241    
242    Added the Windows Status structure
243    ----------------------------------------------------------------------
244    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
245    Date: 2008/02/14
246    Description:
247    
248    Added the Windows DDE structure
249    ----------------------------------------------------------------------
250    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
251    Date: 2008/02/05
252    Description:
253    
254    Added the Windows Config structure
255    ----------------------------------------------------------------------
256    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
257    Date: 2008/01/31
258    Description:
259    
260    Added outline of the Windows basis library and the basic registry
261    functionality.
262    ----------------------------------------------------------------------
263    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
264    Date: 2008/01/23
265    Description:
266    
267    Fixed the amd64 code generator to compile with the current MLRISC.
268    ----------------------------------------------------------------------
269    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
270    Date: 2007/11/26
271    Description:
272    
273    nlffi was updated to work on Windows. It needed to pass in the correct
274    value for the name of the kernel32 DLL to obtain 'base' bindings.
275    Additionally updated the README for the most basic nlffi sample with
276    what you need to do on MacOSX and on Windows to make it work.
277    ----------------------------------------------------------------------
278    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
279    Date: 2007/11/21
280    Description:
281    
282    Overwrite the SMLNJ_HOME environment variable on installation
283    Properly change the package code so that subsequent version
284    installations prompt for uninstall (instead of 'repair/remove')
285    ----------------------------------------------------------------------
286    Name: Lars Bergstrom (larsberg@cs.uchicago.edu)
287    Date: 2007/11/14
288    Description:
289    
290    Cleaned up WININSTALL file for new MSI-based setup.
291    ----------------------------------------------------------------------
292    Name: Matthias Blume (http://www.tti-c.org/blume/)
293    Date: 2007/11/13 14:05:00 CST
294    Description:
295    
296    Version bumped to 110.67.  New bootfiles.
297    
298    ----------------------------------------------------------------------
299    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
300    Date: 2007/11/12
301    Description:
302    
303    Ensure that the size of the allocation space is at least 128K.
304    ----------------------------------------------------------------------
305    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
306    Date: 2007/11/05
307    Description:
308    
309    Fixed type error in ml-lpt library that occurs when compiling
310    against a basis that was compiled with the USE_64_BIT_POSITIONS
311    symbol set.
312    (Thanks to Johannes Joemann)
313    ----------------------------------------------------------------------
314    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
315    Date: 2007/11/03
316    Description:
317    
318    Fixed the amd64 code generator to compile with the current MLRISC.
319    ----------------------------------------------------------------------
320    Name: Lars Bergstrom (web page or e-mail)
321    Date: 2007/11/02
322    Description:
323    
324    Made sml.bat more resilient to either not having run the installer
325    and having no SMLNJ_HOME set or having just shuffled the directory
326    around.
327    ----------------------------------------------------------------------
328    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
329    Date: 2007/11/01
330    Description:
331    
332    A collection of bug fixes for machine.sml in the Reactive library.
333    (Thanks to Timothy Bourke)
334    ----------------------------------------------------------------------
335    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
336    Date: 2007/10/28
337    Description:
338    
339    Patches for Mac OS X 10.5 (Leopard).
340    ----------------------------------------------------------------------
341    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
342    Date: 2007/10/28
343    Description:
344    
345    Fixed some bugs in the AMD64 floating-point spilling code.
346    ----------------------------------------------------------------------
347    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
348    Date: 2007/10/25
349    Description:
350    
351    Added support for the atomic XCHG instruction.
352    ----------------------------------------------------------------------
353    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
354    Date: 2007/10/22
355    Description:
356    
357    Added AMD64 support for floating-point negation.
358    ----------------------------------------------------------------------
359    Name: Lars Bergstrom (web page or e-mail)
360    Date: 2007/10/22
361    Description:
362    
363    Fixed ^C handling in Windows
364    Added a Windows installer
365    Made it possible to build for Windows on a mapped drive from Parallels
366    ----------------------------------------------------------------------
367    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
368    Date: 2007/10/22
369    Description:
370    
371    Added AMD64 support for the atomic fetch and add instruction.
372    ----------------------------------------------------------------------
373    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
374    Date: 2007/10/18
375    Description:
376    
377    The GAS output now favors p2align over align, since the
378    former is guaranteed to be consistent over multiple architectures
379    and the latter is not.
380    ----------------------------------------------------------------------
381    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
382    Date: 2007/10/18
383    Description:
384    
385    Fixed a bug in register spilling.
386    ----------------------------------------------------------------------
387    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
388    Date: 2007/10/2
389    Description:
390    
391    Added demo support for AMD64 for quick testing and fixed support for
392    64-bit label constants.
393    ----------------------------------------------------------------------
394    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
395    Date: 2007/09/20
396    Description:
397    
398    Added support for the MLRISC COND instruction and the x86-64 CMOVCC
399    instruction.
400    ----------------------------------------------------------------------
401    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
402    Date: 2007/09/17
403    Description:
404    
405    Fixed an instruction-selection bug when loading 64-bit labels.
406    
407    ----------------------------------------------------------------------
408    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
409    Date: 2007/09/14
410    Description:
411    
412    Fixed Elaborator and Translate performance bugs
413    
414    ----------------------------------------------------------------------
415    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
416    Date: 2007/09/12
417    Description:
418    
419    Fixed xorl memory argument bug.
420    
421    ----------------------------------------------------------------------
422    Name: George Kuan (http://www.cs.uchicago.edu/~gkuan)
423    Date: 2007/07/27
424    Description:
425    
426    Added f64sgn (for Real64.signBit) as a primop defined
427    in MLRiscGen. signBit(~0.0) not handled correctly.
428    
429    ----------------------------------------------------------------------
430    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
431    Date: 2007/06/21
432    Description:
433    
434    Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream that would incorrectly
435    signal end of stream.
436    
437    ----------------------------------------------------------------------
438    Name: Matthias Blume (http://www.tti-c.org/blume/)
439    Date: 2007/06/12 11:22:00 CDT
440    Description:
441    
442    Eliminated config/allsources.  The information is now drawn directly
443    from config/actions.
444    
445    ----------------------------------------------------------------------
446    Name: Matthias Blume (http://www.tti-c.org/blume/)
447    Date: 2007/06/07 23:30:00 CDT
448    Tag: release-110.65
449    Description:
450    
451    Version 110.65. NEW BOOTFILES!
452    
453    ----------------------------------------------------------------------
454    Name: Matthias Blume (http://www.tti-c.org/blume/)
455    Date: 2007/06/06 21:45:00 CDT
456    Description:
457    
458    - Aaron: fixed a number of bugs in ml-ulex.
459    - Matthias:
460       - added CM control "cm.force-tools"; this is false by default;
461         when set to true, then tools like ml-yacc, ml-lex, ml-ulex, etc.
462         will be forced to run regardless of whether or not their targets
463         are up-to-date
464       - changed installer code so that config/install.sh will re-build
465         heap images for all tools even if those heap images already existed
466    
467    ----------------------------------------------------------------------
468    Name: Matthias Blume (http://www.tti-c.org/blume/)
469    Date: 2007/06/04 21:21:00 CDT
470    Description:
471    
472    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
473    in legacy mode), re-ran the lexer generator on all lex input files
474    and committed the results.
475    
476    This should fix the problem with ckit and nlffi that was reported
477    by Vesa A. Norrman.
478    
479    ----------------------------------------------------------------------
480    Name: Matthias Blume (http://www.tti-c.org/blume/)
481    Date: 2007/05/31 11:40:00 CDT
482    Tag: release-110.64
483    Description:
484    
485    Version 110.64. NEW BOOTFILES!
486    
487    ----------------------------------------------------------------------
488    Name: Dave MacQueen (dbm@cs.uchicago.edu)
489    Date: 2007/05/31 14:55:00 CDT
490    Revision: 2650
491    Description:
492    
493    3rd merge of base from primop-branch-3 into the trunk.
494    Additional bug fixes included:
495    
496     * Timer.cpu_timer, etc. type printing corrected (by making
497         Timer have opaque sig constraint in basis/Implementation/timer.sml)
498     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
499         Stefan Monnier)
500    
501    ----------------------------------------------------------------------
502    Name: Matthias Blume (http://www.tti-c.org/blume/)
503    Date: 2007/05/31 11:40:00 CDT
504    Description:
505    
506    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
507    
508    Also, changed the handling of "no core access":  When translate.sml
509    needs access to a core exception at a time when the core has not
510    been set up yet (this only happens when compiling system/smlnj/init/*),
511    then don't bother generating the corresponding tests.
512    
513    The old scheme was to generate a bogus value to be used in place of
514    the exception.  Unfortunately, that confuses the plambda type checker.
515    Moreover, it does not do any good, because at runtime we don't expect
516    such an exception to be ever raised.  (The code in system/smlnj/init/*
517    has to be written very carefully with this in mind!)
518    
519    ----------------------------------------------------------------------
520    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
521    Date: 2007/05/29
522    Description:
523    
524    Added FSQRT instructions for the AMD64 code generator.
525    
526    ----------------------------------------------------------------------
527    Name: Matthias Blume (http://www.tti-c.org/blume/)
528    Date: 2007/05/29 19:00:00 CDT
529    Description:
530    
531    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
532    with an explicit test for zero division.  This should fixes several
533    regressions and makes it possible for downstream optimization phases
534    to treat these operations as "pure" when they are applied to unsigned
535    operands.
536    
537    ----------------------------------------------------------------------
538    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
539    Date: 2007/05/29
540    Description:
541    
542    Added the new MLRISC code generator for the AMD64.  This version,
543    in contrast to the previous one, uses SSE registers and instructions
544    for all floating-point computations.
545    
546    ----------------------------------------------------------------------
547    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
548    Date: 2007/05/29
549    Description:
550    
551    A number of fixes related to the formatting of dates.  These include fixes
552    for bugs #1415 and #1416.  We also now correctly handle format characters that
553    lie outside the specified set.
554    
555    ----------------------------------------------------------------------
556    Name: Matthias Blume (http://www.tti-c.org/blume/)
557    Date: 2007/05/23 22:30:00 CDT
558    Description:
559    
560    CMB (and CM) now automatically defines the CM "preprocessor" symbol
561    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
562    
563      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
564       CM_SLAVE_MODE is defined in attached slaves while running CM.make
565       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
566       while running CMB.make.  The point is that the single symbol
567       NO_PLUGINS is definde in all three cases.)
568    
569    I changed the three locations within the sources that get compiled
570    during CMB.make where ml-yacc or ml-lex input is processed: When
571    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
572    is bypassed.
573    
574    When bootstrapping new versions of the compiler, there can be
575    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
576    are not available or otherwise not operational.  In this case one can
577    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
578    do so, the following command should be issued at the interactive
579    prompt:
580    
581       #set (CMB.symval "NO_PLUGINS") (SOME 1);
582    
583    A CMB.make with NO_PLUGINS defined relies on the existence of the
584    files that normally would be generated by ml-yacc and ml-lex.
585    (Copies of these files are in the repository.)
586    
587    ----------------------------------------------------------------------
588    Name: David MacQueen (dbm@cs.uchicago.edu)
589    Date: 2007/5/23 17:23:00 CDT
590    Revision: 2603
591    Description:
592    
593    2nd merge of base from primop-branch-3 into the trunk.
594    Additional bug fixes included:
595     Date.scan and Date.fromString fixed;
596     Overloading resolution fixed and some type printing problems corrected.
597    
598    ----------------------------------------------------------------------
599    Name: Matthias Blume (http://www.tti-c.org/blume/)
600    Date: 2007/05/23 09:50:00 CDT
601    Description:
602    
603    Changed the installation mechanism for CM tool plugins.  These are
604    just libaries and now get installed like ordinary libaries.
605    
606    There are now a number of new installation targets that give some
607    fine-grain control over what classes and suffixes are known, and what
608    they will map to.
609    See config/targets for details.
610    
611    The code that caused plugin installation as part of running a
612    tool's "build" script has been removed.  (The build script is for
613    building, not for installing.)
614    
615    ----------------------------------------------------------------------
616    Name: Matthias Blume (http://www.tti-c.org/blume/)
617    Date: 2007/05/22 11:50:00 CDT
618    Description:
619    
620    Added a boolean control named cm.tolerate-tool-failures (env. variable
621    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
622    CM fail if a shell tool reports a non-success exit status.  If
623    the control is set to true, then CM will press on after tool failures
624    in the event that the target files exist (even though they are
625    considered outdated).  Turning the control to true can be useful for
626    bootstrapping.
627    
628    ----------------------------------------------------------------------
629    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
630    Date: 2007/05/19
631    Description:
632    
633    Merge of ml-lpt revisions for 110.64.
634    
635    The name of several ml-lpt-lib modules has changed:
636      Repair        => AntlrRepair
637      StreamPos     => AntlrStreamPos
638      ErrHandlerFn  => AntlrErrHandler
639      EBNF          => AntlrEBNF
640    
641    The ml-antlr specification format has changed: declarations such as
642    %tokens and nonterminal definitions can occur *multiple* times in the
643    same specification.  The semantics are such that each new declaration
644    extends the previous ones.  This does not apply to %start or %name,
645    of course.
646    
647    Importing a grammar via %import now includes *all* declarations in from
648    the imported grammar, except for %name, %entry, and %start.  Tokens
649    and nonterminals can be dropped using the new %dropping clause of the
650    %import directive; the separate %drop and %extend have been removed.
651    
652    We now allow optional type annotations on nonterminals, using the %nonterms
653    directive as in ml-yacc.
654    
655    The refcell construct is now implemented using SML's regular reference
656    cells, so the :== and !! notation has been deprecated.
657    
658    The ml-antlr tool now does much more checking of specifications, and
659    its error messages have been greatly improved.  Error repair for
660    generated parsers has been completely rewritten, and is now both
661    much faster and more accurate.
662    
663    ml-ulex is now more lenient with escape codes (non-SML-standard
664    escape codes are now interpreted literally, so e.g. \| denotes "|").
665    Also, character classes may now include a "-" character at the beginning
666    as is standard in most other regexp tools.
667    
668    All of these changes are documented in the user guide, which has
669    been updated and improved with this merge.
670    
671    ----------------------------------------------------------------------
672    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
673    Date: 2007/05/03
674    Revision: r2492
675    Description:
676    
677    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
678    Significant changes in FLINT and the front end, mostly having to do
679    with a reorganized system for handling primops.  Various bug fixes
680    and improvements in printing signatures.
681    
682    ----------------------------------------------------------------------
683    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
684    Date: 2007/05/02
685    Description:
686    
687    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
688    The ml-antlr specification format has changed: declarations such as
689    %tokens and nonterminal definitions can occur *multiple* times in the
690    same specification.  The semantics are such that each new declaration
691    extends the previous ones.  Grammar extension constructs have also
692    changed.  We now allow type annotations on nonterminals.  Finally,
693    the refcell construct is now implemented using SML's regular reference
694    cells, so the :== and !! notation has been deprecated.  All of these
695    changes will appear in the 110.64 user guide for ml-lpt.
696    
697    The ml-antlr tool now does much more checking of specifications, and
698    its error messages have been greatly improved.  There has also been
699    some work on the error repair process for generated parsers, but this
700    will be further improved in 110.64.
701    
702    ----------------------------------------------------------------------
703    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
704    Date: 2007/04/24
705    Description:
706    
707    More Basis fixes: The Char.fromString (etc.) functions did not handle
708    the "\uxxxx" escape sequence.  There is still an outstanding bug with
709    String.fromString the tail is a format escape.  I added a comment to
710    this effect in Basis/Implementation/string.sml.
711    Thanks to Andreas Rossberg.
712    
713    ----------------------------------------------------------------------
714    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
715    Date: 2007/04/24
716    Description:
717    
718    Added next function to Fifo and Queue modules in the SML/NJ Library.
719    
720    ----------------------------------------------------------------------
721    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
722    Date: 2007/04/23
723    Description:
724    
725    More Basis fixes: Time.fmt dropped the leading "~" for negative time
726    values that had no whole part.
727    
728    ----------------------------------------------------------------------
729    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
730    Date: 2007/04/23
731    Description:
732    
733    More Basis fixes: the OS.Path module did not include the InvalidArc
734    exception and did not do sufficient argument checking.
735    Thanks to Stephen Weeks and Adam Chilpala.
736    
737    ----------------------------------------------------------------------
738    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
739    Date: 2007/04/16
740    Description:
741    
742    Fixed an unbound functor bug in the AMD64 CM file.
743    
744    ----------------------------------------------------------------------
745    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
746    Date: 2007/04/12
747    Description:
748    
749    Substantially changed the signature and implementation of AMD64
750    SVID.  It now looks similar to the ia32 SVID, yet uses staged
751    allocation.
752    
753    ----------------------------------------------------------------------
754    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
755    Date: 2007/04/07
756    Description:
757    
758    More Basis fixes: the WORD signature was missing {to,from}Large.
759    Thanks to Andreas Rossberg.
760    
761    ----------------------------------------------------------------------
762    Name: Matthias Blume (http://www.tti-c.org/blume/)
763    Date: 2007/03/22 16:07:00 CDT
764    Tag: release-110.63
765    Description:
766    
767    Bumped version number to 110.63.
768    
769       !!!NEW BOOTFILES!!!
770    
771    ----------------------------------------------------------------------
772    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
773    Date: 2007/03/19
774    Description:
775    
776    Fixed bogus operand sizes in AMD64 instruction spilling.
777    
778    ----------------------------------------------------------------------
779    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
780    Date: 2007/03/19
781    Description:
782    
783    Fixed a number of inconsistencies between the Posix.TTY structure
784    and the Basis specification.  Thanks to Adam Chilpala.
785    
786    ----------------------------------------------------------------------
787    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
788    Date: 2007/02/26
789    Description:
790    
791    Added preliminary support in MLRISC for Staged Allocation, a technique
792    for specifying calling conventions (see
793    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html).
794    Initially, we plan to use this code to generate C calls for the AMD64.
795    
796    The staged allocation code base resides in MLRISC/staged-allocation,
797    and specialized calling conventions go in MLRISC/ARCH/staged-allocation.
798    
799    ----------------------------------------------------------------------
800    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
801    Date: 2007/02/20
802    Description:
803    
804      Bug fix: when SaveCState was called with two values to save, a subsequent
805      GC could cause the RestoreCState to fail because the saved state had been
806      promoted to tagless pair.
807    
808    ----------------------------------------------------------------------
809    Name: Allen Leung (leunga (at) reservoir (dot) com)
810    Date: 2007/02/20 19:08:00 EST
811    Description:
812    
813        Bug triggered by:
814    
815        val a1 = Word8Array.array(a1, 0w0);
816        val _  = Word8Array.update(a1, 0, 0w128);
817    
818        x86MCEmitter crashed when the immediate operand to MOVB was outside
819    of the range -128 ... 127.  I've changed the code so that the range
820    check is disabled.   Only the low order 8 bits of the immediate operand
821    are now significant.
822    
823    
824    ----------------------------------------------------------------------
825    Name: Matthias Blume (http://www.tti-c.org/blume/)
826    Date: 2007/02/15 09:20:00 CST
827    Description:
828    
829    Eliminated any mention of lexgen.  (Lexgen was an early precursor
830    to ml-ulex.)
831    
832    You should update your admin directory, so the shell scripts for
833    maintaining your local copy of the repository reflect this change.
834    
835    ----------------------------------------------------------------------
836    Name: Matthias Blume (http://www.tti-c.org/blume/)
837    Date: 2007/02/14 15:45:00 CST
838    Description:
839    
840    Fixed bug in CM's parallel make facility that failed to have
841    the master re-link modules after letting slaves compile them.
842    
843    ----------------------------------------------------------------------
844    Name: Matthias Blume (http://www.tti-c.org/blume/)
845    Date: 2007/02/12 15:10:00 CST
846    Description:
847    
848    Fixed typo in ml-build script that prevented library anchors
849    from being registered.
850    
851    ----------------------------------------------------------------------
852    Name: Matthias Blume (http://www.tti-c.org/blume/)
853    Date: 2007/02/02 15:20:00 CST
854    Tag: release-110.62
855    Description:
856    
857    New working release (110.62).  NEW BOOTFILES!
858    
859    ----------------------------------------------------------------------
860    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
861    Date: 2007/01/31
862    Description:
863    
864    Brought ml-lpt manual up-to-date with the code.  Many minor
865    improvements to the tools, and a few minor bugfixes.  Prepared
866    ml-lpt-lib for integration with new UTF8 structure.  Changed
867    the interface for creating streams in ml-ulex (we now support
868    stream creation from several kinds of sources).  Overall, the
869    tools are now quite stable, and their interfaces are unlikely to
870    change in a way that would break compatibility.  More work,
871    however, is needed in the documentation.
872    
873    ----------------------------------------------------------------------
874    Name: Matthias Blume (http://www.tti-c.org/blume/)
875    Date: 2007/02/01 10:05:00 CST
876    Description:
877    
878    Implemented library installer.  Moved CM plugin code for
879    ml-burg, ml-lex, and ml-yacc out of CM source tree and into
880    their respective trees.  Implemented CM plugin for ml-ulex
881    and ml-antlr.  Used library installer for ml-burg, ml-ulex,
882    and ml-antlr.
883    
884    For ml-yacc and ml-lex we continue to have permanently "plugged-in"
885    CM tools.  (It turns out to be too messy to do otherwise because
886    there is too much code that during installation relies on the presence
887    of these tools -- resulting in a tricky ordering problem.)
888    
889    ----------------------------------------------------------------------
890    Name: Matthias Blume (http://www.tti-c.org/blume/)
891    Date: 2007/01/30 11:05:00 CST
892    Description:
893    
894    Added SMLofNJ.shiftArgs which is like a shell's "shift" command.
895    Modified CM's startup code to use shiftArgs as it processes
896    command line arguments.  This way, the init code in each .sml-file
897    or library that is mentioned at the top level will see only
898    those arguments that have not yet been processed at this point.
899    In other words, the init code can "seize control" and process the
900    remaining command line.
901    
902    ----------------------------------------------------------------------
903    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
904    Date: 2007/01/30
905    Description:
906    
907    Added fromList function to the ORD_SET interface and lookup to the
908    ORD_MAP interface.  See the SML/NJ Library CHANGES file for details.
909    
910    ----------------------------------------------------------------------
911    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
912    Date: 2007/01/28
913    Description:
914    
915    Added the UTF8 structure and signature from the Moby compiler to
916    the SML/NJ library (and the CML library).  These modules will replace
917    the version in the ml-lpt-lib.
918    
919    ----------------------------------------------------------------------
920    Name: Matthias Blume (http://www.tti-c.org/blume/)
921    Date: 2007/01/26 15:10:00 CST
922    Description:
923    
924    Added entries to handle ml-lpt-lib.cm in installer.
925    
926    ----------------------------------------------------------------------
927    Name: Matthias Blume (http://www.tti-c.org/blume/)
928    Date: 2006/12/15 11:10:00 CST
929    Tag: release-110.61
930    Description:
931    
932    New working release (110.61).  NEW BOOTFILES!
933    
934    This supersedes the pre-brown-paper-bug release (see below).
935    
936    ----------------------------------------------------------------------
937    Name: Matthias Blume (http://www.tti-c.org/blume/)
938    Date: 2006/12/15 11:00:00 CST
939    Description:
940    
941    Fixed brown-paper-bag bug with CM's pathname handling, which made
942    installation fail under Win32.
943    
944    ----------------------------------------------------------------------
945    Name: Matthias Blume (http://www.tti-c.org/blume/)
946    Date: 2006/12/14 12:00:00 CST
947    Description:
948    
949    Obsolete!
950    
951    [New working release (110.61).  NEW BOOTFILES!]
952    
953    ----------------------------------------------------------------------
954    Name: John Reppy (http://cs.uchicago.edu/~jhr)
955    Date: 2006/14/06 09:50:00 CST
956    Description:
957    
958    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
959    get the c_cc termios data copied correctly.  Also moved the allocation
960    of the string to avoid problems if it caused a GC.
961    
962    Thanks to Timothy Bourke for the bug report and fix.
963    
964    ----------------------------------------------------------------------
965    Name: Matthias Blume (http://www.tti-c.org/blume)
966    Date: 2006/12/08 09:50:00 CST
967    Description:
968    
969    Added code to CM's "standard shell tool" implementation which
970    causes it to tolerate (with a warning) the situation where the shell
971    command fails (e.g., due to the shell command's non-existence)
972    as long as all target files exist.
973    
974    This makes it possible to, e.g., build ml-yacc from sources even if
975    svn checkout messed up the time stamps on files in such a way that
976    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
977    be needed to re-process yacc.grm, but obviously it might not yet be
978    available at that time.)
979    
980    ----------------------------------------------------------------------
981    Name: John Reppy (http://cs.uchicago.edu/~jhr)
982    Date: 2006/12/06 12:06:00 CST
983    Description:
984    
985    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
986    recvVecFromNB' in the SOCKET signature.  This error is actually
987    in the SML Basis specification too.
988    
989    ----------------------------------------------------------------------
990    Name: Matthias Blume (http://www.tti-c.org/blume/)
991    Date: 2006/12/05 22:40:00 CST
992    Description:
993    
994    CM now reports undefined anchors as errors and aborts execution
995    rather than silently pressing on using bogus values.
996    
997    ----------------------------------------------------------------------
998    Name: Matthias Blume (http://www.tti-c.org/blume/)
999    Date: 2006/11/29 10:00:00 CST
1000    Description:
1001    
1002    Use Say.vsay for printing the "[autoloading]" message, so
1003    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
1004    to suppress them.
1005    
1006    ----------------------------------------------------------------------
1007    Name: Matthias Blume (http://www.tti-c.org/blume/)
1008    Date: 2006/11/10 11:00:00 CST
1009    Description:
1010    
1011    Fixed bug in CM where "with:" specifications that affect compilation
1012    (as opposed to parsing) were ignored.
1013    
1014    ----------------------------------------------------------------------
1015    Name: Matthias Blume (http://www.tti-c.org/blume/)
1016    Date: 2006/11/09 14:30:00 CST
1017    Tag: release-110.60
1018    Description:
1019    
1020    New working release (110.60).  NEW BOOTFILES!
1021    
1022    This is the first subversion-hosted release.  There are also changes
1023    to the directory layout.  Here is a table:
1024    
1025    (All pathnames are relative to the SML/NJ "root" directory.)
1026    
1027      config -> config
1028    
1029      src/cm -> base/cm
1030      src/compiler -> base/compiler
1031      src/runtime -> base/runtime
1032      src/system -> base/system
1033    
1034      src/cm/pgraph -> pgraph
1035    
1036      src/READMES -> base/READMES
1037      src/$notefile -> base/NOTES/$notefile
1038         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
1039                           MACOSXINSTALL WININSTALL
1040    
1041      src/smlnj-lib -> smlnj-lib
1042      src/MLRISC -> MLRISC
1043      ckit -> ckit
1044      src/cml -> cml
1045      src/eXene -> eXene
1046      src/heap2asm -> heap2asm
1047      src/lexgen -> lexgen
1048      src/ml-burg -> ml-burg
1049      src/ml-lex -> ml-lex
1050      src/ml-yacc -> ml-yacc
1051      src/ml-nlffi-lib -> nlffi/lib
1052      src/ml-nlffigen -> nlffi/gen
1053      src/smlnj-c -> smlnj-c
1054      src/tools/TraceDebugProf -> trace-debug-profile
1055    
1056    In addition, there is also a new
1057    
1058      ml-lpt
1059    
1060    directory containing two new program generator tools: ml-ulex and
1061    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
1062    LL(k) parser generator). These tools are currently "beta-quality"
1063    
1064    The latest versios of the sources can now be obtained anonymously
1065    via subversion.  For this, it is useful to first check out
1066    
1067       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
1068    
1069    and put the resulting directory on your shell's PATH.  This provides
1070    access to three shell scripts: checkout-all.sh, stat-all.sh,
1071    and refresh-all.sh.
1072    
1073    To create a freshly checked-out copy of the sources, do
1074    
1075       checkout-all.sh [dir]
1076    
1077    where dir is the optional SML/NJ root directory (default is ".").
1078    
1079    This creates the above directory layout.  Each subdirectory of
1080    the root is under individual subversion control.  The stat-all.sh
1081    and refresh-al.sh scripts apply "svn stat" or "svn update" to
1082    each of these subtrees.
1083    
1084    ----------------------------------------------------------------------
1085    Name: Matthias Blume (http://www.tti-c.org/blume/)
1086    Date: 2006/11/02 12:20:00 CST
1087    Description:
1088    
1089    Reorganized directory layout.
1090    
1091    This is a temporary solution, more reorganization is to come.
1092    
1093    The basic idea is to have a number of toplevel trees, each corresponding
1094    to a well-defined part of the overall system.  Each part can be
1095    maintained individually, even in separate source repositories,
1096    although currently we still serve everything out of the main
1097    smlnj-gforge tree.
1098    
1099    Installer and and scripts have been updated to reflect the new
1100    layout.  The installer (base/src/system/smlnj/installer) is now
1101    "scriptable" to avoid burning too much knowledge about the
1102    layout into SML source code.  The main script used by the installer
1103    is in config/actions.
1104    
1105    The main change is that many of the subdirectories of what used to
1106    be known as "src" have moved to the toplevel.  The "src" directory
1107    itself has moved down into a subtree called "base".  (We may eventually
1108    get rid of the extra level of indirection represented by "src".)
1109    
1110    The layout is now as follows:
1111    
1112      toplevel tree name | default repository
1113                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
1114      -------------------+----------------------------------------------------
1115      config             | $gf/config/trunk
1116                         |
1117      base               | $gf/sml/trunk
1118                         |
1119      smlnj-lib          | $gf/smlnj-lib/trunk
1120      MLRISC             | $gf/MLRISC/trunk
1121                         |
1122      ml-yacc            | $gf/ml-yacc/trunk
1123      ml-lex             | $gf/ml-lex/trunk
1124      ml-burg            | $gf/ml-burg/trunk
1125      lexgen             | $gf/lexgen/trunk
1126      heap2asm           | $gf/heap2asm/trunk
1127                         |
1128      cml                | $gf/cml/trunk
1129      eXene              | $gf/eXene/trunk
1130      ckit               | $gf/ckit/trunk
1131      nlffi              | $gf/nlffi/trunk
1132                         |
1133      smlnj-c            | $gf/smlnj-c/trunk
1134    
1135    In $gf/admin there are a few useful shell scripts for checking out
1136    and maintaining the entire collection of trees:
1137    
1138       admin/checkout-all.sh [dir]
1139          -- optionally creates dir and checks out all trees from their
1140             default repositories; if dir is missing, checkout into .
1141       admin/refresh-all.sh [dir]
1142          -- looks at all trees (from the above list) in dir (default: .)
1143             and runs "svn update" if the tree exists and is under
1144             subversion control;
1145             non-existing or non-subversion trees are skipped
1146       admin/stat-all.sh [dir]
1147          -- like refresh-all.sh, but runs "svn stat" instead
1148    
1149    ----------------------------------------------------------------------
1150    Name: Matthias Blume (http://www.tti-c.org/blume/)
1151    Date: 2006/10/05 11:30:00 CDT
1152    Tag: blume-20061005-merge-amd64
1153    Description:
1154    
1155    Merged code for AMD64 backend (Mike Rainey's work).
1156    Everything is hooked up but untested.
1157    
1158  ----------------------------------------------------------------------  ----------------------------------------------------------------------
1159  Name: Matthias Blume (http://www.tti-c.org/blume/)  Name: Matthias Blume (http://www.tti-c.org/blume/)
1160  Date: 2006/05/17 14:00:00 CST  Date: 2006/05/17 14:00:00 CST
1161  Tag: Release_110_59  Tag: Release_110_59
1162  Description:  Description:
1163    
1164  New working version (110.58).  NEW BOOTFILES!  New working version (110.59).  NEW BOOTFILES!
1165    
1166  I am freezing 110.59.  Changes other than the version-number increase:  I am freezing 110.59.  Changes other than the version-number increase:
1167    

Legend:
Removed from v.1931  
changed lines
  Added in v.3467

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