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

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

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