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 1500, Fri May 28 21:44:42 2004 UTC revision 1632, Mon Sep 27 22:18:07 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/27 17:00:00 CDT
18    Tag: blume-20040927-lazysml
19    Description:
20    
21    Added a new tool class called "lazysml" to CM's tool chest.  The only
22    difference to "sml" is that compilation is done with Control.lazysml
23    set to true.  A source of class "lazysml" is automatically recognized
24    by a file name suffix of ".lml".
25    
26    In addition to the above feature, the original class "sml" now also
27    supports a tool argument "lazy" which has the same effect.  As a
28    result, the following three lines are equivalent:
29    
30        foo.sml : lazysml
31        foo.sml : sml (lazy)
32        foo.sml (lazy)
33    
34    The setting goes into effect both during parsing and during
35    compilation.  The original setting is restored right after parsing and
36    after compilation, respectively.
37    
38    In addition to all the above, there is also a general mechanism to set
39    ANY of the "controls" that are available at the command line via
40    "-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
41    apply as well. (In fact, "lazy" is implemented as a special case of
42    the general mechanism.)
43    
44    The .cm file syntax uses a new keyword tool argument called "with".
45    There are several ways of indicating the desired settings:
46    
47        foo.sml (with:parser.quotations=true)
48        foo.sml (with:(name:parser.quotations value:true))
49        foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
50        foo.sml (with:(name1=value1 name2=value2 ...))
51        foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
52    
53        etc.
54    
55    Another possible abbreviation is to leave out the =v or value:v part
56    if the name refers to a boolean control (in which case the value is
57    taken to be true).  Thus, one could get lazy sml also by saying:
58    
59        foo.sml (with:parser.lazy-keyword=true)
60        foo.sml (with:parser.lazy-keyword)
61        foo.sml (with:(name:parser.lazy-keyword value:true))
62        foo.sml (with:(name:parser.lazy-keyword))
63    
64    ----------------------------------------------------------------------
65    Name: Matthias Blume (blume (at) tti - c (dot) org)
66    Date: 2004/09/24 16:22:00 CDT
67    Tag: blume-20040924-ppc-long-branch
68    Description:
69    
70    Turned message about "emiting long form of branch" off by default.
71    Added a control flag to turn it back on when desired.
72    
73    ----------------------------------------------------------------------
74    Name: Matthias Blume (blume (at) tti - c (dot) org)
75    Date: 2004/09/24 16:05:00 CDT
76    Tag: blume-20040924-rounding
77    Description:
78    
79    Applied patch for setting rounding modes under Mac OS X.  Thanks to
80    Melissa O'Neill for providing the code!
81    
82    ----------------------------------------------------------------------
83    Name: Matthias Blume (blume (at) tti - c (dot) org)
84    Date: 2004/09/23 17:30:00 CDT
85    Tag: blume-20040923-envvars
86    Description:
87    
88    1. Changed definition of type ControlRegistry.registry_tree to
89       include control_info (i.e., the name of the controlling environment
90       variable).
91    
92    2. Added command-line flags -e and -E to print the names of environment
93       variables that can be used to control internal settings.
94       (This uses the new API mentioned in 1.)
95    
96    ----------------------------------------------------------------------
97    Name: Matthias Blume (blume (at) tti - c (dot) org)
98    Date: 2004/09/13 16:50:00 CDT
99    Tag: Release_110_49
100    Description:
101    
102    New working version (110.49).  NEW BOOTFILES!
103    
104    ----------------------------------------------------------------------
105    Name: Matthias Blume
106    Date: 2004/09/13 16:20:00 CDT
107    Tag: blume-20040913-config-mlrisc
108    Description:
109    
110    Put target "mlrisc" back into the default list.
111    (There is no harm in having it, and some users have expressed their
112    wish to have "mlrisc" included by default.)
113    
114    ----------------------------------------------------------------------
115    Name: John Reppy
116    Date: 2004/09/13
117    Tag: jhr-20040913-signals
118    Description:
119    
120    Fixed the signal masking code to properly nest mask/unmask operations
121    on a per-signal basis.
122    
123    ----------------------------------------------------------------------
124    Name: Matthias Blume (blume (at) tti - c (dot) org)
125    Date: 2004/09/08 13:20:00 CDT
126    Tag: blume-20040908-heap-magic
127    Description:
128    
129    Bumped the heap macig number to 0x09082004 to account for the changed
130    layout of the ML frame under MacOS X.
131    
132    ----------------------------------------------------------------------
133    Name: Allen Leung (leunga (at) reservoir (dot) com)
134    Date: 2004/09/03 11:26:00 EST
135    Tag: leunga-20040903-cygwin-install
136    Description:
137    
138       Added a patch to _arch-n-opsys to enable the Cygwin runtime.
139    The Cygwin runtime is turned on by setting the environment
140    variable SMLNJ_CYGWIN_RUNTIME to 1.
141    
142    ----------------------------------------------------------------------
143    Name: Matthias Blume (blume (at) tti - c (dot) org)
144    Date: 2004/08/31 17:15:00 CDT
145    Tag: blume-20040831-core
146    Description:
147    
148    Added some exports to src/compiler/core.cm upon request by J. Joemann.
149    
150    ----------------------------------------------------------------------
151    Name: Matthias Blume (blume (at) tti - c (dot) org)
152    Date: 2004/08/30 17:55:00 CDT
153    Tag: blume-20040830-installer
154    Description:
155    
156    Upon request by Johannes Joemann:
157    
158    - improved ML code of installer to fall back to coping when renaming
159      fails (i.e., when source and target are on different file systems);
160      the code compiles but has yet to be tested in anger
161    - removed mlrisc from list of default targets (config/targets)
162    
163    ----------------------------------------------------------------------
164    Name: Matthias Blume (blume (at) tti - c (dot) org)
165    Date: 2004/08/27 17:20:00 CDT
166    Tag: blume-20040827-ptreql
167    Description:
168    
169    Added ptreql primop to structure InlineT (upon request from Larry
170    Paulson).
171    
172    ----------------------------------------------------------------------
173    Name: Allen Leung (leunga (at) reservoir (dot) com)
174    Date: 2004/08/15 21:21:00 EST
175    Tag: leunga-110_48-udgraph
176    Description:
177    
178    Another bug fix from Carl Hauser:
179    
180    diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
181    > 48c48
182    > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
183    > e::L)
184    > ---
185    > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
186    > Without this, any deletion of an edge in an undirected graph does severe
187    > violence to the graph.
188    
189    ----------------------------------------------------------------------
190    Name: Allen Leung (leunga (at) reservoir (dot) com)
191    Date: 2004/08/10 23:35:00 EST
192    Tag: leunga-110_48-ppc
193    Description:
194    
195       The IBM/MacOS syntax switch on PPC was incorrectly swapped.
196    
197    ----------------------------------------------------------------------
198    Name: Matthias Blume (blume (at) tti - c (dot) org)
199    Date: 2004/08/10 12:00:00 CDT
200    Tag: Release_110_48
201    Description:
202    
203    New working version (110.48).  NEW BOOTFILES!
204    
205    ----------------------------------------------------------------------
206    Name: Allen Leung (leunga (at) reservoir (dot) com)
207    Date: 2004/08/09 12:21:00 EST
208    Tag: leunga-110_47-dijsktra
209    Description:
210    
211    Bug fix from Carl Hauser:
212    
213    single_source_shortest_paths in dijkstra.sml was observed to get wrong
214    answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
215    
216    The problem is that following the expression A.update(dist,s,Num.zero)
217    it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
218    
219    ----------------------------------------------------------------------
220    Name: Matthias Blume (blume (at) tti - c (dot) org)
221    Date: 2004/08/06 18:10:00 CDT
222    Tag: blume-20040806-cmdline
223    Description:
224    
225    Fiddled with handling of command-line options:
226    
227      * sml now quits after processing the command line
228        if -H, -S, -h<n>, or -s<n> appears as the last
229        command-line argument
230      * a new option -q terminates the session when encountered on
231        the command line; subsequent arguments will be ignored
232      * bug fixes: short (erroneous) arguments are no longer ignored
233        completely
234    
235    ----------------------------------------------------------------------
236    Name: Allen Leung (leunga (at) reservoir (dot) com)
237    Date: 2004/08/04 18:17:00 EST
238    Tag: leunga-110_47-ppc-ibm-asm
239    Description:
240    
241      - Added minimal IBM assembly syntax support for PowerPC.
242    
243      - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
244        been altered in the runtime.  We need an automatic way to keep the file
245        in sync.
246    
247    ----------------------------------------------------------------------
248    Name: Matthias Blume (blume (at) tti - c (dot) org)
249    Date: 2004/08/04 14:00:00 CDT
250    Tag: Release_110_47
251    Description:
252    
253    New working version (110.47).  NEW BOOTFILES!
254    
255    ----------------------------------------------------------------------
256    Name: Matthias Blume (blume (at) tti - c (dot) org)
257    Date: 2004/08/03 14:25:00 CDT
258    Tag: blume-20040803-callingconv
259    Description:
260    
261    Added low-level support for choosing C calling conventions by
262    twiddling the type of rawccall.  (See
263    src/compiler/Semant/types/cproto.sml for details.)
264    
265    ----------------------------------------------------------------------
266    Name: Matthias Blume (blume (at) tti - c (dot) org)
267    Date: 2004/08/02 15:55:00 CDT
268    Tag: blume-20040802-backout
269    Description:
270    
271    Backed out of change to win32-filesys.c.  The earlier patch to
272    get_file_time caused CM to produce files with the wrong time stamp.
273    
274    ----------------------------------------------------------------------
275    Name: Matthias Blume (blume (at) tti - c (dot) org)
276    Date: 2004/08/02 14:45:00 CDT
277    Tag: blume-20040802-nlffi-win32
278    Description:
279    
280    Added NLFFI support for Win32, adapted from a patch provided by David
281    Hansel.  This is currently completely untested.  Also, the issue
282    concerning stdcall vs. ccall is still unresolved.
283    
284    ----------------------------------------------------------------------
285    Name: Matthias Blume (blume (at) tti - c (dot) org)
286    Date: 2004/07/30 17:55:00 CDT
287    Tag: blume-20040730-various
288    Description:
289    
290    Gearing up towards 110.47...
291    
292    - various minor bugfixes to ml-nlffigen
293    - a beginning of a manual for nlffi
294    
295    - eliminated 'export name=value' in config/install.sh as this does
296      not work with certain versions of /bin/sh
297      (Thanks to David King at Motorola for catching this.)
298    
299    - several bugfixes provided or suggested by David Hansel at Reactive Systems:
300      - added a test for tm==NULL to gmtime.c and localtime.c
301      - applied patch for incorrect GetFileTime under win32
302      - toSeconds -> toMilliseconds in Win32/win32-process.sml
303    
304    ----------------------------------------------------------------------
305    Name: Matthias Blume (blume (at) tti - c (dot) org)
306    Date: 2004/07/21 18:20:00 CDT
307    Tag: blume-20040721-nlffigen
308    Description:
309    
310    - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
311      for a typedef to an incomplete type, but leave out the "typ" member.
312      (This is just for consistency.)
313    - Started to produce what is supposed to become better (i.e., comprehensive)
314      documentation of what ml-nlffigen does and produces.
315    
316    ----------------------------------------------------------------------
317    Name: Matthias Blume (blume (at) tti - c (dot) org)
318    Date: 2004/07/14 16:25:00 CDT
319    Tag: blume-20040714-union
320    Description:
321    
322    Added C_UNION to c-calls/c-types.sml and updated the machinery
323    (ml-nlffigen, cproto.sml) that conveys C function interface
324    information to the code generator.
325    
326    However, the actual architecture-specific implementation of function
327    arguments and results that are C unions is still not implemented.
328    
329    ----------------------------------------------------------------------
330    Name: Allen Leung (leunga (at) reservoir (dot) com)
331    Date: 2004/07/14 14:38:00 EST
332    Tag: leunga-110_46_1-ppc-lwzu
333    Description:
334    
335        Added these instructions to the PowerPC architecture:
336        LBZU(X), LHZU(X), LWZU(X),
337        STWU(X), STFDU, STFSU
338    
339        etc...
340    
341        Note: I haven't added their instruction encoding into the description.
342    
343    ----------------------------------------------------------------------
344    Name: Allen Leung (leunga (at) reservoir (dot) com)
345    Date: 2004/07/13 15:04:00 EST
346    Tag: leunga-110_46_1-ppc-lwarx
347    Description:
348    
349       Added the two instructions LWARX and STWCX to the PowerPC
350    instruction set.
351    
352       A (untested) rewrite of loop-structure.sml.  The old version
353    is completely broken.
354    
355    ----------------------------------------------------------------------
356    Name: Matthias Blume (blume (at) tti - c (dot) org)
357    Date: 2004/07/13 13:50:00 CDT
358    Tag: blume-20040713-nlffi
359    Description:
360    
361    - use paramAlloc to report c-calls with too many arguments
362      (for PPC version where parameter area is pre-allocated)
363    - added ccall_maxargspace to machspec (to implement the above)
364    - made "make" commend in CM's "make" tool configurable
365    - added option (default: on) for passing the name of the SML/NJ's "bin"
366      directory to "make"; the call looks like this:
367    
368         make <options> SMLNJ_BINDIR=<dir> <target>
369    
370      This can be used by the Makefile to, e.g., pick the "right" version
371      of ml-nlffigen.
372    - minor code tweaks
373    
374    ----------------------------------------------------------------------
375    Name: Matthias Blume (blume (at) tti - c (dot) org)
376    Date: 2004/07/12 22:50:00 CDT
377    Tag: blume-110_46_1-macosx-nlffi
378    Description:
379    
380    NLFFI under Mac OS X now working (sort of).  This is largely untested,
381    though.
382    
383    Note:  1. You have to make a new, clean build of the runtime system.
384           2. There are new BOOTFILES, you have to use them!
385              (Doing the bootstrap process yourself would be *very* painful!
386               If you absolutely have to do it, build the system under
387               a different architecture and then cross-compile.)
388    
389    Version bumped to 110.46.1 to account for runtime data format changes.
390    
391    ----------------------------------------------------------------------
392    Name: Matthias Blume (blume (at) tti - c (dot) org)
393    Date: 2004/06/18 14:30:00 CDT
394    Tag: blume-20040618-unix
395    Description:
396    
397    Changed the implementation of structure Unix so that the same stream
398    is returned every time one of the {text,bin}{In,Out}streamOf functions
399    is invoked on the same proc.  This is not what the spec currently
400    says -- although IMO it arguably should.  (See discussion below.)
401    
402    ----------------------------------------------------------------------
403    Name: Matthias Blume (blume (at) tti - c (dot) org)
404    Date: 2004/06/17 18:15:00 CDT
405    Tag: Release_110_46
406    Description:
407    
408    New working version (110.46).  NEW BOOTFILES!
409    
410    ----------------------------------------------------------------------
411    Name: Matthias Blume (blume (at) tti - c (dot) org)
412    Date: 2004/06/17 17:20:00 CDT
413    Tag: blume-20040617-timer-unix
414    Description:
415    
416    Changed the interface of structures Timer and Unix to match the most
417    recent Basis spec.
418    
419    In the case of Unix there still seems to be an open/weird issue:
420    
421       The {text,bin}{In,Out}streamOf functions are supposed to create
422       fresh streams whenever they are called -- as opposed to have them
423       return the same stream every time.  This design is supposed to
424       prevent space leaks caused by proc values hanging on to streams.
425    
426       The reap function, on the other hand, is supposed to close the
427       streams.  This cannot be done without having a handle on the
428       stream in proc after all...
429    
430    I took the liberty to implement the following stopgap solution:
431    
432      The proc value hangs on to the most recently created stream(s).
433      Reap closes those.  If either or both of the two streams hadn't
434      been created at all yet, then reap will close the corresponding
435      file descriptors directly.
436    
437    PS: I don't understand the original space leak argument anymore.  If
438    a proc hangs on to the imperative stream, then I/O operations on those
439    will advance the state of the cached stream and avoid the space leak.
440    
441    ----------------------------------------------------------------------
442    Name: Matthias Blume (blume (at) tti - c (dot) org)
443  Date: 2004/05/28 16:45:00 CDT  Date: 2004/05/28 16:45:00 CDT
444  Tag: blume-20040528-basis  Tag: blume-20040528-basis
445  Description:  Description:
# Line 29  Line 455 
455  CM now ignores (but still accepts) the "owner" information in group  CM now ignores (but still accepts) the "owner" information in group
456  descriptions.  The owner of a group is its next enclosing  descriptions.  The owner of a group is its next enclosing
457  library. Each group must have a unique owner.  (There is a virtual  library. Each group must have a unique owner.  (There is a virtual
458  "toplevel" library that own groups which are not nested within a real  "toplevel" library that owns groups which are not nested within a real
459  library.)  Previously, each group had to explicitly declare its owner,  library.)  Previously, each group had to explicitly declare its owner,
460  and CM would check that such a declaration is correct.  The new scheme  and CM would check that such a declaration is correct.  The new scheme
461  is to have CM check that for each group there is precisely one owning  is to have CM check that for each group there is precisely one owning

Legend:
Removed from v.1500  
changed lines
  Added in v.1632

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