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 1009, Wed Jan 9 19:44:22 2002 UTC revision 1034, Thu Jan 24 05:53: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: Lal George
17    Date: 2002/01/24
18    Tag: george-20020124-risc-ra-interface
19    Description:
20    
21       There is a dramatic simplification in the interface to the
22       register allocator for RISC architectures as a result of making
23       parallel copy instructions explicit.
24    
25    ----------------------------------------------------------------------
26    Name: Matthias Blume
27    Date: 2002/01/22
28    Tag: blume-20020122-x86-ccalls
29    Description:
30    
31    Bug fix for c-calls on x86 (having to do with how char- and
32    short-arguments are being handled).
33    
34    ----------------------------------------------------------------------
35    Name: Matthias Blume
36    Date: 2002/01/21
37    Tag: blume-20020121-ff
38    Description:
39    
40    Another day of fiddling with the FFI...
41    
42    1. Bug fix/workaround:  CKIT does not complain about negative array
43       dimensions, so ml-nlffigen has to guard itself against this possibility.
44       (Otherwise a negative dimension would send it into an infinite loop.)
45    
46    2. Some of the abstract types (light objects, light pointers, most "base"
47       types) in structure C are now eqtypes.
48    
49    3. Added constructors and test functions for NULL function pointers.
50    
51    ----------------------------------------------------------------------
52    Name: Matthias Blume
53    Date: 2002/01/18
54    Tag: blume-20020118-ready-for-new-release
55    Description:
56    
57    Made config/srcarchiveurl point to a new place.  (Will provide boot
58    files shortly.)
59    
60    Maybe we christen this to be 110.38?
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume
64    Date: 2002/01/18
65    Tag: blume-20020118-more-ffifiddle
66    Description:
67    
68    Today's FFI fiddling:
69    
70      - Provided a structure CGetSet with "convenient" versions of C.Get.* and
71        C.Set.* that use concrete (MLRep.*) arguments and results instead
72        of abstract ones.
73    
74      - Provided word-style bit operations etc. for "int" representation
75        types in MLRep.S<Foo>Bitops where <Foo> ranges over Char, Int, Short,
76        and Long.
77    
78    ----------------------------------------------------------------------
79    Name: Matthias Blume
80    Date: 2002/01/18
81    Tag: blume-20020118-use-x86-fp
82    Description:
83    
84    Now that x86-fast-fp seems to be working, I turned it back on again
85    by default.  (Seems to work fine now, even with the FFI.)
86    
87    Other than that, I added some documentation about the FFI to
88    src/ml-nlffigen/README and updated the FFI test examples in
89    src/ml-nlffi-lib/Tests/*.
90    
91    ----------------------------------------------------------------------
92    Name: Allen Leung
93    Date: 2002/01/17
94    Tag: leunga-20020117-x86-fast-fp-call
95    Description:
96    
97       1. Fixed a problem with handling return fp values when x86's fast fp
98          mode is turned on.
99    
100       2. Minor pretty printing fix for cellset.  Print %st(0) as %st(0) instead
101          of %f32.
102    
103       3. Added a constructor INT32lit to the ast of MLRISC tools.
104    
105    ----------------------------------------------------------------------
106    Name: Matthias Blume
107    Date: 2002/01/16
108    Tag: blume-20020116-ffifiddle
109    Description:
110    
111    More fiddling with the FFI interface:
112    
113     - Make constness 'c instead of rw wherever possible.  This eliminates
114       the need for certain explicit coercions.  (However, due to ML's
115       value polymorphism, there will still be many cases where explicit
116       coercions are necessary.  Phantom types are not the whole answer
117       to modeling a subtyping relationship in ML.)
118    
119     - ro/rw coersions for pointers added.  (Avoids the detour through */&.)
120    
121     - "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
122       clumsy workaround for varargs problem.)
123    
124    ----------------------------------------------------------------------
125    Name: Lal George
126    Date: 2002/01/15
127    Tag: <none>
128    Description:
129    
130    1. Since COPY instructions are no longer native to the architecture,
131       a generic functor can be used to implement the expandCopies function.
132    
133    2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
134       TEXT segment.
135    
136    ----------------------------------------------------------------------
137    Name: Matthias Blume
138    Date: 2002/01/15
139    Tag: blume-20020115-ffiupdates
140    Description:
141    
142    1. Fix for bug resulting in single-precision float values being returned
143       incorrectly from FFI calls.
144    
145    2. Small modifications to C FFI API:
146    
147        - memory-allocation routines return straight objects (no options)
148          and raise an exception in out-of-memory situations
149        - unsafe extensions to cast between function pointers and pointers
150          from/to ints
151        - added structure C_Debug as an alternative to structure C where
152          pointer-dereferencing (|*| and |*!) always check for null-pointers
153        - added open_lib' to DynLinkage;  open_lib' works like open_lib
154          but also takes a (possibly empty) list of existing library handles
155          that the current library depends on
156    
157    ----------------------------------------------------------------------
158    Name: Matthias Blume
159    Date: 2002/01/10
160    Tag: blume-20020110-newffigen
161    Description:
162    
163    1. Updates to portable graph code.
164    
165    2. Major update to ml-nlffigen and ml-nlffi-lib.  Things are much
166       more scalable now so that even huge interfaces such as the one
167       for GTK compile in finite time and space. :-)
168       See src/ml-nlffigen/README for details on what's new.
169    
170  ----------------------------------------------------------------------  ----------------------------------------------------------------------
171  Name: Lal George  Name: Lal George
172  Date: 2001/01/09 14:31:35 EST 2002  Date: 2001/01/09 14:31:35 EST 2002

Legend:
Removed from v.1009  
changed lines
  Added in v.1034

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