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 1063, Wed Feb 13 21:41:53 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  Date: 2002/02/13 16:41:00 EST
109  Tag: blume-20020213-cmlpq  Tag: blume-20020213-cmlpq
110  Description:  Description:

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

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