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 2688, Tue Jun 5 02:23:15 2007 UTC
# Line 14  Line 14 
14  Description:  Description:
15    
16  ----------------------------------------------------------------------  ----------------------------------------------------------------------
17    Name: Matthias Blume (http://www.tti-c.org/blume/)
18    Date: 2007/06/04 21:21:00 CDT
19    Description:
20    
21    After Aaron Turon's bug fix for ml-ulex (handling the ^ character
22    in legacy mode), re-ran the lexer generator on all lex input files
23    and committed the results.
24    
25    This should fix the problem with ckit and nlffi that was reported
26    by Vesa A. Norrman.
27    
28    ----------------------------------------------------------------------
29    Name: Matthias Blume (http://www.tti-c.org/blume/)
30    Date: 2007/05/31 11:40:00 CDT
31    Tag: release-110.64
32    Description:
33    
34    Version 110.64. NEW BOOTFILES!
35    
36    ----------------------------------------------------------------------
37    Name: Dave MacQueen (dbm@cs.uchicago.edu)
38    Date: 2007/05/31 14:55:00 CDT
39    Revision: 2650
40    Description:
41    
42    3rd merge of base from primop-branch-3 into the trunk.
43    Additional bug fixes included:
44    
45     * Timer.cpu_timer, etc. type printing corrected (by making
46         Timer have opaque sig constraint in basis/Implementation/timer.sml)
47     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
48         Stefan Monnier)
49    
50    ----------------------------------------------------------------------
51    Name: Matthias Blume (http://www.tti-c.org/blume/)
52    Date: 2007/05/31 11:40:00 CDT
53    Description:
54    
55    Fixed some bugs in new Div code in FLINT/trans/translate.sml.
56    
57    Also, changed the handling of "no core access":  When translate.sml
58    needs access to a core exception at a time when the core has not
59    been set up yet (this only happens when compiling system/smlnj/init/*),
60    then don't bother generating the corresponding tests.
61    
62    The old scheme was to generate a bogus value to be used in place of
63    the exception.  Unfortunately, that confuses the plambda type checker.
64    Moreover, it does not do any good, because at runtime we don't expect
65    such an exception to be ever raised.  (The code in system/smlnj/init/*
66    has to be written very carefully with this in mind!)
67    
68    ----------------------------------------------------------------------
69    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
70    Date: 2007/05/29
71    Description:
72    
73    Added FSQRT instructions for the AMD64 code generator.
74    
75    ----------------------------------------------------------------------
76    Name: Matthias Blume (http://www.tti-c.org/blume/)
77    Date: 2007/05/29 19:00:00 CDT
78    Description:
79    
80    FLINT/trans/translate.sml now wraps all DIV/MOD/QUOT/REM operations
81    with an explicit test for zero division.  This should fixes several
82    regressions and makes it possible for downstream optimization phases
83    to treat these operations as "pure" when they are applied to unsigned
84    operands.
85    
86    ----------------------------------------------------------------------
87    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
88    Date: 2007/05/29
89    Description:
90    
91    Added the new MLRISC code generator for the AMD64.  This version,
92    in contrast to the previous one, uses SSE registers and instructions
93    for all floating-point computations.
94    
95    ----------------------------------------------------------------------
96    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
97    Date: 2007/05/29
98    Description:
99    
100    A number of fixes related to the formatting of dates.  These include fixes
101    for bugs #1415 and #1416.  We also now correctly handle format characters that
102    lie outside the specified set.
103    
104    ----------------------------------------------------------------------
105    Name: Matthias Blume (http://www.tti-c.org/blume/)
106    Date: 2007/05/23 22:30:00 CDT
107    Description:
108    
109    CMB (and CM) now automatically defines the CM "preprocessor" symbol
110    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
111    
112      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
113       CM_SLAVE_MODE is defined in attached slaves while running CM.make
114       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
115       while running CMB.make.  The point is that the single symbol
116       NO_PLUGINS is definde in all three cases.)
117    
118    I changed the three locations within the sources that get compiled
119    during CMB.make where ml-yacc or ml-lex input is processed: When
120    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
121    is bypassed.
122    
123    When bootstrapping new versions of the compiler, there can be
124    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
125    are not available or otherwise not operational.  In this case one can
126    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
127    do so, the following command should be issued at the interactive
128    prompt:
129    
130       #set (CMB.symval "NO_PLUGINS") (SOME 1);
131    
132    A CMB.make with NO_PLUGINS defined relies on the existence of the
133    files that normally would be generated by ml-yacc and ml-lex.
134    (Copies of these files are in the repository.)
135    
136    ----------------------------------------------------------------------
137    Name: David MacQueen (dbm@cs.uchicago.edu)
138    Date: 2007/5/23 17:23:00 CDT
139    Revision: 2603
140    Description:
141    
142    2nd merge of base from primop-branch-3 into the trunk.
143    Additional bug fixes included:
144     Date.scan and Date.fromString fixed;
145     Overloading resolution fixed and some type printing problems corrected.
146    
147    ----------------------------------------------------------------------
148    Name: Matthias Blume (http://www.tti-c.org/blume/)
149    Date: 2007/05/23 09:50:00 CDT
150    Description:
151    
152    Changed the installation mechanism for CM tool plugins.  These are
153    just libaries and now get installed like ordinary libaries.
154    
155    There are now a number of new installation targets that give some
156    fine-grain control over what classes and suffixes are known, and what
157    they will map to.
158    See config/targets for details.
159    
160    The code that caused plugin installation as part of running a
161    tool's "build" script has been removed.  (The build script is for
162    building, not for installing.)
163    
164    ----------------------------------------------------------------------
165    Name: Matthias Blume (http://www.tti-c.org/blume/)
166    Date: 2007/05/22 11:50:00 CDT
167    Description:
168    
169    Added a boolean control named cm.tolerate-tool-failures (env. variable
170    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
171    CM fail if a shell tool reports a non-success exit status.  If
172    the control is set to true, then CM will press on after tool failures
173    in the event that the target files exist (even though they are
174    considered outdated).  Turning the control to true can be useful for
175    bootstrapping.
176    
177    ----------------------------------------------------------------------
178    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
179    Date: 2007/05/19
180    Description:
181    
182    Merge of ml-lpt revisions for 110.64.
183    
184    The name of several ml-lpt-lib modules has changed:
185      Repair        => AntlrRepair
186      StreamPos     => AntlrStreamPos
187      ErrHandlerFn  => AntlrErrHandler
188      EBNF          => AntlrEBNF
189    
190    The ml-antlr specification format has changed: declarations such as
191    %tokens and nonterminal definitions can occur *multiple* times in the
192    same specification.  The semantics are such that each new declaration
193    extends the previous ones.  This does not apply to %start or %name,
194    of course.
195    
196    Importing a grammar via %import now includes *all* declarations in from
197    the imported grammar, except for %name, %entry, and %start.  Tokens
198    and nonterminals can be dropped using the new %dropping clause of the
199    %import directive; the separate %drop and %extend have been removed.
200    
201    We now allow optional type annotations on nonterminals, using the %nonterms
202    directive as in ml-yacc.
203    
204    The refcell construct is now implemented using SML's regular reference
205    cells, so the :== and !! notation has been deprecated.
206    
207    The ml-antlr tool now does much more checking of specifications, and
208    its error messages have been greatly improved.  Error repair for
209    generated parsers has been completely rewritten, and is now both
210    much faster and more accurate.
211    
212    ml-ulex is now more lenient with escape codes (non-SML-standard
213    escape codes are now interpreted literally, so e.g. \| denotes "|").
214    Also, character classes may now include a "-" character at the beginning
215    as is standard in most other regexp tools.
216    
217    All of these changes are documented in the user guide, which has
218    been updated and improved with this merge.
219    
220    ----------------------------------------------------------------------
221    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
222    Date: 2007/05/03
223    Revision: r2492
224    Description:
225    
226    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
227    Significant changes in FLINT and the front end, mostly having to do
228    with a reorganized system for handling primops.  Various bug fixes
229    and improvements in printing signatures.
230    
231    ----------------------------------------------------------------------
232    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
233    Date: 2007/05/02
234    Description:
235    
236    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
237    The ml-antlr specification format has changed: declarations such as
238    %tokens and nonterminal definitions can occur *multiple* times in the
239    same specification.  The semantics are such that each new declaration
240    extends the previous ones.  Grammar extension constructs have also
241    changed.  We now allow type annotations on nonterminals.  Finally,
242    the refcell construct is now implemented using SML's regular reference
243    cells, so the :== and !! notation has been deprecated.  All of these
244    changes will appear in the 110.64 user guide for ml-lpt.
245    
246    The ml-antlr tool now does much more checking of specifications, and
247    its error messages have been greatly improved.  There has also been
248    some work on the error repair process for generated parsers, but this
249    will be further improved in 110.64.
250    
251    ----------------------------------------------------------------------
252    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
253    Date: 2007/05/03
254    Revision: r2492
255    Description:
256    
257    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
258    Significant changes in FLINT and the front end, mostly having to do
259    with a reorganized system for handling primops.  Various bug fixes
260    and improvements in printing signatures.
261    
262    ----------------------------------------------------------------------
263    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
264    Date: 2007/05/02
265    Description:
266    
267    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
268    The ml-antlr specification format has changed: declarations such as
269    %tokens and nonterminal definitions can occur *multiple* times in the
270    same specification.  The semantics are such that each new declaration
271    extends the previous ones.  Grammar extension constructs have also
272    changed.  We now allow type annotations on nonterminals.  Finally,
273    the refcell construct is now implemented using SML's regular reference
274    cells, so the :== and !! notation has been deprecated.  All of these
275    changes will appear in the 110.64 user guide for ml-lpt.
276    
277    The ml-antlr tool now does much more checking of specifications, and
278    its error messages have been greatly improved.  There has also been
279    some work on the error repair process for generated parsers, but this
280    will be further improved in 110.64.
281    
282    ----------------------------------------------------------------------
283    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
284    Date: 2007/04/24
285    Description:
286    
287    More Basis fixes: The Char.fromString (etc.) functions did not handle
288    the "\uxxxx" escape sequence.  There is still an outstanding bug with
289    String.fromString the tail is a format escape.  I added a comment to
290    this effect in Basis/Implementation/string.sml.
291    Thanks to Andreas Rossberg.
292    
293    ----------------------------------------------------------------------
294    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
295    Date: 2007/04/24
296    Description:
297    
298    Added next function to Fifo and Queue modules in the SML/NJ Library.
299    
300    ----------------------------------------------------------------------
301    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
302    Date: 2007/04/23
303    Description:
304    
305    More Basis fixes: Time.fmt dropped the leading "~" for negative time
306    values that had no whole part.
307    
308    ----------------------------------------------------------------------
309    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
310    Date: 2007/04/23
311    Description:
312    
313    More Basis fixes: the OS.Path module did not include the InvalidArc
314    exception and did not do sufficient argument checking.
315    Thanks to Stephen Weeks and Adam Chilpala.
316    
317    ----------------------------------------------------------------------
318    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
319    Date: 2007/04/16
320    Description:
321    
322    Fixed an unbound functor bug in the AMD64 CM file.
323    
324    ----------------------------------------------------------------------
325    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
326    Date: 2007/04/12
327    Description:
328    
329    Substantially changed the signature and implementation of AMD64
330    SVID.  It now looks similar to the ia32 SVID, yet uses staged
331    allocation.
332    
333    ----------------------------------------------------------------------
334  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
335  Date: 2007/04/07  Date: 2007/04/07
336  Description:  Description:

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

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