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

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

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