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 749, Fri Dec 8 15:16:36 2000 UTC revision 781, Tue Jan 30 22:48:06 2001 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2001/01/30 17:50:00 EST
17    Tag: blume-20010130-sync
18    Description:
19    
20    This is just a minor update to sync my devel branch with the main brach.
21    The only visible change is the addition of some README files.
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume
25    Date: 2001/01/12 23:30:00 JST
26    Tag: blume-20010112-bootfiles
27    Description:
28    
29    Made a new set of bootfiles that goes with the current state of the
30    repository.
31    
32    ----------------------------------------------------------------------
33    Name: Matthias Blume
34    Date: 2001/01/12 21:20:00 JST
35    Tag: blume-20010112-sync
36    Description:
37    
38    I am just flushing out some minor changes that had accumulated in
39    my private branch in order to sync with the main tree.  (This is
40    mainly because I had CVS trouble when trying to merge _into_ my
41    private branch.)
42    
43    Most people should be completely unaffected by this.
44    
45    ----------------------------------------------------------------------
46    Name: Allen Leung
47    Date: Thu Jan 11 21:03:00 EST 2001
48    Tag: leunga-20010111-labexp=mltree
49    Description:
50    
51    1.  Removed the type LabelExp and replace it by MLTree.
52    2.  Rewritten mltree-simplify with the pattern matcher tool.
53    3.  There were some bugs in alpha code generator which would break
54        64-bit code generation.
55    4.  Redo the tools to generate code with the
56    5.  The CM files in MLRISC (and in src/system/smlnj/MLRISC)
57        are now generated by perl scripts.
58    
59    ----------------------------------------------------------------------
60    Name: Matthias Blume
61    Date: 2001/01/10 21:55:00 JST
62    Tag: blume-20010110-rcc
63    Description:
64    
65    The RCC stuff now seems to work (but only on the x86).
66    This required hacking of the c-calls interface (and -implementation) in
67    MLRISC.
68    
69    Normal compiler users should be unaffected.
70    
71    ----------------------------------------------------------------------
72    Name: Matthias Blume
73    Date: 2001/01/09 01:20:00 JST
74    Tag: blume-20010109-rcc
75    Description:
76    
77    This is a fairly big patch, flushing out a large number of pending
78    changes that I made to my development copy over the last couple of days.
79    
80    Of practical relevance at this moment is a workaround for a pickling
81    bug that Allen ran into the other day.  The cause of the bug itself is
82    still unknown and it might be hard to fix it properly, but the
83    workaround has some merits of its own (namely somewhat reducing pickling
84    overhead for certain libraries).  Therefore, I think this solution should
85    be satisfactory at this time.
86    
87    The rest of the changes (i.e., the vast majority) has to do with my
88    ongoing efforts of providing direct support for C function calls from
89    ML.  At the moment there is a new primop "RAW_CCALL", typing magic
90    in types/cproto.sml (invoked from FLINT/trans/translate.sml), a new
91    case in the FLINT CPS datatype (RCC), changes to cps/convert.sml to
92    translate uses of RAW_CCALL into RCC, and changes to mlriscGen.sml to
93    handle RCC.
94    
95    The last part (the changes to mlriscGen.sml) are still known to be
96    wrong on the x86 and not implemented on all other architectures.  But
97    the infrastructure is in place. I had to change a few functor
98    signatures in the backend to be able to route the CCalls interface
99    from MLRISC there, and I had to specialize the mltree type (on the
100    x86) to include the necessary extensions. (The extensions themselves
101    were already there and redy to go in MLRISC/x86).
102    
103    Everything should be very happy as soon as someone helps me with
104    mlriscGen.sml...
105    
106    In any case, nothing of this should matter to anyone as long as the
107    new primop is not being used (which is going to be the case unless you
108    find it where I hid it :). The rest of the compiler is completely
109    unaffected.
110    
111    ----------------------------------------------------------------------
112    Name: Matthias Blume
113    Date: 2001/01/05 00:30:00 JST
114    Tag: blume-20010105-primops
115    Description:
116    
117    Added some experimental support for work that I am doing right now.
118    These changes mostly concern added primops, but there is also a new
119    experimental C library in the runtime system (but currently not enabled
120    anywhere except on Linux/X86).
121    
122    In the course of adding primops (and playing with them), I discovered that
123    Zhong's INL_PRIM hack (no type info for certain primops) was, in fact, badly
124    broken.  (Zhong was very right he labeled this stuff as "major gross hack".)
125    To recover, I made type information in INL_PRIM mandatory and changed
126    prim.sml as well as built-in.sml accordingly.  The InLine structure now
127    has complete, correct type information (i.e., no bottom types).
128    
129    Since all these changes mean that we need new binfiles, I also bumped the
130    version number to 110.32.1.
131    
132    ----------------------------------------------------------------------
133    Name: Matthias Blume
134    Date: 2000/12/30 22:10:00 JST
135    Tag: blume-20001230-various
136    Description:
137    
138    Added proxy libraries for MLRISC and let MLRISC libraries refer
139    to each other using path anchors.  (See CM manual for explanation.)
140    
141    Updated CM documentation.
142    
143    Fixed some bugs in CM.
144    
145    Implemented "proxy" libraries (= syntactic sugar for CM).
146    
147    Added "-quiet" option to makeml and changed runtime system accordingly.
148    
149    Added cleanup handler for exportML to reset timers and compiler stats.
150    
151    ----------------------------------------------------------------------
152    Name: Lal George
153    Date: 2000/12/22 22:22:58 EST 2000
154    Tag: Release_110_32
155    Description:
156    
157            Infinite precision used throughout MLRISC.
158            see MLRISC/mltree/machine-int.sig
159    
160    ----------------------------------------------------------------------
161    Name: Matthias Blume
162    Date: 2000/12/22 23:16:00 JST
163    Tag: blume-20001222-warn
164    Description:
165    
166    Corrected wording and formatting of some CM warning message which I
167    broke in my previous patch.
168    
169    ----------------------------------------------------------------------
170    Name: Matthias Blume
171    Date: 2000/12/22 21:20:00 JST
172    Tag: blume-20001222-anchorenv
173    Description:
174    
175    Fixed CM's handling of anchor environments in connection with CMB.make.
176    
177    ----------------------------------------------------------------------
178    Name: Matthias Blume
179    Date: 2000/12/22 13:15:00 JST
180    Tag: blume-20001222-cleanup
181    Description:
182    
183    Removed src/cm/ffi which does not (and did not) belong here.
184    
185    ----------------------------------------------------------------------
186    Name: Matthias Blume
187    Date: 2000/12/21 23:55:00 JST
188    Tag: blume-20001221-exn
189    Description:
190    
191    Probably most important: CM no longer silently swallows all exceptions
192    in the compiler.
193    Plus: some other minor CM changes.  For example, CM now reports some
194    sizes for generated binfiles (code, data, envpickle, lambdapickle).
195    
196    ----------------------------------------------------------------------
197    Name: Matthias Blume
198    Date: 2000/12/15 00:01:05 JST
199    Tag: blume-20001215-dirtool
200    Description:
201    
202    - "dir" tool added.
203    - improvements and cleanup to Tools structure
204    - documentation updates
205    
206    ----------------------------------------------------------------------
207    Name: Allen Leung
208    Date: Thu Dec 14 03:45:24 EST 2000
209    Description:
210    Tag:  leunga-20001214-int-inf
211    Description:
212    
213       In IntInf, added these standard functions, which are missing from our
214    implementation:
215    
216        andb : int * int -> int
217        xorb : int * int -> int
218        orb  : int * int -> int
219        notb : int -> int
220         <<   : int * word -> int
221        ~>>  : int * word -> int
222    
223       Not tested, I hope they are correct.
224    
225    ----------------------------------------------------------------------
226    Name: Allen Leung
227    Date: Fri Dec  8 19:23:26 EST 2000
228    Description:
229    Tag:  leunga-20001208-nowhere
230    Description:
231    
232      Slight improvements to the 'nowhere' tool to handle OR-patterns,
233    to generate better error messages etc.  Plus a brief manual.
234    
235    ----------------------------------------------------------------------
236  Name: Lal George  Name: Lal George
237  Date: 2000/12/08 09:54:02 EST 2000  Date: 2000/12/08 09:54:02 EST 2000
238  Tag: Release_110_31  Tag: Release_110_31

Legend:
Removed from v.749  
changed lines
  Added in v.781

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