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

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

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