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

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

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