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 585, Wed Mar 29 23:55:35 2000 UTC revision 591, Mon Apr 3 01:19:20 2000 UTC
# Line 11  Line 11 
11  Date:  Date:
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    ----------------------------------------------------------------------
15    Name: Allen Leung
16    Date: 2000/04/02 21:17:00 EST
17    Tag: leunga-20000402-mltree
18    Description:
19    
20       1. Renamed the constructor CALL in MLTREE by popular demand.
21       2. Added a bunch of files from my repository.  These are currently
22          used by other non-SMLNJ backends.
23    
24    ----------------------------------------------------------------------
25    Name: Allen Leung
26    Date: 2000/03/31 21:15:00 EST
27    Tag: leunga-20000331-aliasing
28    Description:
29    
30    This update contains a rewritten (and hopefully more correct) module
31    for extracting aliasing information from CPS.
32    
33       To turn on this feature:
34    
35            Compiler.Control.CG.memDisambiguate := true
36    
37       To pretty print the region information with assembly
38    
39           Compiler.Control.MLRISC.getFlag "asm-show-region" := true;
40    
41       To control how many levels of aliasing information are printed, use:
42    
43           Compiler.Control.MLRISC.getInt "points-to-show-level" := n
44    
45       The default of n is 3.
46    
47    ----------------------------------------------------------------------
48    Name: David MacQueen
49    Date: 2000/03/31 11:15:00 EST
50    Tag: dbm-20000331-runtime_fix
51    Description:
52    
53    This update contains:
54    
55    1. runtime/c-lib/c-libraries.c
56       includes added in revision 1.2 caused compilation errors on hppa-hpux
57    
58    2. fix for bug 1556
59       system/Basis/Implementation/NJ/internal-signals.sml
60    
61    ----------------------------------------------------------------------
62    Name: Matthias Blume
63    Date: 2000/03/31 18:00:00 JST
64    Tag: blume_main_v110p26p2_1
65    Description:
66    
67    This update contains:
68    
69    1. A small change to CM's handling of stable libraries:
70       CM now maintains one "global" modmap that is used for all stable
71       libraries.  The use of such a global modmap maximizes sharing and
72       minimizes the need for re-traversing parts of environments during
73       modmap construction.  (However, this has minor impact since modmap
74       construction seems to account for just one percent or less of total
75       compile time.)
76    
77    2. I added a "genmap" phase to the statistics.  This is where I got the
78       "one percent" number (see above).
79    
80    3. CM's new tool parameter mechanism just became _even_ better. :)
81       - The parser understands named parameters and recursive options.
82       - The "make" and "shell" tools use these new features.
83         (This makes it a lot easier to cascade these tools.)
84       - There is a small syntax change: named parameters use a
85    
86           <name> : ( <option> ... )            or
87           <name> : <string>
88    
89         syntax.  Previously, named parameters were implemented in an
90         ad-hoc fashion by each tool individually (by parsing strings)
91         and had the form
92    
93           <name>=<string>
94    
95       See the CM manual for a full description of these issues.
96    
97    ----------------------------------------------------------------------
98    Name: Matthias Blume
99    Date: 2000/03/30 18:00:00 JST
100    Tag: blume_main_v110p26p2_0
101    Description:
102    
103    !!!!! WARNING !!!!!!
104    !!  New binfiles  !!
105    !!!!!!!!!!!!!!!!!!!!
106    
107    This update contains:
108    
109    1. Moderate changes to CM:
110    
111       - Changes to CM's tools mechanism.  In particular, it is now possible
112       to have tools that accept additional "command line" parameters
113       (specified in the .cm file at each instance where the tool's class is
114       used).
115    
116       This was done to accomodate the new "make" and "shell" tools which
117       facilitate fairly seemless hookup to portions of code managed using
118       Makefiles or Shell scripts.
119    
120       There are no classes "shared" or "private" anymore.  Instead, the
121       sharing annotation is now a parameter to the "sml" class.
122    
123       There is a bit of generic machinery for implementing one's own
124       tools that accept command-line parameters.  However, I am not yet fully
125       satisfied with that part, so expect changes here in the future.
126    
127       All existing tools are described in the CM manual.
128    
129       - Slightly better error handling.  (CM now surpresses many followup
130       error messages that tended to be more annoying than helpful.)
131    
132    2. Major changes to the compiler's static environment data structures.
133    
134       - no CMStaticEnv anymore.
135            - no CMEnv, no "BareEnvironment" (actually, _only_ BareEnvironment,
136              but it is called Environment), no conversions between different
137              kinds of static environments
138    
139       - There is still a notion of a "modmap", but such modmaps are generated
140         on demand at the time when they are needed.  This sounds slow, but I
141         sped up the code that generates modmaps enough for this not to lead to
142         a slowdown of the compiler (at least I didn't detect any).
143    
144       - To facilitate rapid modmap generation, static environments now
145         contain an (optional) "modtree" structure.  Modtree annotations are
146         constructed by the unpickler during unpickling.  (This means that
147         the elaborator does not have to worry about modtrees at all.)
148         Modtrees have the advantage that they are compositional in the same
149         way as the environment data structure itself is compositional.
150         As a result, modtrees never hang on to parts of an environment that
151         has already been rendered "stale" by filtering or rebinding.
152    
153       - I went through many, many trials and errors before arriving at the
154         current solution.  (The initial idea of "linkpaths" did not work.)
155         But the result of all this is that I have touched a lot of files that
156         depend on the "modules" and "types" data structures (most of the
157         elaborator). There were a lot of changes during my "linkpath" trials
158         that could have been reverted to their original state but weren't.
159         Please, don't be too harsh on me for messing with this code a bit more
160         than what was strictly necessary...  (I _did_ resist the tempation
161         of doing any "global reformatting" to avoid an untimely death at
162         Dave's hands. :)
163    
164       - One positive aspect of the previous point:  At least I made sure that
165         all files that I touched now compile without warnings (other than
166         "polyEqual").
167    
168       - compiler now tends to run "leaner" (i.e., ties up less memory in
169         redundant modmaps)
170    
171  ----------------------------------------------------------------------  ----------------------------------------------------------------------
172  Name: Allen Leung  Name: Allen Leung
173  Date: 2000/03/29 18:00:00  Date: 2000/03/29 18:00:00
174  Tag: leunga-20000327-mlriscGen_hppa_alpha_x86  Tag: leunga-20000327-mlriscGen_hppa_alpha_x86
175    Boot files (optional): ftp://react-ilp.cs.nyu.edu/leunga/110.26.1-sml.boot.x86-unix-20000330.tar.gz
176  Description:  Description:
177    
178     This update contains *MAJOR* changes to the way code is generated from CPS     This update contains *MAJOR* changes to the way code is generated from CPS

Legend:
Removed from v.585  
changed lines
  Added in v.591

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