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 1486, Tue May 11 17:04:01 2004 UTC revision 1619, Wed Sep 8 18:19:45 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/08 13:20:00 CDT
18    Tag: blume-20040908-heap-magic
19    Description:
20    
21    Bumped the heap macig number to 0x09082004 to account for the changed
22    layout of the ML frame under MacOS X.
23    
24    ----------------------------------------------------------------------
25    Name: Allen Leung (leunga (at) reservoir (dot) com)
26    Date: 2004/09/03 11:26:00 EST
27    Tag: leunga-20040903-cygwin-install
28    Description:
29    
30       Added a patch to _arch-n-opsys to enable the Cygwin runtime.
31    The Cygwin runtime is turned on by setting the environment
32    variable SMLNJ_CYGWIN_RUNTIME to 1.
33    
34    ----------------------------------------------------------------------
35    Name: Matthias Blume (blume (at) tti - c (dot) org)
36    Date: 2004/08/31 17:15:00 CDT
37    Tag: blume-20040831-core
38    Description:
39    
40    Added some exports to src/compiler/core.cm upon request by J. Joemann.
41    
42    ----------------------------------------------------------------------
43    Name: Matthias Blume (blume (at) tti - c (dot) org)
44    Date: 2004/08/30 17:55:00 CDT
45    Tag: blume-20040830-installer
46    Description:
47    
48    Upon request by Johannes Joemann:
49    
50    - improved ML code of installer to fall back to coping when renaming
51      fails (i.e., when source and target are on different file systems);
52      the code compiles but has yet to be tested in anger
53    - removed mlrisc from list of default targets (config/targets)
54    
55    ----------------------------------------------------------------------
56    Name: Matthias Blume (blume (at) tti - c (dot) org)
57    Date: 2004/08/27 17:20:00 CDT
58    Tag: blume-20040827-ptreql
59    Description:
60    
61    Added ptreql primop to structure InlineT (upon request from Larry
62    Paulson).
63    
64    ----------------------------------------------------------------------
65    Name: Allen Leung (leunga (at) reservoir (dot) com)
66    Date: 2004/08/15 21:21:00 EST
67    Tag: leunga-110_48-udgraph
68    Description:
69    
70    Another bug fix from Carl Hauser:
71    
72    diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
73    > 48c48
74    > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
75    > e::L)
76    > ---
77    > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
78    > Without this, any deletion of an edge in an undirected graph does severe
79    > violence to the graph.
80    
81    ----------------------------------------------------------------------
82    Name: Allen Leung (leunga (at) reservoir (dot) com)
83    Date: 2004/08/10 23:35:00 EST
84    Tag: leunga-110_48-ppc
85    Description:
86    
87       The IBM/MacOS syntax switch on PPC was incorrectly swapped.
88    
89    ----------------------------------------------------------------------
90    Name: Matthias Blume (blume (at) tti - c (dot) org)
91    Date: 2004/08/10 12:00:00 CDT
92    Tag: Release_110_48
93    Description:
94    
95    New working version (110.48).  NEW BOOTFILES!
96    
97    ----------------------------------------------------------------------
98    Name: Allen Leung (leunga (at) reservoir (dot) com)
99    Date: 2004/08/09 12:21:00 EST
100    Tag: leunga-110_47-dijsktra
101    Description:
102    
103    Bug fix from Carl Hauser:
104    
105    single_source_shortest_paths in dijkstra.sml was observed to get wrong
106    answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
107    
108    The problem is that following the expression A.update(dist,s,Num.zero)
109    it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
110    
111    ----------------------------------------------------------------------
112    Name: Matthias Blume (blume (at) tti - c (dot) org)
113    Date: 2004/08/06 18:10:00 CDT
114    Tag: blume-20040806-cmdline
115    Description:
116    
117    Fiddled with handling of command-line options:
118    
119      * sml now quits after processing the command line
120        if -H, -S, -h<n>, or -s<n> appears as the last
121        command-line argument
122      * a new option -q terminates the session when encountered on
123        the command line; subsequent arguments will be ignored
124      * bug fixes: short (erroneous) arguments are no longer ignored
125        completely
126    
127    ----------------------------------------------------------------------
128    Name: Allen Leung (leunga (at) reservoir (dot) com)
129    Date: 2004/08/04 18:17:00 EST
130    Tag: leunga-110_47-ppc-ibm-asm
131    Description:
132    
133      - Added minimal IBM assembly syntax support for PowerPC.
134    
135      - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
136        been altered in the runtime.  We need an automatic way to keep the file
137        in sync.
138    
139    ----------------------------------------------------------------------
140    Name: Matthias Blume (blume (at) tti - c (dot) org)
141    Date: 2004/08/04 14:00:00 CDT
142    Tag: Release_110_47
143    Description:
144    
145    New working version (110.47).  NEW BOOTFILES!
146    
147    ----------------------------------------------------------------------
148    Name: Matthias Blume (blume (at) tti - c (dot) org)
149    Date: 2004/08/03 14:25:00 CDT
150    Tag: blume-20040803-callingconv
151    Description:
152    
153    Added low-level support for choosing C calling conventions by
154    twiddling the type of rawccall.  (See
155    src/compiler/Semant/types/cproto.sml for details.)
156    
157    ----------------------------------------------------------------------
158    Name: Matthias Blume (blume (at) tti - c (dot) org)
159    Date: 2004/08/02 15:55:00 CDT
160    Tag: blume-20040802-backout
161    Description:
162    
163    Backed out of change to win32-filesys.c.  The earlier patch to
164    get_file_time caused CM to produce files with the wrong time stamp.
165    
166    ----------------------------------------------------------------------
167    Name: Matthias Blume (blume (at) tti - c (dot) org)
168    Date: 2004/08/02 14:45:00 CDT
169    Tag: blume-20040802-nlffi-win32
170    Description:
171    
172    Added NLFFI support for Win32, adapted from a patch provided by David
173    Hansel.  This is currently completely untested.  Also, the issue
174    concerning stdcall vs. ccall is still unresolved.
175    
176    ----------------------------------------------------------------------
177    Name: Matthias Blume (blume (at) tti - c (dot) org)
178    Date: 2004/07/30 17:55:00 CDT
179    Tag: blume-20040730-various
180    Description:
181    
182    Gearing up towards 110.47...
183    
184    - various minor bugfixes to ml-nlffigen
185    - a beginning of a manual for nlffi
186    
187    - eliminated 'export name=value' in config/install.sh as this does
188      not work with certain versions of /bin/sh
189      (Thanks to David King at Motorola for catching this.)
190    
191    - several bugfixes provided or suggested by David Hansel at Reactive Systems:
192      - added a test for tm==NULL to gmtime.c and localtime.c
193      - applied patch for incorrect GetFileTime under win32
194      - toSeconds -> toMilliseconds in Win32/win32-process.sml
195    
196    ----------------------------------------------------------------------
197    Name: Matthias Blume (blume (at) tti - c (dot) org)
198    Date: 2004/07/21 18:20:00 CDT
199    Tag: blume-20040721-nlffigen
200    Description:
201    
202    - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
203      for a typedef to an incomplete type, but leave out the "typ" member.
204      (This is just for consistency.)
205    - Started to produce what is supposed to become better (i.e., comprehensive)
206      documentation of what ml-nlffigen does and produces.
207    
208    ----------------------------------------------------------------------
209    Name: Matthias Blume (blume (at) tti - c (dot) org)
210    Date: 2004/07/14 16:25:00 CDT
211    Tag: blume-20040714-union
212    Description:
213    
214    Added C_UNION to c-calls/c-types.sml and updated the machinery
215    (ml-nlffigen, cproto.sml) that conveys C function interface
216    information to the code generator.
217    
218    However, the actual architecture-specific implementation of function
219    arguments and results that are C unions is still not implemented.
220    
221    ----------------------------------------------------------------------
222    Name: Allen Leung (leunga (at) reservoir (dot) com)
223    Date: 2004/07/14 14:38:00 EST
224    Tag: leunga-110_46_1-ppc-lwzu
225    Description:
226    
227        Added these instructions to the PowerPC architecture:
228        LBZU(X), LHZU(X), LWZU(X),
229        STWU(X), STFDU, STFSU
230    
231        etc...
232    
233        Note: I haven't added their instruction encoding into the description.
234    
235    ----------------------------------------------------------------------
236    Name: Allen Leung (leunga (at) reservoir (dot) com)
237    Date: 2004/07/13 15:04:00 EST
238    Tag: leunga-110_46_1-ppc-lwarx
239    Description:
240    
241       Added the two instructions LWARX and STWCX to the PowerPC
242    instruction set.
243    
244       A (untested) rewrite of loop-structure.sml.  The old version
245    is completely broken.
246    
247    ----------------------------------------------------------------------
248    Name: Matthias Blume (blume (at) tti - c (dot) org)
249    Date: 2004/07/13 13:50:00 CDT
250    Tag: blume-20040713-nlffi
251    Description:
252    
253    - use paramAlloc to report c-calls with too many arguments
254      (for PPC version where parameter area is pre-allocated)
255    - added ccall_maxargspace to machspec (to implement the above)
256    - made "make" commend in CM's "make" tool configurable
257    - added option (default: on) for passing the name of the SML/NJ's "bin"
258      directory to "make"; the call looks like this:
259    
260         make <options> SMLNJ_BINDIR=<dir> <target>
261    
262      This can be used by the Makefile to, e.g., pick the "right" version
263      of ml-nlffigen.
264    - minor code tweaks
265    
266    ----------------------------------------------------------------------
267    Name: Matthias Blume (blume (at) tti - c (dot) org)
268    Date: 2004/07/12 22:50:00 CDT
269    Tag: blume-110_46_1-macosx-nlffi
270    Description:
271    
272    NLFFI under Mac OS X now working (sort of).  This is largely untested,
273    though.
274    
275    Note:  1. You have to make a new, clean build of the runtime system.
276           2. There are new BOOTFILES, you have to use them!
277              (Doing the bootstrap process yourself would be *very* painful!
278               If you absolutely have to do it, build the system under
279               a different architecture and then cross-compile.)
280    
281    Version bumped to 110.46.1 to account for runtime data format changes.
282    
283    ----------------------------------------------------------------------
284    Name: Matthias Blume (blume (at) tti - c (dot) org)
285    Date: 2004/06/18 14:30:00 CDT
286    Tag: blume-20040618-unix
287    Description:
288    
289    Changed the implementation of structure Unix so that the same stream
290    is returned every time one of the {text,bin}{In,Out}streamOf functions
291    is invoked on the same proc.  This is not what the spec currently
292    says -- although IMO it arguably should.  (See discussion below.)
293    
294    ----------------------------------------------------------------------
295    Name: Matthias Blume (blume (at) tti - c (dot) org)
296    Date: 2004/06/17 18:15:00 CDT
297    Tag: Release_110_46
298    Description:
299    
300    New working version (110.46).  NEW BOOTFILES!
301    
302    ----------------------------------------------------------------------
303    Name: Matthias Blume (blume (at) tti - c (dot) org)
304    Date: 2004/06/17 17:20:00 CDT
305    Tag: blume-20040617-timer-unix
306    Description:
307    
308    Changed the interface of structures Timer and Unix to match the most
309    recent Basis spec.
310    
311    In the case of Unix there still seems to be an open/weird issue:
312    
313       The {text,bin}{In,Out}streamOf functions are supposed to create
314       fresh streams whenever they are called -- as opposed to have them
315       return the same stream every time.  This design is supposed to
316       prevent space leaks caused by proc values hanging on to streams.
317    
318       The reap function, on the other hand, is supposed to close the
319       streams.  This cannot be done without having a handle on the
320       stream in proc after all...
321    
322    I took the liberty to implement the following stopgap solution:
323    
324      The proc value hangs on to the most recently created stream(s).
325      Reap closes those.  If either or both of the two streams hadn't
326      been created at all yet, then reap will close the corresponding
327      file descriptors directly.
328    
329    PS: I don't understand the original space leak argument anymore.  If
330    a proc hangs on to the imperative stream, then I/O operations on those
331    will advance the state of the cached stream and avoid the space leak.
332    
333    ----------------------------------------------------------------------
334    Name: Matthias Blume (blume (at) tti - c (dot) org)
335    Date: 2004/05/28 16:45:00 CDT
336    Tag: blume-20040528-basis
337    Description:
338    
339    Added signature PACK_REAL and exported functor PrimIO.
340    
341    ----------------------------------------------------------------------
342    Name: Matthias Blume (blume (at) tti - c (dot) org)
343    Date: 2004/05/25 16:00:00 CDT
344    Tag: blume-20040525-group-owner
345    Description:
346    
347    CM now ignores (but still accepts) the "owner" information in group
348    descriptions.  The owner of a group is its next enclosing
349    library. Each group must have a unique owner.  (There is a virtual
350    "toplevel" library that owns groups which are not nested within a real
351    library.)  Previously, each group had to explicitly declare its owner,
352    and CM would check that such a declaration is correct.  The new scheme
353    is to have CM check that for each group there is precisely one owning
354    library.
355    
356    The advantage of the new scheme is that the programmer no longer needs
357    to maintain the somewhat annoying owner information.  The downside is
358    that CM cannot enforce the ownership rule across multiple runs of
359    CM.make.  Fortunately, enclosing the same group in two different
360    libraries A and B which are not part of the same program does not
361    cause real problems.
362    
363    ----------------------------------------------------------------------
364    Name: Matthias Blume (blume (at) tti - c (dot) org)
365    Date: 2004/05/20 16:00:00 CDT
366    Tag: blume-20040520-win32
367    Description:
368    
369    Made the win32 version work again.  (Strangely, a misplaced comma had
370    slipped into win32-process.c which prevented the runtime from being
371    compiled correctly.)
372    
373    Also, included a minor addition to ml-build.bat analogous to what was
374    done in blume-20040519-ml-build.
375    
376    ----------------------------------------------------------------------
377    Name: Matthias Blume (blume (at) tti - c (dot) org)
378    Date: 2004/05/19 22:10:00 CDT
379    Tag: blume-20040519-ml-build
380    Description:
381    
382    Arranged for ml-build to clean up after itself a little bit better.
383    The script generates a temporary SML source file and compiles it using
384    CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
385    gets rid of those at the end, so they don't accumulate under .cm.
386    
387    This required a minor change to install.sh because the name of the
388    metadata directory (default: .cm) is actually configurable at
389    installation time.
390    
391    ----------------------------------------------------------------------
392    Name: Matthias Blume (blume (at) tti - c (dot) org)
393    Date: 2004/05/18 15:50:00 CDT
394    Tag: blume-20040518-mkreader
395    Description:
396    
397    Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
398    implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
399    
400    ----------------------------------------------------------------------
401    Name: Matthias Blume (blume (at) tti - c (dot) org)
402    Date: 2004/05/11 14:35:00 CDT
403    Tag: blume-20040511-win32sock
404    Description:
405    
406    Added previously missing support for many socket-related functions
407    under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
408    for the voluminous patch!
409    
410    (I have not tested this patch under win32 yet.)
411    
412    Here is David's e-mail:
413    
414    Hi,
415    
416    Attached to this email you find a diff against sml/nj 110.45
417    that will enable socket support under Windows.
418    
419    To apply the patch (using unix or cygwin)
420    1) gunzip runtime.diff.gz
421    2) "cd" into "src/runtime" in the source tree of a fresh
422       110.45 installation.
423    3) patch -p 1 < [your/path/to]runtime.diff
424    
425    The code compiles fine but has NOT yet been extensively tested.
426    I only ran a few tests for basic socket client functionality
427    (which worked fine).  Especially the functions that use ioctl
428    are not tested at all and might not work (see below).
429    
430    I implemented this since we want to move to a newer version of sml/nj
431    but need socket support in order to use it.  This is the first time I
432    even had a look at the sml/nj source,  so please review my changes
433    before making this part of the distribution!  Here are a few issues
434    that I think might be better for someone to solve who is more
435    familiar with the sml/nj source (and socket programming):
436    
437    - getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
438      exception since I could not figure out what the windows equivalent
439      of these functions is
440    
441    - In sockets-osdep.h there are a some #include statements that are
442      only used in a few files that include sockets-osdep.h
443    
444    - In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
445      does not process its return value since I don't know how to
446      report an error upwards.
447    
448    - It would probably be good to have a call to WSACleanup() when
449      the library is unloaded (if there is such a possibility).
450      Otherwise I think Windows will take care of this automatically
451      when the process finishes.
452    
453    - I used ioctlsocket() as a replacement for ioctl() but I have
454      no idea if that is actually the proper replacement on Windows.
455    
456    - All these issues are marked in the code by "FIXME" comments.
457    
458    We use sml/nj extensively in our products and are quite happy
459    with it.  I hope this contribution will help you.
460    
461    Keep up the good work!
462    
463    David
464    
465    ----------------------------------------------------------------------
466    Name: Matthias Blume (blume (at) tti - c (dot) org)
467    Date: 2004/05/11 14:20:00 CDT
468    Tag: blume-20040511-installml
469    Description:
470    
471    Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
472    the patch.)
473    
474    ----------------------------------------------------------------------
475    Name: Matthias Blume (blume (at) tti - c (dot) org)
476    Date: 2004/05/11 14:05:00 CDT
477    Tag: blume-20040511-nlffi-netbsd
478    Description:
479    
480    Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
481    the patch.)
482    
483    ----------------------------------------------------------------------
484    Name: Matthias Blume (blume (at) tti - c (dot) org)
485  Date: 2004/05/11 12:05:00 CDT  Date: 2004/05/11 12:05:00 CDT
486  Tag: blume-20040511-exports  Tag: blume-20040511-exports
487  Description:  Description:

Legend:
Removed from v.1486  
changed lines
  Added in v.1619

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