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 1152, Tue Mar 19 21:36:30 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/19 16:37:00 EST
18    Tag: blume-20020319-witnesses
19    Description:
20    
21    Added a structure C.W and functions convert/Ptr.convert to ml-nlffi-lib.
22    
23    This implements a generic mechanism for changing constness qualifiers
24    anywhere within big C types without resorting to outright "casts".
25    (So far, functions such as C.rw/C.ro or C.Ptr.rw/C.Ptr.ro only let you
26    modify the constness at the outermost level.)
27    The implementation of "convert" is based on the idea of "witness"
28    values -- values that are not used by the operation but whose types
29    "testify" to their applicability.  On the implementation side, "convert"
30    is simply a projection (returning its second curried argument).  With
31    cross-module inlining, it should not result in any machine code being
32    generated.
33    
34    ----------------------------------------------------------------------
35    Name: Matthias Blume
36    Date: 2002/03/15 16:40:00 EST
37    Tag: blume-20020315-basis
38    Description:
39    
40    Provided (preliminary?) implementations for
41    
42      {String,Substring}.{concatWith,isSuffix,isSubstring}
43    
44    and
45    
46      Substring.full
47    
48    Those are in the Basis spec but they were missing in SML/NJ.
49    
50    ----------------------------------------------------------------------
51    Name: Matthias Blume
52    Date: 2002/03/14 21:30:00 EST
53    Tag: blume-20020314-controls
54    Description:
55    
56    Controls:
57    ---------
58    
59    1. Factored out the recently-added Controls : CONTROLS stuff and put
60       it into its own library $/controls-lib.cm.  The source tree for
61       this is under src/smlnj-lib/Controls.
62    
63    2. Changed the names of types and functions in this interface, so they
64       make a bit more "sense":
65    
66          module -> registry
67          'a registry -> 'a group
68    
69    3. The interface now deals in ref cells only.  The getter/setter interface
70       is (mostly) gone.
71    
72    4. Added a function that lets one register an already-existing ref cell.
73    
74    5. Made the corresponding modifications to the rest of the code so that
75       everything compiles again.
76    
77    6. Changed the implementation of Controls.MLRISC back to something closer
78       to the original.  In particular, this module (and therefore MLRISC)
79       does not depend on Controls.  There now is some link-time code in
80       int-sys.sml that registers the MLRISC controls with the Controls
81       module.
82    
83    CM:
84    ---
85    
86      * One can now specify the lambda-split aggressiveness in init.cmi.
87    
88    ----------------------------------------------------------------------
89    Name: Allen Leung
90    Date: 2002/03/13 17:30:00 EST
91    Tag: leunga-20020313-x86-fp-unary
92    Description:
93    
94    Bug fix for:
95    
96    > leunga@weaselbane:~/Yale/tmp/sml-dist{21} bin/sml
97    > Standard ML of New Jersey v110.39.1 [FLINT v1.5], March 08, 2002
98    > - fun f(x,(y,z)) = Real.~ y;
99    > [autoloading]
100    > [autoloading done]
101    >       fchsl   (%eax), 184(%esp)
102    > Error: MLRisc bug: X86MCEmitter.emitInstr
103    >
104    > uncaught exception Error
105    >   raised at: ../MLRISC/control/mlriscErrormsg.sml:16.14-16.19
106    
107    The problem was that the code generator did not generate any fp registers
108    in this case, and the ra didn't know that it needed to run the X86FP phase to
109    translate the pseudo fp instruction.   This only happened with unary fp
110    operators in certain situations.
111    
112    ----------------------------------------------------------------------
113    Name: Matthias Blume
114    Date: 2002/03/13 14:00:00 EST
115    Tag: blume-20020313-overload-etc
116    Description:
117    
118    1. Added _overload as a synonym for overload for backward compatibility.
119       (Control.overloadKW must be true for either version to be accepted.)
120    
121    2. Fixed bug in install script that caused more things to be installed
122       than what was requested in config/targets.
123    
124    3. Made CM aware of the (_)overload construct so that autoloading
125       works.
126    
127  ----------------------------------------------------------------------  ----------------------------------------------------------------------
128  Name: Matthias Blume  Name: Matthias Blume
129  Date: 2002/03/12 22:03:00 EST  Date: 2002/03/12 22:03:00 EST
# Line 35  Line 148 
148    provides a bit more "stability":  Once CM has seen a compilation    provides a bit more "stability":  Once CM has seen a compilation
149    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
150    those crucial CM/GUID/* files).  This means that when you change    those crucial CM/GUID/* files).  This means that when you change
151    and interface, compiler, then go back to the old interface, and    an interface, compile, then go back to the old interface, and
152    compile again, you arrive at the original pid.    compile again, you arrive at the original pid.
153    
154    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 223 
223  ----------------------------------------------------------------------  ----------------------------------------------------------------------
224  Name: Allen Leung  Name: Allen Leung
225  Date: 2002/03/11 10:30:00 EST  Date: 2002/03/11 10:30:00 EST
226  Tag: leunga-20020310-runtime-string0  Tag: leunga-20020311-runtime-string0
227  Description:  Description:
228    
229     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.1152

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