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 1138, Wed Mar 13 03:03:50 2002 UTC revision 1145, Fri Mar 15 02:30:53 2002 UTC
# Line 11  Line 11 
11  Date: yyyy/mm/dd  Date: yyyy/mm/dd
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14    
15    ----------------------------------------------------------------------
16    Name: Matthias Blume
17    Date: 2002/03/14 21:30:00 EST
18    Tag: blume-20020314-controls
19    Description:
20    
21    Controls:
22    ---------
23    
24    1. Factored out the recently-added Controls : CONTROLS stuff and put
25       it into its own library $/controls-lib.cm.  The source tree for
26       this is under src/smlnj-lib/Controls.
27    
28    2. Changed the names of types and functions in this interface, so they
29       make a bit more "sense":
30    
31          module -> registry
32          'a registry -> 'a group
33    
34    3. The interface now deals in ref cells only.  The getter/setter interface
35       is (mostly) gone.
36    
37    4. Added a function that lets one register an already-existing ref cell.
38    
39    5. Made the corresponding modifications to the rest of the code so that
40       everything compiles again.
41    
42    6. Changed the implementation of Controls.MLRISC back to something closer
43       to the original.  In particular, this module (and therefore MLRISC)
44       does not depend on Controls.  There now is some link-time code in
45       int-sys.sml that registers the MLRISC controls with the Controls
46       module.
47    
48    CM:
49    ---
50    
51      * One can now specify the lambda-split aggressiveness in init.cmi.
52    
53    ----------------------------------------------------------------------
54    Name: Allen Leung
55    Date: 2002/03/13 17:30:00 EST
56    Tag: leunga-20020313-x86-fp-unary
57    Description:
58    
59    Bug fix for:
60    
61    > leunga@weaselbane:~/Yale/tmp/sml-dist{21} bin/sml
62    > Standard ML of New Jersey v110.39.1 [FLINT v1.5], March 08, 2002
63    > - fun f(x,(y,z)) = Real.~ y;
64    > [autoloading]
65    > [autoloading done]
66    >       fchsl   (%eax), 184(%esp)
67    > Error: MLRisc bug: X86MCEmitter.emitInstr
68    >
69    > uncaught exception Error
70    >   raised at: ../MLRISC/control/mlriscErrormsg.sml:16.14-16.19
71    
72    The problem was that the code generator did not generate any fp registers
73    in this case, and the ra didn't know that it needed to run the X86FP phase to
74    translate the pseudo fp instruction.   This only happened with unary fp
75    operators in certain situations.
76    
77    ----------------------------------------------------------------------
78    Name: Matthias Blume
79    Date: 2002/03/13 14:00:00 EST
80    Tag: blume-20020313-overload-etc
81    Description:
82    
83    1. Added _overload as a synonym for overload for backward compatibility.
84       (Control.overloadKW must be true for either version to be accepted.)
85    
86    2. Fixed bug in install script that caused more things to be installed
87       than what was requested in config/targets.
88    
89    3. Made CM aware of the (_)overload construct so that autoloading
90       works.
91    
92  ----------------------------------------------------------------------  ----------------------------------------------------------------------
93  Name: Matthias Blume  Name: Matthias Blume
94  Date: 2002/03/12 22:03:00 EST  Date: 2002/03/12 22:03:00 EST
# Line 35  Line 113 
113    provides a bit more "stability":  Once CM has seen a compilation    provides a bit more "stability":  Once CM has seen a compilation
114    unit, it keeps its identity constant (as long as you do not delete    unit, it keeps its identity constant (as long as you do not delete
115    those crucial CM/GUID/* files).  This means that when you change    those crucial CM/GUID/* files).  This means that when you change
116    and interface, compiler, then go back to the old interface, and    an interface, compile, then go back to the old interface, and
117    compile again, you arrive at the original pid.    compile again, you arrive at the original pid.
118    
119    There now also is a mechanism that instructs CM to use the plain    There now also is a mechanism that instructs CM to use the plain
# Line 110  Line 188 
188  ----------------------------------------------------------------------  ----------------------------------------------------------------------
189  Name: Allen Leung  Name: Allen Leung
190  Date: 2002/03/11 10:30:00 EST  Date: 2002/03/11 10:30:00 EST
191  Tag: leunga-20020310-runtime-string0  Tag: leunga-20020311-runtime-string0
192  Description:  Description:
193    
194     The representation of the empty string now points to a     The representation of the empty string now points to a

Legend:
Removed from v.1138  
changed lines
  Added in v.1145

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