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 1058, Fri Feb 8 20:02:56 2002 UTC revision 1068, Fri Feb 15 19:18:00 2002 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume  Name: Matthias Blume
17    Date: 2002/02/15 14:17:00 EST
18    Tag: blume-20020215-showbindings
19    Description:
20    
21    Added EnvRef.listBoundSymbols and CM.State.showBindings.  Especially
22    the latter can be useful for exploring what bindings are available at
23    the interactive prompt.  (The first function returns only the list
24    of symbols that are really bound, the second prints those but also the
25    ones that CM's autoloading mechanism knows about.)
26    
27    ----------------------------------------------------------------------
28    Name: Matthias Blume
29    Date: 2002/02/15 12:08:00 EST
30    Tag: blume-20020215-iptrs
31    Description:
32    
33    Two improvements to ml-nlffigen:
34    
35      1. Write files only if they do not exist or if their current contents
36         do not coincide with what's being written.  (That is, avoid messing
37         with the time stamps unless absolutely necessary.)
38    
39      2. Implement a "repository" mechanism for generated files related
40         to "incomplete pointer types".   See the README file for details.
41    
42    ----------------------------------------------------------------------
43    Name: Matthias Blume
44    Date: 2002/02/14 11:50:00 EST
45    Tag: blume-20020214-quote
46    Description:
47    
48    Added a type 't t_' to tag.sml (in ml-nlffi-lib.cm).  This is required
49    because of the new and improved tag generation scheme.  (Thanks to Allen
50    Leung for pointing it out.)
51    
52    ----------------------------------------------------------------------
53    Name: Lal George
54    Date: 2002/02/14 09:55:27 EST 2002
55    Tag: george-20020214-isabelle-bug
56    Description:
57    
58    Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
59    of Isabelle on the x86.
60    
61    From Allen:
62    -----------
63     I've found the problem:
64    
65         in ra-core.sml, I use the counter "blocked" to keep track of the
66         true number of elements in the freeze queue.  When the counter goes
67         to zero, I skip examining the queue.  But I've messed up the
68         bookkeeping in combine():
69    
70             else ();
71             case !ucol of
72               PSEUDO => (if !cntv > 0 then
73                     (if !cntu > 0 then blocked := !blocked - 1 else ();
74                                        ^^^^^^^^^^^^^^^^^^^^^^^
75                      moveu := mergeMoveList(!movev, !moveu)
76                     )
77                  else ();
78    
79         combine() is called to coalesce two nodes u and v.
80         I think I was thinking that if the move counts of u and v are both
81         greater than zero then after they are coalesced then one node is
82         removed from the freeze queue.  Apparently I was thinking that
83         both u and v are of low degree, but that's clearly not necessarily true.
84    
85    
86    02/12/2002:
87        Here's the patch.  HOL now compiles.
88    
89        I don't know how this impact on performance (compile
90        time or runtime).  This bug caused the RA (especially on the x86)
91        to go thru the potential spill phase when there are still nodes on the
92        freeze queue.
93    
94    
95    
96    
97    ----------------------------------------------------------------------
98    Name: Matthias Blume
99    Date: 2002/02/13 22:40:00 EST
100    Tag: blume-20020213-fptr-rtti
101    Description:
102    
103    Fixed a bug in ml-nlffigen that was introduced with one of the previous
104    updates.
105    
106    ----------------------------------------------------------------------
107    Name: Matthias Blume
108    Date: 2002/02/13 16:41:00 EST
109    Tag: blume-20020213-cmlpq
110    Description:
111    
112    Added new priority queue export symbols (which have just been added to
113    smlnj-lib.cm) to CML's version of smlnj-lib.cm.  (Otherwise CML would
114    not compile and the installer would choke.)
115    
116    ----------------------------------------------------------------------
117    Name: Matthias Blume
118    Date: 2002/02/13 16:15:00 EST
119    Tag: blume-20020213-various
120    Description:
121    
122    1. More tweaks to ml-nlffigen:
123    
124       - better internal datastructures (resulting in slight speedup)
125       - "-match" option requires exact match
126       - "localized" gensym counters (untagged structs/unions nested within
127         other structs/unions or within typedefs get a fresh counter; their
128         tag will be prefixed by a concatenation of their parents' tags)
129       - bug fixes (related to calculation of transitive closure of types
130         to be included in the output)
131    
132    2. Minor Basis updates:
133    
134       - added implementations for List.collate and Option.app
135    
136    ----------------------------------------------------------------------
137    Name: Matthias Blume
138    Date: 2002/02/11 15:55:00 EST
139    Tag: blume-20020211-gensym
140    Description:
141    
142    Added a "-gensym" option to command line of ml-nlffigen.  This can be
143    used to specify a "stem" -- a string that is inserted in all "gensym'd"
144    names (ML structure names that correspond to unnamed C structs, unions,
145    and enums), so that separate runs of ml-nlffigen do not clash.
146    
147    ----------------------------------------------------------------------
148    Name: Matthias Blume
149    Date: 2002/02/11 12:05:00 EST
150    Tag: blume-20020211-gensml
151    Description:
152    
153    A quick fix for a problem with GenSML (in the pgraph-util library):
154    Make generation of toplevel "local" optional.  (Strictly speaking,
155    signature definitions within "local" are not legal SML.)
156    
157    Other than that: updates to INSTALL and cm/TODO.
158    
159    ----------------------------------------------------------------------
160    Name: Matthias Blume
161  Date: 2002/02/08 15:00:00 EST  Date: 2002/02/08 15:00:00 EST
162  Tag: blume-20020208-uniquepid  Tag: blume-20020208-uniquepid
163  Description:  Description:

Legend:
Removed from v.1058  
changed lines
  Added in v.1068

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