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

Legend:
Removed from v.744  
changed lines
  Added in v.775

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