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 1393, Fri Sep 26 17:00:32 2003 UTC revision 1537, Tue Jul 13 18:49:54 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/07/13 13:50:00 CDT
18    Tag: blume-20040713-nlffi
19    Description:
20    
21    - use paramAlloc to report c-calls with too many arguments
22      (for PPC version where parameter area is pre-allocated)
23    - added ccall_maxargspace to machspec (to implement the above)
24    - made "make" commend in CM's "make" tool configurable
25    - added option (default: on) for passing the name of the SML/NJ's "bin"
26      directory to "make"; the call looks like this:
27    
28         make <options> SMLNJ_BINDIR=<dir> <target>
29    
30      This can be used by the Makefile to, e.g., pick the "right" version
31      of ml-nlffigen.
32    - minor code tweaks
33    
34    ----------------------------------------------------------------------
35    Name: Matthias Blume (blume (at) tti - c (dot) org)
36    Date: 2004/07/12 22:50:00 CDT
37    Tag: blume-110_46_1-macosx-nlffi
38    Description:
39    
40    NLFFI under Mac OS X now working (sort of).  This is largely untested,
41    though.
42    
43    Note:  1. You have to make a new, clean build of the runtime system.
44           2. There are new BOOTFILES, you have to use them!
45              (Doing the bootstrap process yourself would be *very* painful!
46               If you absolutely have to do it, build the system under
47               a different architecture and then cross-compile.)
48    
49    Version bumped to 110.46.1 to account for runtime data format changes.
50    
51    ----------------------------------------------------------------------
52    Name: Matthias Blume (blume (at) tti - c (dot) org)
53    Date: 2004/06/18 14:30:00 CDT
54    Tag: blume-20040618-unix
55    Description:
56    
57    Changed the implementation of structure Unix so that the same stream
58    is returned every time one of the {text,bin}{In,Out}streamOf functions
59    is invoked on the same proc.  This is not what the spec currently
60    says -- although IMO it arguably should.  (See discussion below.)
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume (blume (at) tti - c (dot) org)
64    Date: 2004/06/17 18:15:00 CDT
65    Tag: Release_110_46
66    Description:
67    
68    New working version (110.46).  NEW BOOTFILES!
69    
70    ----------------------------------------------------------------------
71    Name: Matthias Blume (blume (at) tti - c (dot) org)
72    Date: 2004/06/17 17:20:00 CDT
73    Tag: blume-20040617-timer-unix
74    Description:
75    
76    Changed the interface of structures Timer and Unix to match the most
77    recent Basis spec.
78    
79    In the case of Unix there still seems to be an open/weird issue:
80    
81       The {text,bin}{In,Out}streamOf functions are supposed to create
82       fresh streams whenever they are called -- as opposed to have them
83       return the same stream every time.  This design is supposed to
84       prevent space leaks caused by proc values hanging on to streams.
85    
86       The reap function, on the other hand, is supposed to close the
87       streams.  This cannot be done without having a handle on the
88       stream in proc after all...
89    
90    I took the liberty to implement the following stopgap solution:
91    
92      The proc value hangs on to the most recently created stream(s).
93      Reap closes those.  If either or both of the two streams hadn't
94      been created at all yet, then reap will close the corresponding
95      file descriptors directly.
96    
97    PS: I don't understand the original space leak argument anymore.  If
98    a proc hangs on to the imperative stream, then I/O operations on those
99    will advance the state of the cached stream and avoid the space leak.
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume (blume (at) tti - c (dot) org)
103    Date: 2004/05/28 16:45:00 CDT
104    Tag: blume-20040528-basis
105    Description:
106    
107    Added signature PACK_REAL and exported functor PrimIO.
108    
109    ----------------------------------------------------------------------
110    Name: Matthias Blume (blume (at) tti - c (dot) org)
111    Date: 2004/05/25 16:00:00 CDT
112    Tag: blume-20040525-group-owner
113    Description:
114    
115    CM now ignores (but still accepts) the "owner" information in group
116    descriptions.  The owner of a group is its next enclosing
117    library. Each group must have a unique owner.  (There is a virtual
118    "toplevel" library that owns groups which are not nested within a real
119    library.)  Previously, each group had to explicitly declare its owner,
120    and CM would check that such a declaration is correct.  The new scheme
121    is to have CM check that for each group there is precisely one owning
122    library.
123    
124    The advantage of the new scheme is that the programmer no longer needs
125    to maintain the somewhat annoying owner information.  The downside is
126    that CM cannot enforce the ownership rule across multiple runs of
127    CM.make.  Fortunately, enclosing the same group in two different
128    libraries A and B which are not part of the same program does not
129    cause real problems.
130    
131    ----------------------------------------------------------------------
132    Name: Matthias Blume (blume (at) tti - c (dot) org)
133    Date: 2004/05/20 16:00:00 CDT
134    Tag: blume-20040520-win32
135    Description:
136    
137    Made the win32 version work again.  (Strangely, a misplaced comma had
138    slipped into win32-process.c which prevented the runtime from being
139    compiled correctly.)
140    
141    Also, included a minor addition to ml-build.bat analogous to what was
142    done in blume-20040519-ml-build.
143    
144    ----------------------------------------------------------------------
145    Name: Matthias Blume (blume (at) tti - c (dot) org)
146    Date: 2004/05/19 22:10:00 CDT
147    Tag: blume-20040519-ml-build
148    Description:
149    
150    Arranged for ml-build to clean up after itself a little bit better.
151    The script generates a temporary SML source file and compiles it using
152    CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
153    gets rid of those at the end, so they don't accumulate under .cm.
154    
155    This required a minor change to install.sh because the name of the
156    metadata directory (default: .cm) is actually configurable at
157    installation time.
158    
159    ----------------------------------------------------------------------
160    Name: Matthias Blume (blume (at) tti - c (dot) org)
161    Date: 2004/05/18 15:50:00 CDT
162    Tag: blume-20040518-mkreader
163    Description:
164    
165    Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
166    implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
167    
168    ----------------------------------------------------------------------
169    Name: Matthias Blume (blume (at) tti - c (dot) org)
170    Date: 2004/05/11 14:35:00 CDT
171    Tag: blume-20040511-win32sock
172    Description:
173    
174    Added previously missing support for many socket-related functions
175    under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
176    for the voluminous patch!
177    
178    (I have not tested this patch under win32 yet.)
179    
180    Here is David's e-mail:
181    
182    Hi,
183    
184    Attached to this email you find a diff against sml/nj 110.45
185    that will enable socket support under Windows.
186    
187    To apply the patch (using unix or cygwin)
188    1) gunzip runtime.diff.gz
189    2) "cd" into "src/runtime" in the source tree of a fresh
190       110.45 installation.
191    3) patch -p 1 < [your/path/to]runtime.diff
192    
193    The code compiles fine but has NOT yet been extensively tested.
194    I only ran a few tests for basic socket client functionality
195    (which worked fine).  Especially the functions that use ioctl
196    are not tested at all and might not work (see below).
197    
198    I implemented this since we want to move to a newer version of sml/nj
199    but need socket support in order to use it.  This is the first time I
200    even had a look at the sml/nj source,  so please review my changes
201    before making this part of the distribution!  Here are a few issues
202    that I think might be better for someone to solve who is more
203    familiar with the sml/nj source (and socket programming):
204    
205    - getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
206      exception since I could not figure out what the windows equivalent
207      of these functions is
208    
209    - In sockets-osdep.h there are a some #include statements that are
210      only used in a few files that include sockets-osdep.h
211    
212    - In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
213      does not process its return value since I don't know how to
214      report an error upwards.
215    
216    - It would probably be good to have a call to WSACleanup() when
217      the library is unloaded (if there is such a possibility).
218      Otherwise I think Windows will take care of this automatically
219      when the process finishes.
220    
221    - I used ioctlsocket() as a replacement for ioctl() but I have
222      no idea if that is actually the proper replacement on Windows.
223    
224    - All these issues are marked in the code by "FIXME" comments.
225    
226    We use sml/nj extensively in our products and are quite happy
227    with it.  I hope this contribution will help you.
228    
229    Keep up the good work!
230    
231    David
232    
233    ----------------------------------------------------------------------
234    Name: Matthias Blume (blume (at) tti - c (dot) org)
235    Date: 2004/05/11 14:20:00 CDT
236    Tag: blume-20040511-installml
237    Description:
238    
239    Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
240    the patch.)
241    
242    ----------------------------------------------------------------------
243    Name: Matthias Blume (blume (at) tti - c (dot) org)
244    Date: 2004/05/11 14:05:00 CDT
245    Tag: blume-20040511-nlffi-netbsd
246    Description:
247    
248    Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
249    the patch.)
250    
251    ----------------------------------------------------------------------
252    Name: Matthias Blume (blume (at) tti - c (dot) org)
253    Date: 2004/05/11 12:05:00 CDT
254    Tag: blume-20040511-exports
255    Description:
256    
257    As per request by Adam Chlipala <adam@hcoop.net>, extended various
258    export lists in compiler-related .cm-files.
259    
260    ----------------------------------------------------------------------
261    Name: Matthias Blume (blume (at) tti - c (dot) org)
262    Date: 2004/05/11 11:35:00 CDT
263    Tag: blume-20040511-allsource
264    Description:
265    
266    The installer now honors the "src-smlnj" target again, although its meaning
267    has changed from "all sources required for the compiler" to "all sources
268    the installer knows about".  In other words, if you enable "src-smlnj"
269    in the "targets" file, then the installer will pull in sources for
270    everything.  (Notice that this refers to source code only.  Compiled
271    code is still only installed for modules that were requested explicitly
272    or which are required for other modules that were requested explicitly.)
273    
274    ----------------------------------------------------------------------
275    Name: Matthias Blume (blume (at) tti - c (dot) org)
276    Date: 2004/04/23 17:40:00 CDT
277    Tag: blume-20040423-ieee-scan
278    Description:
279    
280    Fixed IEEEReal.scan (and .fromString) so that if there is an overflow
281    in the exponent calculation we get INF or ZERO (depending on the mantissa
282    and the sign of the exponent).
283    
284    ----------------------------------------------------------------------
285    Name: Matthias Blume (blume (at) tti - c (dot) org)
286    Date: 2004/04/23 10:40:00 CDT
287    Tag: blume-20040423-ml-build
288    Description:
289    
290    The ml-build script now terminates with a non-0 status when something
291    goes wrong.
292    
293    ----------------------------------------------------------------------
294    Name: Matthias Blume (blume (at) tti - c (dot) org)
295    Date: 2004/04/22 16:35:00 CDT
296    Tag: blume-20040422-Option
297    Description:
298    
299    Made exception Option to be the same as exception Option.Option
300    (as it should be).
301    
302    ----------------------------------------------------------------------
303    Name: Allen Leung (leunga (at) reservoir (dot) com)
304    Date: 2004/03/19 14:40:00 EST
305    Tag: leunga-20040319-cygwin-nlffi
306    Description:
307    
308    Fixed the runtime so that ml-nlffi-lib runs on the cygwin version
309    of SML/NJ.  The problem is that
310    
311       lib = dlopen(NULL, ...)
312       f   = dlsym(lib, "malloc");
313    
314    does not work on Windows unless we explicitly export symbols
315    such as 'malloc' during linking.  We fixed this by explicitly
316    exporting the required symbols with the magic gcc incantation:
317    
318        -Wl,--export-all cygwin.def
319    
320    where cygwin.def is a file containing all the symbols that
321    we wish to export.
322    
323    I suspect this is a Windows problem and we'll have to
324    do the same (somehow with windows compilers) when
325    we build the native win32 version with the system
326    calls LoadLibrary/GetProcAddress.
327    
328    ----------------------------------------------------------------------
329    Name: Matthias Blume (blume (at) tti - c (dot) org)
330    Date: 2004/03/04 16:35:00 CST
331    Tag: blume-20040304-intinf-fmt
332    Description:
333    
334    Fixed problem with IntInf.fmt (sign would show up on the right instead
335    of on the left for BIN, OCT, and HEX).
336    
337    ----------------------------------------------------------------------
338    Name: Matthias Blume (blume (at) tti - c (dot) org)
339    Date: 2004/03/04 11:25:00 CST
340    Tag: blume-20040304-symlinks
341    Description:
342    
343    Fixed problem with installer script (unix only) where bin/ml-yacc and
344    friends pointed (via symlinks) to absolute locations instead of just
345    .run-sml.  This was reported by Vesa A Norrman.
346    
347    ----------------------------------------------------------------------
348    Name: Matthias Blume (blume (at) tti - c (dot) org)
349    Date: 2004/02/13 14:50:00 CST
350    Tag: Release_110_45
351    Description:
352    
353    New working version (110.45). New bootfiles.
354    
355    ----------------------------------------------------------------------
356    Name: Matthias Blume (blume (at) tti - c (dot) org)
357    Date: 2004/01/26 15:15:15 CST
358    Tag: blume-20040126-toplevel
359    Description:
360    
361    Improved handling of exceptions at the interactive toplevel.
362    
363    ----------------------------------------------------------------------
364    Name: Matthias Blume (blume (at) tti - c (dot) org)
365    Date: 2004/01/26 11:25:00
366    Tag: blume-20040126-app
367    Description:
368    
369    Type of top-level "app" corrected.
370    Added code for setting vp_limitPtrMask to Win32-specific runtime.
371    
372    ----------------------------------------------------------------------
373    Name: Matthias Blume (blume (at) tti - c (dot) org)
374    Date: 2003/11/18 17:10 CST
375    Tag: blume-20031118-basis-fiddle
376    Description:
377    
378    - changed Timer interface to what might become the spec
379    - POSIX_FLAGS -> BIT_FLAGS according to spec
380    - some other minor discrepancies wrt. spec eliminated
381    
382    ----------------------------------------------------------------------
383    Name: Matthias Blume (blume (at) tti - c (dot) org)
384    Date: 2003/11/06 12:00:00 CST
385    Tag: Release_110_44
386    Description:
387    
388    New working version (110.44). New bootfiles.
389    
390    ----------------------------------------------------------------------
391    Name: Matthias Blume (blume (at) tti - c (dot) org)
392    Date: 2003/11/04 11:50:00 CST
393    Tag: blume-20031104-move-libraries
394    Description:
395    
396    Eliminated the "dont_move_libraries" directive in config/targets.
397    (The mechanism was broken and could not be fixed easily.  Moreover,
398    there does not seem to be any reason not to move all libraries into
399    lib during installation.  I originally implemented this directive as a
400    backward-compatibility feature when I first introduced the new CM.
401    Now that things have been stable for a long time and going back to the
402    old CM is not an option, there is no reason to keep it around.)
403    
404    ----------------------------------------------------------------------
405    Name: Matthias Blume (blume (at) tti - c (dot) org)
406    Date: 2003/11/03 16:00:00 CST
407    Tag: blume-20031103-installdir
408    Description:
409    
410    Made installer honor INSTALLDIR variable again.  (Thanks to Chris
411    Richards for pointing out the problem and providing the solution.)
412    
413    ----------------------------------------------------------------------
414    Name: Matthias Blume (blume (at) tti - c (dot) org)
415    Date: 2003/10/01 17:05:00 CDT
416    Tag: blume-20031001-lal-mlrisc
417    Description:
418    
419    MLRISC bug fix from Lal.
420    
421    ----------------------------------------------------------------------
422    Name: Matthias Blume (blume (at) tti - c (dot) org)
423    Date: 2003/09/30 16:10:00 CDT
424    Tag: blume-20030930-primio-bat
425    Description:
426    
427    1. Added openVector, nullRd, and nullWr to PRIM_IO.
428    2. Improved .bat files (for Win32 port) to make things work under Win95.
429       (thanks to Aaron S. Hawley for this one)
430    
431    ----------------------------------------------------------------------
432    Name: Matthias Blume (blume (at) tti - c (dot) org)
433    Date: 2003/09/26 16:05:00 CDT
434    Tag: blume-20030926-wrappriv
435    Description:
436    
437    Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
438    
439    ----------------------------------------------------------------------
440    Name: Matthias Blume (blume (at) tti - c (dot) org)
441    Date: 2003/09/26 15:00:00 CDT
442    Tag: blume-20030926-110_43_3
443    Description:
444    
445    - additional cleanup
446    - version number bump, NEW BOOTFILES
447    
448    ----------------------------------------------------------------------
449    Name: Matthias Blume (blume (at) tti - c (dot) org)
450  Date: 2003/09/26 12:00:00 CDT  Date: 2003/09/26 12:00:00 CDT
451  Tag: blume-20030926-ppautoload  Tag: blume-20030926-ppautoload
452  Description:  Description:
# Line 30  Line 463 
463    
464  The mechanism that picks names for types still needs some work, though.  The mechanism that picks names for types still needs some work, though.
465  (Right now it seems that if there is a type A.t which is defined to  (Right now it seems that if there is a type A.t which is defined to
466  be B.y, but B is unavailable at toplevel, then A.t gets printed as  be B.u, but B is unavailable at toplevel, then A.t gets printed as
467  "?.B.t" although the perhaps more sensible solution would be to use  "?.B.u" although the perhaps more sensible solution would be to use
468  "A.t" in this case.  In other words, the prettyprinter should follow  "A.t" in this case.  In other words, the prettyprinter should follow
469  a chain of DEFtycs not farther than there are corresponding toplevel  a chain of DEFtycs not farther than there are corresponding toplevel
470  names in the current environment.)  names in the current environment.)

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

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