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 2610, Thu May 24 03:37:09 2007 UTC
# Line 14  Line 14 
14  Description:  Description:
15    
16  ----------------------------------------------------------------------  ----------------------------------------------------------------------
17    Name: Matthias Blume (http://www.tti-c.org/blume/)
18    Date: 2007/05/23 22:30:00 CDT
19    Description:
20    
21    CMB (and CM) now automatically defines the CM "preprocessor" symbol
22    NO_PLUGINS during "makeml -rebuild" or when CM operates in "slave" mode.
23    
24      (In addition, CMB_REBUILD_MODE is defined for makeml -rebuild,
25       CM_SLAVE_MODE is defined in attached slaves while running CM.make
26       or CM.rebuild, and CMB_SLAVE_MODE is defined in attached slaves
27       while running CMB.make.  The point is that the single symbol
28       NO_PLUGINS is definde in all three cases.)
29    
30    I changed the three locations within the sources that get compiled
31    during CMB.make where ml-yacc or ml-lex input is processed: When
32    NO_PLUGINS defined, then the use of the mlyacc and mllex tools
33    is bypassed.
34    
35    When bootstrapping new versions of the compiler, there can be
36    situations where the plugin tools for ml-yacc and ml-lex (or ml-ulex)
37    are not available or otherwise not operational.  In this case one can
38    manually define the NO_PLUGINS symbol prior to running CMB.make().  To
39    do so, the following command should be issued at the interactive
40    prompt:
41    
42       #set (CMB.symval "NO_PLUGINS") (SOME 1);
43    
44    A CMB.make with NO_PLUGINS defined relies on the existence of the
45    files that normally would be generated by ml-yacc and ml-lex.
46    (Copies of these files are in the repository.)
47    
48    ----------------------------------------------------------------------
49    Name: David MacQueen (dbm@cs.uchicago.edu)
50    Date: 2007/5/23 17:23:00 CDT
51    Revision: 2603
52    Description:
53    
54    2nd merge of base from primop-branch-3 into the trunk.
55    Additional bug fixes included:
56     Date.scan and Date.fromString fixed;
57     Overloading resolution fixed and some type printing problems corrected.
58    
59    ----------------------------------------------------------------------
60    Name: Matthias Blume (http://www.tti-c.org/blume/)
61    Date: 2007/05/23 09:50:00 CDT
62    Description:
63    
64    Changed the installation mechanism for CM tool plugins.  These are
65    just libaries and now get installed like ordinary libaries.
66    
67    There are now a number of new installation targets that give some
68    fine-grain control over what classes and suffixes are known, and what
69    they will map to.
70    See config/targets for details.
71    
72    The code that caused plugin installation as part of running a
73    tool's "build" script has been removed.  (The build script is for
74    building, not for installing.)
75    
76    ----------------------------------------------------------------------
77    Name: Matthias Blume (http://www.tti-c.org/blume/)
78    Date: 2007/05/22 11:50:00 CDT
79    Description:
80    
81    Added a boolean control named cm.tolerate-tool-failures (env. variable
82    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
83    CM fail if a shell tool reports a non-success exit status.  If
84    the control is set to true, then CM will press on after tool failures
85    in the event that the target files exist (even though they are
86    considered outdated).  Turning the control to true can be useful for
87    bootstrapping.
88    
89    ----------------------------------------------------------------------
90    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
91    Date: 2007/05/19
92    Description:
93    
94    Merge of ml-lpt revisions for 110.64.
95    
96    The name of several ml-lpt-lib modules has changed:
97      Repair        => AntlrRepair
98      StreamPos     => AntlrStreamPos
99      ErrHandlerFn  => AntlrErrHandler
100      EBNF          => AntlrEBNF
101    
102    The ml-antlr specification format has changed: declarations such as
103    %tokens and nonterminal definitions can occur *multiple* times in the
104    same specification.  The semantics are such that each new declaration
105    extends the previous ones.  This does not apply to %start or %name,
106    of course.
107    
108    Importing a grammar via %import now includes *all* declarations in from
109    the imported grammar, except for %name, %entry, and %start.  Tokens
110    and nonterminals can be dropped using the new %dropping clause of the
111    %import directive; the separate %drop and %extend have been removed.
112    
113    We now allow optional type annotations on nonterminals, using the %nonterms
114    directive as in ml-yacc.
115    
116    The refcell construct is now implemented using SML's regular reference
117    cells, so the :== and !! notation has been deprecated.
118    
119    The ml-antlr tool now does much more checking of specifications, and
120    its error messages have been greatly improved.  Error repair for
121    generated parsers has been completely rewritten, and is now both
122    much faster and more accurate.
123    
124    ml-ulex is now more lenient with escape codes (non-SML-standard
125    escape codes are now interpreted literally, so e.g. \| denotes "|").
126    Also, character classes may now include a "-" character at the beginning
127    as is standard in most other regexp tools.
128    
129    All of these changes are documented in the user guide, which has
130    been updated and improved with this merge.
131    
132    ----------------------------------------------------------------------
133    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
134    Date: 2007/05/03
135    Revision: r2492
136    Description:
137    
138    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
139    Significant changes in FLINT and the front end, mostly having to do
140    with a reorganized system for handling primops.  Various bug fixes
141    and improvements in printing signatures.
142    
143    ----------------------------------------------------------------------
144    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
145    Date: 2007/05/02
146    Description:
147    
148    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
149    The ml-antlr specification format has changed: declarations such as
150    %tokens and nonterminal definitions can occur *multiple* times in the
151    same specification.  The semantics are such that each new declaration
152    extends the previous ones.  Grammar extension constructs have also
153    changed.  We now allow type annotations on nonterminals.  Finally,
154    the refcell construct is now implemented using SML's regular reference
155    cells, so the :== and !! notation has been deprecated.  All of these
156    changes will appear in the 110.64 user guide for ml-lpt.
157    
158    The ml-antlr tool now does much more checking of specifications, and
159    its error messages have been greatly improved.  There has also been
160    some work on the error repair process for generated parsers, but this
161    will be further improved in 110.64.
162    
163    ----------------------------------------------------------------------
164    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
165    Date: 2007/05/03
166    Revision: r2492
167    Description:
168    
169    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
170    Significant changes in FLINT and the front end, mostly having to do
171    with a reorganized system for handling primops.  Various bug fixes
172    and improvements in printing signatures.
173    
174    ----------------------------------------------------------------------
175    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
176    Date: 2007/05/02
177    Description:
178    
179    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
180    The ml-antlr specification format has changed: declarations such as
181    %tokens and nonterminal definitions can occur *multiple* times in the
182    same specification.  The semantics are such that each new declaration
183    extends the previous ones.  Grammar extension constructs have also
184    changed.  We now allow type annotations on nonterminals.  Finally,
185    the refcell construct is now implemented using SML's regular reference
186    cells, so the :== and !! notation has been deprecated.  All of these
187    changes will appear in the 110.64 user guide for ml-lpt.
188    
189    The ml-antlr tool now does much more checking of specifications, and
190    its error messages have been greatly improved.  There has also been
191    some work on the error repair process for generated parsers, but this
192    will be further improved in 110.64.
193    
194    ----------------------------------------------------------------------
195    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
196    Date: 2007/04/24
197    Description:
198    
199    More Basis fixes: The Char.fromString (etc.) functions did not handle
200    the "\uxxxx" escape sequence.  There is still an outstanding bug with
201    String.fromString the tail is a format escape.  I added a comment to
202    this effect in Basis/Implementation/string.sml.
203    Thanks to Andreas Rossberg.
204    
205    ----------------------------------------------------------------------
206    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
207    Date: 2007/04/24
208    Description:
209    
210    Added next function to Fifo and Queue modules in the SML/NJ Library.
211    
212    ----------------------------------------------------------------------
213    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
214    Date: 2007/04/23
215    Description:
216    
217    More Basis fixes: Time.fmt dropped the leading "~" for negative time
218    values that had no whole part.
219    
220    ----------------------------------------------------------------------
221    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
222    Date: 2007/04/23
223    Description:
224    
225    More Basis fixes: the OS.Path module did not include the InvalidArc
226    exception and did not do sufficient argument checking.
227    Thanks to Stephen Weeks and Adam Chilpala.
228    
229    ----------------------------------------------------------------------
230    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
231    Date: 2007/04/16
232    Description:
233    
234    Fixed an unbound functor bug in the AMD64 CM file.
235    
236    ----------------------------------------------------------------------
237    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
238    Date: 2007/04/12
239    Description:
240    
241    Substantially changed the signature and implementation of AMD64
242    SVID.  It now looks similar to the ia32 SVID, yet uses staged
243    allocation.
244    
245    ----------------------------------------------------------------------
246  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
247  Date: 2007/04/07  Date: 2007/04/07
248  Description:  Description:

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

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