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

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

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