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 1016, Tue Jan 15 23:10:06 2002 UTC revision 1036, Fri Jan 25 22:05:44 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/25
18    Tag: blume-20020125-ffi
19    Description:
20    
21    A large number of tweaks and improvements to ml-nlffi-lib and
22    ml-nlffigen:
23    
24       - ML represenation types have been streamlined
25       - getter and setter functions work with concrete values, not abstract
26         ones where possible
27       - ml-nlffigen command line more flexible (see README file there)
28       - some bugs have been fixed (hopefully)
29    
30    ----------------------------------------------------------------------
31    Name: Lal George
32    Date: 2002/01/24
33    Tag: george-20020124-risc-ra-interface
34    Description:
35    
36       There is a dramatic simplification in the interface to the
37       register allocator for RISC architectures as a result of making
38       parallel copy instructions explicit.
39    
40    ----------------------------------------------------------------------
41    Name: Matthias Blume
42    Date: 2002/01/22
43    Tag: blume-20020122-x86-ccalls
44    Description:
45    
46    Bug fix for c-calls on x86 (having to do with how char- and
47    short-arguments are being handled).
48    
49    ----------------------------------------------------------------------
50    Name: Matthias Blume
51    Date: 2002/01/21
52    Tag: blume-20020121-ff
53    Description:
54    
55    Another day of fiddling with the FFI...
56    
57    1. Bug fix/workaround:  CKIT does not complain about negative array
58       dimensions, so ml-nlffigen has to guard itself against this possibility.
59       (Otherwise a negative dimension would send it into an infinite loop.)
60    
61    2. Some of the abstract types (light objects, light pointers, most "base"
62       types) in structure C are now eqtypes.
63    
64    3. Added constructors and test functions for NULL function pointers.
65    
66    ----------------------------------------------------------------------
67    Name: Matthias Blume
68    Date: 2002/01/18
69    Tag: blume-20020118-ready-for-new-release
70    Description:
71    
72    Made config/srcarchiveurl point to a new place.  (Will provide boot
73    files shortly.)
74    
75    Maybe we christen this to be 110.38?
76    
77    ----------------------------------------------------------------------
78    Name: Matthias Blume
79    Date: 2002/01/18
80    Tag: blume-20020118-more-ffifiddle
81    Description:
82    
83    Today's FFI fiddling:
84    
85      - Provided a structure CGetSet with "convenient" versions of C.Get.* and
86        C.Set.* that use concrete (MLRep.*) arguments and results instead
87        of abstract ones.
88    
89      - Provided word-style bit operations etc. for "int" representation
90        types in MLRep.S<Foo>Bitops where <Foo> ranges over Char, Int, Short,
91        and Long.
92    
93    ----------------------------------------------------------------------
94    Name: Matthias Blume
95    Date: 2002/01/18
96    Tag: blume-20020118-use-x86-fp
97    Description:
98    
99    Now that x86-fast-fp seems to be working, I turned it back on again
100    by default.  (Seems to work fine now, even with the FFI.)
101    
102    Other than that, I added some documentation about the FFI to
103    src/ml-nlffigen/README and updated the FFI test examples in
104    src/ml-nlffi-lib/Tests/*.
105    
106    ----------------------------------------------------------------------
107    Name: Allen Leung
108    Date: 2002/01/17
109    Tag: leunga-20020117-x86-fast-fp-call
110    Description:
111    
112       1. Fixed a problem with handling return fp values when x86's fast fp
113          mode is turned on.
114    
115       2. Minor pretty printing fix for cellset.  Print %st(0) as %st(0) instead
116          of %f32.
117    
118       3. Added a constructor INT32lit to the ast of MLRISC tools.
119    
120    ----------------------------------------------------------------------
121    Name: Matthias Blume
122    Date: 2002/01/16
123    Tag: blume-20020116-ffifiddle
124    Description:
125    
126    More fiddling with the FFI interface:
127    
128     - Make constness 'c instead of rw wherever possible.  This eliminates
129       the need for certain explicit coercions.  (However, due to ML's
130       value polymorphism, there will still be many cases where explicit
131       coercions are necessary.  Phantom types are not the whole answer
132       to modeling a subtyping relationship in ML.)
133    
134     - ro/rw coersions for pointers added.  (Avoids the detour through */&.)
135    
136     - "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
137       clumsy workaround for varargs problem.)
138    
139  ----------------------------------------------------------------------  ----------------------------------------------------------------------
140  Name: Lal George  Name: Lal George
141  Date: 2002/01/15  Date: 2002/01/15

Legend:
Removed from v.1016  
changed lines
  Added in v.1036

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