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 1140, Wed Mar 13 18:59:03 2002 UTC revision 1148, Fri Mar 15 21:38:57 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/15 16:40:00 EST
18    Tag: blume-20020315-basis
19    Description:
20    
21    Provided (preliminary?) implementations for
22    
23      {String,Substring}.{concatWith,isSuffix,isSubstring}
24    
25    and
26    
27      Substring.full
28    
29    Those are in the Basis spec but they were missing in SML/NJ.
30    
31    ----------------------------------------------------------------------
32    Name: Matthias Blume
33    Date: 2002/03/14 21:30:00 EST
34    Tag: blume-20020314-controls
35    Description:
36    
37    Controls:
38    ---------
39    
40    1. Factored out the recently-added Controls : CONTROLS stuff and put
41       it into its own library $/controls-lib.cm.  The source tree for
42       this is under src/smlnj-lib/Controls.
43    
44    2. Changed the names of types and functions in this interface, so they
45       make a bit more "sense":
46    
47          module -> registry
48          'a registry -> 'a group
49    
50    3. The interface now deals in ref cells only.  The getter/setter interface
51       is (mostly) gone.
52    
53    4. Added a function that lets one register an already-existing ref cell.
54    
55    5. Made the corresponding modifications to the rest of the code so that
56       everything compiles again.
57    
58    6. Changed the implementation of Controls.MLRISC back to something closer
59       to the original.  In particular, this module (and therefore MLRISC)
60       does not depend on Controls.  There now is some link-time code in
61       int-sys.sml that registers the MLRISC controls with the Controls
62       module.
63    
64    CM:
65    ---
66    
67      * One can now specify the lambda-split aggressiveness in init.cmi.
68    
69    ----------------------------------------------------------------------
70    Name: Allen Leung
71    Date: 2002/03/13 17:30:00 EST
72    Tag: leunga-20020313-x86-fp-unary
73    Description:
74    
75    Bug fix for:
76    
77    > leunga@weaselbane:~/Yale/tmp/sml-dist{21} bin/sml
78    > Standard ML of New Jersey v110.39.1 [FLINT v1.5], March 08, 2002
79    > - fun f(x,(y,z)) = Real.~ y;
80    > [autoloading]
81    > [autoloading done]
82    >       fchsl   (%eax), 184(%esp)
83    > Error: MLRisc bug: X86MCEmitter.emitInstr
84    >
85    > uncaught exception Error
86    >   raised at: ../MLRISC/control/mlriscErrormsg.sml:16.14-16.19
87    
88    The problem was that the code generator did not generate any fp registers
89    in this case, and the ra didn't know that it needed to run the X86FP phase to
90    translate the pseudo fp instruction.   This only happened with unary fp
91    operators in certain situations.
92    
93  ----------------------------------------------------------------------  ----------------------------------------------------------------------
94  Name: Matthias Blume  Name: Matthias Blume
95  Date: 2002/03/13 14:00:00 EST  Date: 2002/03/13 14:00:00 EST
# Line 50  Line 129 
129    provides a bit more "stability":  Once CM has seen a compilation    provides a bit more "stability":  Once CM has seen a compilation
130    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
131    those crucial CM/GUID/* files).  This means that when you change    those crucial CM/GUID/* files).  This means that when you change
132    and interface, compiler, then go back to the old interface, and    an interface, compile, then go back to the old interface, and
133    compile again, you arrive at the original pid.    compile again, you arrive at the original pid.
134    
135    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 125  Line 204 
204  ----------------------------------------------------------------------  ----------------------------------------------------------------------
205  Name: Allen Leung  Name: Allen Leung
206  Date: 2002/03/11 10:30:00 EST  Date: 2002/03/11 10:30:00 EST
207  Tag: leunga-20020310-runtime-string0  Tag: leunga-20020311-runtime-string0
208  Description:  Description:
209    
210     The representation of the empty string now points to a     The representation of the empty string now points to a

Legend:
Removed from v.1140  
changed lines
  Added in v.1148

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