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 1537, Tue Jul 13 18:49:54 2004 UTC revision 1634, Tue Sep 28 15:53:10 2004 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
17    Date: 2004/09/28 10:53:00 CDT
18    Tag: blume-20040928-controls
19    Description:
20    
21    Some cleanup of the controls code.
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume (blume (at) tti - c (dot) org)
25    Date: 2004/09/27 22:08:00 CDT
26    Tag: blume-20040927-controls
27    Description:
28    
29    Added two pieces of functionality to the Controls interface:
30    
31    1.   val save'restore: 'a control -> unit -> unit
32    
33       grabs the current value of the control in stage 1 and restores it
34       in stage 2.
35    
36    2.   val set' : 'a control * 'a -> unit -> unit
37    
38       stores the given value into the control in stage 2 (i.e., delayed)
39       but does all error checking in stage 1.
40       (This is for string controls that need to do parse their argument --
41        something that might fail.  In some cases, notably in CM, one
42        already knows the intended argument but wants to delay the actual
43        assignment until a time when error recovery would be more difficult.)
44    
45    Changed the handling of controls in tool arguments to classes "sml" and
46    "lazysml":
47       - use Controls.save'restore as a more robust way of restoring the
48         old value (in particular: without having to re-parse the string)
49       - use controls to handle the "overload" keyword in the init group
50         (I believe this change actually fixes a long-standing obscure bug.)
51    
52    ----------------------------------------------------------------------
53    Name: Matthias Blume (blume (at) tti - c (dot) org)
54    Date: 2004/09/27 17:00:00 CDT
55    Tag: blume-20040927-lazysml
56    Description:
57    
58    Added a new tool class called "lazysml" to CM's tool chest.  The only
59    difference to "sml" is that compilation is done with Control.lazysml
60    set to true.  A source of class "lazysml" is automatically recognized
61    by a file name suffix of ".lml".
62    
63    In addition to the above feature, the original class "sml" now also
64    supports a tool argument "lazy" which has the same effect.  As a
65    result, the following three lines are equivalent:
66    
67        foo.sml : lazysml
68        foo.sml : sml (lazy)
69        foo.sml (lazy)
70    
71    The setting goes into effect both during parsing and during
72    compilation.  The original setting is restored right after parsing and
73    after compilation, respectively.
74    
75    In addition to all the above, there is also a general mechanism to set
76    ANY of the "controls" that are available at the command line via
77    "-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
78    apply as well. (In fact, "lazy" is implemented as a special case of
79    the general mechanism.)
80    
81    The .cm file syntax uses a new keyword tool argument called "with".
82    There are several ways of indicating the desired settings:
83    
84        foo.sml (with:parser.quotations=true)
85        foo.sml (with:(name:parser.quotations value:true))
86        foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
87        foo.sml (with:(name1=value1 name2=value2 ...))
88        foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
89    
90        etc.
91    
92    Another possible abbreviation is to leave out the =v or value:v part
93    if the name refers to a boolean control (in which case the value is
94    taken to be true).  Thus, one could get lazy sml also by saying:
95    
96        foo.sml (with:parser.lazy-keyword=true)
97        foo.sml (with:parser.lazy-keyword)
98        foo.sml (with:(name:parser.lazy-keyword value:true))
99        foo.sml (with:(name:parser.lazy-keyword))
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume (blume (at) tti - c (dot) org)
103    Date: 2004/09/24 16:22:00 CDT
104    Tag: blume-20040924-ppc-long-branch
105    Description:
106    
107    Turned message about "emiting long form of branch" off by default.
108    Added a control flag to turn it back on when desired.
109    
110    ----------------------------------------------------------------------
111    Name: Matthias Blume (blume (at) tti - c (dot) org)
112    Date: 2004/09/24 16:05:00 CDT
113    Tag: blume-20040924-rounding
114    Description:
115    
116    Applied patch for setting rounding modes under Mac OS X.  Thanks to
117    Melissa O'Neill for providing the code!
118    
119    ----------------------------------------------------------------------
120    Name: Matthias Blume (blume (at) tti - c (dot) org)
121    Date: 2004/09/23 17:30:00 CDT
122    Tag: blume-20040923-envvars
123    Description:
124    
125    1. Changed definition of type ControlRegistry.registry_tree to
126       include control_info (i.e., the name of the controlling environment
127       variable).
128    
129    2. Added command-line flags -e and -E to print the names of environment
130       variables that can be used to control internal settings.
131       (This uses the new API mentioned in 1.)
132    
133    ----------------------------------------------------------------------
134    Name: Matthias Blume (blume (at) tti - c (dot) org)
135    Date: 2004/09/13 16:50:00 CDT
136    Tag: Release_110_49
137    Description:
138    
139    New working version (110.49).  NEW BOOTFILES!
140    
141    ----------------------------------------------------------------------
142    Name: Matthias Blume
143    Date: 2004/09/13 16:20:00 CDT
144    Tag: blume-20040913-config-mlrisc
145    Description:
146    
147    Put target "mlrisc" back into the default list.
148    (There is no harm in having it, and some users have expressed their
149    wish to have "mlrisc" included by default.)
150    
151    ----------------------------------------------------------------------
152    Name: John Reppy
153    Date: 2004/09/13
154    Tag: jhr-20040913-signals
155    Description:
156    
157    Fixed the signal masking code to properly nest mask/unmask operations
158    on a per-signal basis.
159    
160    ----------------------------------------------------------------------
161    Name: Matthias Blume (blume (at) tti - c (dot) org)
162    Date: 2004/09/08 13:20:00 CDT
163    Tag: blume-20040908-heap-magic
164    Description:
165    
166    Bumped the heap macig number to 0x09082004 to account for the changed
167    layout of the ML frame under MacOS X.
168    
169    ----------------------------------------------------------------------
170    Name: Allen Leung (leunga (at) reservoir (dot) com)
171    Date: 2004/09/03 11:26:00 EST
172    Tag: leunga-20040903-cygwin-install
173    Description:
174    
175       Added a patch to _arch-n-opsys to enable the Cygwin runtime.
176    The Cygwin runtime is turned on by setting the environment
177    variable SMLNJ_CYGWIN_RUNTIME to 1.
178    
179    ----------------------------------------------------------------------
180    Name: Matthias Blume (blume (at) tti - c (dot) org)
181    Date: 2004/08/31 17:15:00 CDT
182    Tag: blume-20040831-core
183    Description:
184    
185    Added some exports to src/compiler/core.cm upon request by J. Joemann.
186    
187    ----------------------------------------------------------------------
188    Name: Matthias Blume (blume (at) tti - c (dot) org)
189    Date: 2004/08/30 17:55:00 CDT
190    Tag: blume-20040830-installer
191    Description:
192    
193    Upon request by Johannes Joemann:
194    
195    - improved ML code of installer to fall back to coping when renaming
196      fails (i.e., when source and target are on different file systems);
197      the code compiles but has yet to be tested in anger
198    - removed mlrisc from list of default targets (config/targets)
199    
200    ----------------------------------------------------------------------
201    Name: Matthias Blume (blume (at) tti - c (dot) org)
202    Date: 2004/08/27 17:20:00 CDT
203    Tag: blume-20040827-ptreql
204    Description:
205    
206    Added ptreql primop to structure InlineT (upon request from Larry
207    Paulson).
208    
209    ----------------------------------------------------------------------
210    Name: Allen Leung (leunga (at) reservoir (dot) com)
211    Date: 2004/08/15 21:21:00 EST
212    Tag: leunga-110_48-udgraph
213    Description:
214    
215    Another bug fix from Carl Hauser:
216    
217    diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
218    > 48c48
219    > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
220    > e::L)
221    > ---
222    > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
223    > Without this, any deletion of an edge in an undirected graph does severe
224    > violence to the graph.
225    
226    ----------------------------------------------------------------------
227    Name: Allen Leung (leunga (at) reservoir (dot) com)
228    Date: 2004/08/10 23:35:00 EST
229    Tag: leunga-110_48-ppc
230    Description:
231    
232       The IBM/MacOS syntax switch on PPC was incorrectly swapped.
233    
234    ----------------------------------------------------------------------
235    Name: Matthias Blume (blume (at) tti - c (dot) org)
236    Date: 2004/08/10 12:00:00 CDT
237    Tag: Release_110_48
238    Description:
239    
240    New working version (110.48).  NEW BOOTFILES!
241    
242    ----------------------------------------------------------------------
243    Name: Allen Leung (leunga (at) reservoir (dot) com)
244    Date: 2004/08/09 12:21:00 EST
245    Tag: leunga-110_47-dijsktra
246    Description:
247    
248    Bug fix from Carl Hauser:
249    
250    single_source_shortest_paths in dijkstra.sml was observed to get wrong
251    answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
252    
253    The problem is that following the expression A.update(dist,s,Num.zero)
254    it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
255    
256    ----------------------------------------------------------------------
257    Name: Matthias Blume (blume (at) tti - c (dot) org)
258    Date: 2004/08/06 18:10:00 CDT
259    Tag: blume-20040806-cmdline
260    Description:
261    
262    Fiddled with handling of command-line options:
263    
264      * sml now quits after processing the command line
265        if -H, -S, -h<n>, or -s<n> appears as the last
266        command-line argument
267      * a new option -q terminates the session when encountered on
268        the command line; subsequent arguments will be ignored
269      * bug fixes: short (erroneous) arguments are no longer ignored
270        completely
271    
272    ----------------------------------------------------------------------
273    Name: Allen Leung (leunga (at) reservoir (dot) com)
274    Date: 2004/08/04 18:17:00 EST
275    Tag: leunga-110_47-ppc-ibm-asm
276    Description:
277    
278      - Added minimal IBM assembly syntax support for PowerPC.
279    
280      - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
281        been altered in the runtime.  We need an automatic way to keep the file
282        in sync.
283    
284    ----------------------------------------------------------------------
285    Name: Matthias Blume (blume (at) tti - c (dot) org)
286    Date: 2004/08/04 14:00:00 CDT
287    Tag: Release_110_47
288    Description:
289    
290    New working version (110.47).  NEW BOOTFILES!
291    
292    ----------------------------------------------------------------------
293    Name: Matthias Blume (blume (at) tti - c (dot) org)
294    Date: 2004/08/03 14:25:00 CDT
295    Tag: blume-20040803-callingconv
296    Description:
297    
298    Added low-level support for choosing C calling conventions by
299    twiddling the type of rawccall.  (See
300    src/compiler/Semant/types/cproto.sml for details.)
301    
302    ----------------------------------------------------------------------
303    Name: Matthias Blume (blume (at) tti - c (dot) org)
304    Date: 2004/08/02 15:55:00 CDT
305    Tag: blume-20040802-backout
306    Description:
307    
308    Backed out of change to win32-filesys.c.  The earlier patch to
309    get_file_time caused CM to produce files with the wrong time stamp.
310    
311    ----------------------------------------------------------------------
312    Name: Matthias Blume (blume (at) tti - c (dot) org)
313    Date: 2004/08/02 14:45:00 CDT
314    Tag: blume-20040802-nlffi-win32
315    Description:
316    
317    Added NLFFI support for Win32, adapted from a patch provided by David
318    Hansel.  This is currently completely untested.  Also, the issue
319    concerning stdcall vs. ccall is still unresolved.
320    
321    ----------------------------------------------------------------------
322    Name: Matthias Blume (blume (at) tti - c (dot) org)
323    Date: 2004/07/30 17:55:00 CDT
324    Tag: blume-20040730-various
325    Description:
326    
327    Gearing up towards 110.47...
328    
329    - various minor bugfixes to ml-nlffigen
330    - a beginning of a manual for nlffi
331    
332    - eliminated 'export name=value' in config/install.sh as this does
333      not work with certain versions of /bin/sh
334      (Thanks to David King at Motorola for catching this.)
335    
336    - several bugfixes provided or suggested by David Hansel at Reactive Systems:
337      - added a test for tm==NULL to gmtime.c and localtime.c
338      - applied patch for incorrect GetFileTime under win32
339      - toSeconds -> toMilliseconds in Win32/win32-process.sml
340    
341    ----------------------------------------------------------------------
342    Name: Matthias Blume (blume (at) tti - c (dot) org)
343    Date: 2004/07/21 18:20:00 CDT
344    Tag: blume-20040721-nlffigen
345    Description:
346    
347    - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
348      for a typedef to an incomplete type, but leave out the "typ" member.
349      (This is just for consistency.)
350    - Started to produce what is supposed to become better (i.e., comprehensive)
351      documentation of what ml-nlffigen does and produces.
352    
353    ----------------------------------------------------------------------
354    Name: Matthias Blume (blume (at) tti - c (dot) org)
355    Date: 2004/07/14 16:25:00 CDT
356    Tag: blume-20040714-union
357    Description:
358    
359    Added C_UNION to c-calls/c-types.sml and updated the machinery
360    (ml-nlffigen, cproto.sml) that conveys C function interface
361    information to the code generator.
362    
363    However, the actual architecture-specific implementation of function
364    arguments and results that are C unions is still not implemented.
365    
366    ----------------------------------------------------------------------
367    Name: Allen Leung (leunga (at) reservoir (dot) com)
368    Date: 2004/07/14 14:38:00 EST
369    Tag: leunga-110_46_1-ppc-lwzu
370    Description:
371    
372        Added these instructions to the PowerPC architecture:
373        LBZU(X), LHZU(X), LWZU(X),
374        STWU(X), STFDU, STFSU
375    
376        etc...
377    
378        Note: I haven't added their instruction encoding into the description.
379    
380    ----------------------------------------------------------------------
381    Name: Allen Leung (leunga (at) reservoir (dot) com)
382    Date: 2004/07/13 15:04:00 EST
383    Tag: leunga-110_46_1-ppc-lwarx
384    Description:
385    
386       Added the two instructions LWARX and STWCX to the PowerPC
387    instruction set.
388    
389       A (untested) rewrite of loop-structure.sml.  The old version
390    is completely broken.
391    
392    ----------------------------------------------------------------------
393    Name: Matthias Blume (blume (at) tti - c (dot) org)
394  Date: 2004/07/13 13:50:00 CDT  Date: 2004/07/13 13:50:00 CDT
395  Tag: blume-20040713-nlffi  Tag: blume-20040713-nlffi
396  Description:  Description:

Legend:
Removed from v.1537  
changed lines
  Added in v.1634

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