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/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1054, Wed Feb 6 19:27:27 2002 UTC revision 1076, Tue Feb 19 15:47:18 2002 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume
17    Date: 2002/02/19 10:48:00 EST
18    Tag: blume-20020219-pqfix
19    Description:
20    
21    Applied Chris Okasaki's bug fix for priority queues.
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume
25    Date: 2002/02/15 17:05:00
26    Tag: Release_110_39
27    Description:
28    
29    Last-minute retagging is becoming a tradition... :-(
30    
31    This is the working release 110.39.
32    
33    ----------------------------------------------------------------------
34    Name: Matthias Blume
35    Date: 2002/02/15 16:00:00 EST
36    Tag: Release_110_39-orig
37    Description:
38    
39    Working release 110.39.  New bootfiles.
40    
41    (Update: There was a small bug in the installer so it wouldn't work
42    with all shells.  So I retagged. -Matthias)
43    
44    ----------------------------------------------------------------------
45    Name: Matthias Blume
46    Date: 2002/02/15 14:17:00 EST
47    Tag: blume-20020215-showbindings
48    Description:
49    
50    Added EnvRef.listBoundSymbols and CM.State.showBindings.  Especially
51    the latter can be useful for exploring what bindings are available at
52    the interactive prompt.  (The first function returns only the list
53    of symbols that are really bound, the second prints those but also the
54    ones that CM's autoloading mechanism knows about.)
55    
56    ----------------------------------------------------------------------
57    Name: Matthias Blume
58    Date: 2002/02/15 12:08:00 EST
59    Tag: blume-20020215-iptrs
60    Description:
61    
62    Two improvements to ml-nlffigen:
63    
64      1. Write files only if they do not exist or if their current contents
65         do not coincide with what's being written.  (That is, avoid messing
66         with the time stamps unless absolutely necessary.)
67    
68      2. Implement a "repository" mechanism for generated files related
69         to "incomplete pointer types".   See the README file for details.
70    
71    ----------------------------------------------------------------------
72    Name: Matthias Blume
73    Date: 2002/02/14 11:50:00 EST
74    Tag: blume-20020214-quote
75    Description:
76    
77    Added a type 't t_' to tag.sml (in ml-nlffi-lib.cm).  This is required
78    because of the new and improved tag generation scheme.  (Thanks to Allen
79    Leung for pointing it out.)
80    
81    ----------------------------------------------------------------------
82    Name: Lal George
83    Date: 2002/02/14 09:55:27 EST 2002
84    Tag: george-20020214-isabelle-bug
85    Description:
86    
87    Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
88    of Isabelle on the x86.
89    
90    From Allen:
91    -----------
92     I've found the problem:
93    
94         in ra-core.sml, I use the counter "blocked" to keep track of the
95         true number of elements in the freeze queue.  When the counter goes
96         to zero, I skip examining the queue.  But I've messed up the
97         bookkeeping in combine():
98    
99             else ();
100             case !ucol of
101               PSEUDO => (if !cntv > 0 then
102                     (if !cntu > 0 then blocked := !blocked - 1 else ();
103                                        ^^^^^^^^^^^^^^^^^^^^^^^
104                      moveu := mergeMoveList(!movev, !moveu)
105                     )
106                  else ();
107    
108         combine() is called to coalesce two nodes u and v.
109         I think I was thinking that if the move counts of u and v are both
110         greater than zero then after they are coalesced then one node is
111         removed from the freeze queue.  Apparently I was thinking that
112         both u and v are of low degree, but that's clearly not necessarily true.
113    
114    
115    02/12/2002:
116        Here's the patch.  HOL now compiles.
117    
118        I don't know how this impact on performance (compile
119        time or runtime).  This bug caused the RA (especially on the x86)
120        to go thru the potential spill phase when there are still nodes on the
121        freeze queue.
122    
123    
124    
125    
126    ----------------------------------------------------------------------
127    Name: Matthias Blume
128    Date: 2002/02/13 22:40:00 EST
129    Tag: blume-20020213-fptr-rtti
130    Description:
131    
132    Fixed a bug in ml-nlffigen that was introduced with one of the previous
133    updates.
134    
135    ----------------------------------------------------------------------
136    Name: Matthias Blume
137    Date: 2002/02/13 16:41:00 EST
138    Tag: blume-20020213-cmlpq
139    Description:
140    
141    Added new priority queue export symbols (which have just been added to
142    smlnj-lib.cm) to CML's version of smlnj-lib.cm.  (Otherwise CML would
143    not compile and the installer would choke.)
144    
145    ----------------------------------------------------------------------
146    Name: Matthias Blume
147    Date: 2002/02/13 16:15:00 EST
148    Tag: blume-20020213-various
149    Description:
150    
151    1. More tweaks to ml-nlffigen:
152    
153       - better internal datastructures (resulting in slight speedup)
154       - "-match" option requires exact match
155       - "localized" gensym counters (untagged structs/unions nested within
156         other structs/unions or within typedefs get a fresh counter; their
157         tag will be prefixed by a concatenation of their parents' tags)
158       - bug fixes (related to calculation of transitive closure of types
159         to be included in the output)
160    
161    2. Minor Basis updates:
162    
163       - added implementations for List.collate and Option.app
164    
165    ----------------------------------------------------------------------
166    Name: Matthias Blume
167    Date: 2002/02/11 15:55:00 EST
168    Tag: blume-20020211-gensym
169    Description:
170    
171    Added a "-gensym" option to command line of ml-nlffigen.  This can be
172    used to specify a "stem" -- a string that is inserted in all "gensym'd"
173    names (ML structure names that correspond to unnamed C structs, unions,
174    and enums), so that separate runs of ml-nlffigen do not clash.
175    
176    ----------------------------------------------------------------------
177    Name: Matthias Blume
178    Date: 2002/02/11 12:05:00 EST
179    Tag: blume-20020211-gensml
180    Description:
181    
182    A quick fix for a problem with GenSML (in the pgraph-util library):
183    Make generation of toplevel "local" optional.  (Strictly speaking,
184    signature definitions within "local" are not legal SML.)
185    
186    Other than that: updates to INSTALL and cm/TODO.
187    
188    ----------------------------------------------------------------------
189    Name: Matthias Blume
190    Date: 2002/02/08 15:00:00 EST
191    Tag: blume-20020208-uniquepid
192    Description:
193    
194    0. Version number has been bumped to 110.38.1.  NEW BOOTFILES!!!
195    
196    1. The installer (config/install.sh) has gotten smarter:
197    
198         - Configuration options are a bit easier to specify now
199           (in config/targets).
200         - Bug in recognizing .tar.bz2 files fixed.
201         - Installer automatically resolves dependencies between
202           configuration options (e.g., if you ask for eXene, you will
203           also get cml -- regardless whether you asked for it or not).
204         - Installer can run in "quieter mode" by setting the environment
205           variable INSTALL_QUIETLY to "true".  "Quieter" does not mean
206           "completely silent", though.
207         - Build HashCons library as part of smlnj-lib.
208    
209    2. A new scheme for assigning persistent identifiers to compilation
210       units (and, by extension, to types etc.) has been put into place.
211       This fixes a long-standing bug where types and even dynamic values
212       can get internally confused, thereby compromising type safety
213       (abstraction) and dynamic correctness.  See
214    
215         http://cm.bell-labs.com/cm/cs/who/blume/pid-confusion.tgz
216    
217       for an example of how things could go wrong until now.
218    
219       The downside of the new scheme is that pids are not quite as
220       persistent as they used to be: CM will generate a fresh pid
221       for every compilation unit that it thinks it sees for the first
222       time.  That means that if you compile starting from a clean, fresh
223       source tree at two different times, you end up with different
224       binaries.
225    
226       Cutoff recompilation, however, has not been compromised because
227       CM keeps pid information in special caches between runs.
228    
229    ----------------------------------------------------------------------
230    Name: Lal George
231    Date: 2002/02/07 15:34:13 EST 2002
232    Tag: <none>
233    Description:
234    
235    Compilers that generate assembly code may produce  global labels
236    whose value is resolved at link time. The various peephole optimization
237    modules did not take this in account.
238    
239    TODO. The Labels.addrOf function should really return an option
240    type so that clients are forced to deal with this issue, rather
241    than an exception being raised.
242    
243    ----------------------------------------------------------------------
244  Name: Lal George  Name: Lal George
245  Date: 2002/02/06 13:55:02 EST  Date: 2002/02/06 13:55:02 EST
246  Tag: george-20020206-ra-breakup  Tag: george-20020206-ra-breakup

Legend:
Removed from v.1054  
changed lines
  Added in v.1076

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