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

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