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 648, Thu May 25 21:28:21 2000 UTC revision 659, Mon Jun 12 07:37:22 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2000/06/12 11:40:00
17    Tag: blume-20000612-parmakefix
18    Description:
19    
20    More cleanup after changing the file naming scheme: This time I
21    repaired the parallel make mechanism for CMB.make which I broke earlier.
22    
23    ----------------------------------------------------------------------
24    Name: Allen Leung
25    Date: 2000/06/09 01:25:00
26    Tag: leunga-20000609-various
27    
28    None of these things should affect normal SML/NJ operations
29    
30    1. Peephole improvements provided by Fermin (c--)
31    2. New annotation DEFUSE for adding extra dependence (moby)
32    3. New X86 LOCK instructions (moby)
33    4. New machine description language for reservation tables (scheduling)
34    5. Fixes to various optimization/analysis modules (branch chaining, dominator
35       trees etc.)
36    6. I've changed the CM files so that they can work with versions
37       110.0.6, 110.25 and 110.28
38    
39    ----------------------------------------------------------------------
40    Name: Matthias Blume
41    Date: 2000/06/09 12:40:00
42    Tag: blume-20000609-log
43    Description:
44    
45    - Removed all(?) remaining RCS Log entries from sources.
46    
47    - Fixed bug in ml-yacc and ml-lex sources (use explicit anchors for
48      anchored paths).
49    
50    ----------------------------------------------------------------------
51    Name: Matthias Blume
52    Date: 2000/06/07 17:00:00 JST
53    Tag: blume-20000607-no-implicit-anchors
54    Description:
55    
56    1. This update changes the default setting for
57    CM.Control.implicit_anchors from true to false.  This means that
58    implicit anchors are no longer permitted by default.  I also tried to
59    make sure that nothing else still relies on implicit anchors.
60    (This is the next step on the schedule towards a CM that does not even
61    have the notion of implicit anchors anymore.)
62    
63    2. More CM manual updates.
64    
65    3. I managed to track down and fix the pickling bug I mentioned last
66    time.  Because of the previously existing workaround, this entails no
67    immediate practical changes.
68    
69    ----------------------------------------------------------------------
70    Name: Matthias Blume
71    Date: 2000/06/06 11:15:00 JST
72    Tag: blume-20000606-lazierpickle
73    Description:
74    
75    !!!! NEW BOOT FILES !!!!
76    
77    * The main purpose of this update is to make library pickles lazier in
78    order to reduce the initial space penalty for autoloading a library.
79    As a result, it is now possible to have $smlnj/compiler.cm
80    pre-registered.  This should take care of the many complaints or
81    inquiries about missing structure Compiler.  This required changes to
82    CM's internal data structures and small tweaks to some algorithms.
83    
84    As a neat additional effect, it is no longer necessary (for the sake
85    of lean heap image files) to distinguish between a "minimal" CM and a
86    "full" CM.  Now, there is only one CM (i.e., the "full" version:
87    $smlnj/cm.cm aka $smlnj/cm/full.cm), and it is always available at the
88    interactive top level. ($smlnj/cm/minimal.cm is gone.)
89    
90    To make the life of compiler-hackers easier, "makeml" now also
91    pre-registers $smlnj/cmb.cm (aka $smlnj/cmb/current.cm).  In other
92    words, after you bootstrap a new sml for the first time, you will not
93    have to autoload $smlnj/cmb.cm again afterwards.  (The first time
94    around you will still have to do it, though.)
95    
96    * A second change consists of major updates to the CM manual.  There
97    are now several appendices with summary information and also a full
98    specification of the CM description file syntax.
99    
100    * In directory src/system I added the script "allcross".  This script
101    invokes sml and cross-compiles the compiler for all supported
102    architectures.  (Useful when providing a new set of boot files.)
103    
104    * There seems to be a latent bug in my "lazy pickles" mechanism.  I
105    added a small tweak to pickle-util.sml to work around this problem,
106    but it is not a proper fix yet.  I will investigate further.  (The
107    effect of the bug was an inflation of library pickle size.)
108    
109    * Version number increased to 110.28.1 (to avoid compatibility problems).
110    
111    ----------------------------------------------------------------------
112  Name: Allen Leung  Name: Allen Leung
113  Date: 2000/05/25 17:28 EDT  Date: 2000/05/25 17:28 EDT
114  Tag: leunga-20000525-ra  Tag: leunga-20000525-ra
# Line 502  Line 599 
599    
600  3.  Assembly  3.  Assembly
601    
602      When generating assemby, resolve the value of client defined constants,      When generating assembly, resolve the value of client defined constants,
603      instead of generating symbolic values.  This is controlled by the      instead of generating symbolic values.  This is controlled by the
604      new flag "asm-resolve-constants", which is default to true.      new flag "asm-resolve-constants", which is default to true.
605    
# Line 525  Line 622 
622    
623  To this end, I arranged that instead of "structure Core" as "structure  To this end, I arranged that instead of "structure Core" as "structure
624  _Core" is bound in the pervasive environment.  Core access is done via  _Core" is bound in the pervasive environment.  Core access is done via
625  _Core (which can never be accidentially rebound because _Core is not a  _Core (which can never be accidentally rebound because _Core is not a
626  legal surface-syntax symbol).  legal surface-syntax symbol).
627    
628  The current solution is much cleaner because the core environment is  The current solution is much cleaner because the core environment is
# Line 535  Line 632 
632  with dynamic and symbolic parts of the core environment.  with dynamic and symbolic parts of the core environment.
633    
634  Remaining hackery (to bind the "magic" symbol _Core) is localized in the  Remaining hackery (to bind the "magic" symbol _Core) is localized in the
635  compilation mananger's bootstrap compiler (actually: in the "init group"  compilation manager's bootstrap compiler (actually: in the "init group"
636  handling).  See the comments in src/system/smlnj/init/init.cmi for  handling).  See the comments in src/system/smlnj/init/init.cmi for
637  more details.  more details.
638    
# Line 650  Line 747 
747     (specified in the .cm file at each instance where the tool's class is     (specified in the .cm file at each instance where the tool's class is
748     used).     used).
749    
750     This was done to accomodate the new "make" and "shell" tools which     This was done to accommodate the new "make" and "shell" tools which
751     facilitate fairly seemless hookup to portions of code managed using     facilitate fairly seamless hookup to portions of code managed using
752     Makefiles or Shell scripts.     Makefiles or Shell scripts.
753    
754     There are no classes "shared" or "private" anymore.  Instead, the     There are no classes "shared" or "private" anymore.  Instead, the
# Line 663  Line 760 
760    
761     All existing tools are described in the CM manual.     All existing tools are described in the CM manual.
762    
763     - Slightly better error handling.  (CM now surpresses many followup     - Slightly better error handling.  (CM now suppresses many followup
764     error messages that tended to be more annoying than helpful.)     error messages that tended to be more annoying than helpful.)
765    
766  2. Major changes to the compiler's static environment data structures.  2. Major changes to the compiler's static environment data structures.
# Line 797  Line 894 
894    
895       I've changed andl to testl in the floating point test sequence       I've changed andl to testl in the floating point test sequence
896       whenever appropriate.  The Intel optimization guide states that       whenever appropriate.  The Intel optimization guide states that
897       testl is perferable to andl.       testl is preferable to andl.
898    
899  7. RA (x86 only)  7. RA (x86 only)
900    
# Line 979  Line 1076 
1076    
1077  1. Tools.registerStdShellCmdTool (from smlnj/cm/tool.cm) takes an  1. Tools.registerStdShellCmdTool (from smlnj/cm/tool.cm) takes an
1078  additional argument called "template" which is an optional string that  additional argument called "template" which is an optional string that
1079  specifiel the layout of the tool command line.  See the CM manual for  specifies the layout of the tool command line.  See the CM manual for
1080  explanation.  explanation.
1081    
1082  2. A special-purpose tool can be "regisitered" by simply dropping the  2. A special-purpose tool can be "registered" by simply dropping the
1083  corresponding <...>-tool.cm (and/or <...>-ext.cm) into the same  corresponding <...>-tool.cm (and/or <...>-ext.cm) into the same
1084  directory where the .cm file lives that uses this tool.  (The  directory where the .cm file lives that uses this tool.  (The
1085  behavior/misfeature until now was to look for the tool description  behavior/misfeature until now was to look for the tool description
# Line 1026  Line 1123 
1123  rebuild.  Having sets of the form <base><k>.{bin,boot}.<arch>-unix for  rebuild.  Having sets of the form <base><k>.{bin,boot}.<arch>-unix for
1124  <k>=1,2,... is normally not a good idea when invoking fixpt.  However,  <k>=1,2,... is normally not a good idea when invoking fixpt.  However,
1125  they might be the result of an earlier partial run of fixpt (which  they might be the result of an earlier partial run of fixpt (which
1126  perhaps got accidentially killed).  In this case, fixpt will quickly  perhaps got accidentally killed).  In this case, fixpt will quickly
1127  move through what exists before continuing where it left off earlier,  move through what exists before continuing where it left off earlier,
1128  and, thus, saves a lot of time.  and, thus, saves a lot of time.
1129    
# Line 1076  Line 1173 
1173    it from that remote directory.    it from that remote directory.
1174    This should simplify installation further:  For machines that have    This should simplify installation further:  For machines that have
1175    access to the internet, just fetch <version>-config.tgz, unpack it,    access to the internet, just fetch <version>-config.tgz, unpack it,
1176    edit config/targets, and go (run config/install.sh).  The scipt will    edit config/targets, and go (run config/install.sh).  The script will
1177    fetch everything else that it might need all by itself.    fetch everything else that it might need all by itself.
1178    
1179    For CVS users, this mechanism is not relevant for source archives, but    For CVS users, this mechanism is not relevant for source archives, but

Legend:
Removed from v.648  
changed lines
  Added in v.659

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