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 1446, Mon Jan 26 17:23:06 2004 UTC revision 1639, Thu Sep 30 15:53:06 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/01/26  Date: 2004/09/30 10:55:00 CDT
18    Tag: blume-20040930-version
19    Description:
20    
21    * Moved the "version" magic into its own little library under
22    src/system/smlnj/internal.  This avoids expensive reconstruction
23    of a stable src/compiler/core.cm.
24    
25    * At the same time, structure CompilerVersion is now known as structure
26    SMLNJVersion.
27    
28    * Arranged for the version tool to NOT kick in when rebuilding the system
29      (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
30      Also, loading the versiontool does not work when rebuilding the system
31      because CM is not properly initialized at that time.
32    
33    ----------------------------------------------------------------------
34    Name: Matthias Blume (blume (at) tti - c (dot) org)
35    Date: 2004/09/29 14:00:00 CDT
36    Tag: blume-20040929-autoversion
37    Description:
38    
39    Implemented some CM magic to have
40        file src/compiler/TopLevel/main/version.sml
41    generated automagically.
42    The version is taken from two files: config/version and config/release.
43    The first is expected to contain a two-part version number such as 110.49.
44    The second should contain a single number, but it may be missing.
45    
46    If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
47    time the version tool is loaded (which is the first time you say CMB.make),
48    then the tool will increment the value stored in config/release every
49    time CMB.make is invoked.
50    
51    The binfile format is now insensitive to anything beyond the first
52    two components of a version number, so bumping the release does not render
53    binfiles incompatible.  Auto-bumping can be used to keep track of versions
54    during development without invalidating existing binfiles.
55    
56    In any case, every CMB.make updates the date information in version.sml.
57    (This is the date that is printed in the banner.)
58    
59    ----------------------------------------------------------------------
60    Name: Matthias Blume (blume (at) tti - c (dot) org)
61    Date: 2004/09/28 10:53:00 CDT
62    Tag: blume-20040928-controls
63    Description:
64    
65    Some cleanup of the controls code.
66    
67    ----------------------------------------------------------------------
68    Name: Matthias Blume (blume (at) tti - c (dot) org)
69    Date: 2004/09/27 22:08:00 CDT
70    Tag: blume-20040927-controls
71    Description:
72    
73    Added two pieces of functionality to the Controls interface:
74    
75    1.   val save'restore: 'a control -> unit -> unit
76    
77       grabs the current value of the control in stage 1 and restores it
78       in stage 2.
79    
80    2.   val set' : 'a control * 'a -> unit -> unit
81    
82       stores the given value into the control in stage 2 (i.e., delayed)
83       but does all error checking in stage 1.
84       (This is for string controls that need to do parse their argument --
85        something that might fail.  In some cases, notably in CM, one
86        already knows the intended argument but wants to delay the actual
87        assignment until a time when error recovery would be more difficult.)
88    
89    Changed the handling of controls in tool arguments to classes "sml" and
90    "lazysml":
91       - use Controls.save'restore as a more robust way of restoring the
92         old value (in particular: without having to re-parse the string)
93       - use controls to handle the "overload" keyword in the init group
94         (I believe this change actually fixes a long-standing obscure bug.)
95    
96    ----------------------------------------------------------------------
97    Name: Matthias Blume (blume (at) tti - c (dot) org)
98    Date: 2004/09/27 17:00:00 CDT
99    Tag: blume-20040927-lazysml
100    Description:
101    
102    Added a new tool class called "lazysml" to CM's tool chest.  The only
103    difference to "sml" is that compilation is done with Control.lazysml
104    set to true.  A source of class "lazysml" is automatically recognized
105    by a file name suffix of ".lml".
106    
107    In addition to the above feature, the original class "sml" now also
108    supports a tool argument "lazy" which has the same effect.  As a
109    result, the following three lines are equivalent:
110    
111        foo.sml : lazysml
112        foo.sml : sml (lazy)
113        foo.sml (lazy)
114    
115    The setting goes into effect both during parsing and during
116    compilation.  The original setting is restored right after parsing and
117    after compilation, respectively.
118    
119    In addition to all the above, there is also a general mechanism to set
120    ANY of the "controls" that are available at the command line via
121    "-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
122    apply as well. (In fact, "lazy" is implemented as a special case of
123    the general mechanism.)
124    
125    The .cm file syntax uses a new keyword tool argument called "with".
126    There are several ways of indicating the desired settings:
127    
128        foo.sml (with:parser.quotations=true)
129        foo.sml (with:(name:parser.quotations value:true))
130        foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
131        foo.sml (with:(name1=value1 name2=value2 ...))
132        foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
133    
134        etc.
135    
136    Another possible abbreviation is to leave out the =v or value:v part
137    if the name refers to a boolean control (in which case the value is
138    taken to be true).  Thus, one could get lazy sml also by saying:
139    
140        foo.sml (with:parser.lazy-keyword=true)
141        foo.sml (with:parser.lazy-keyword)
142        foo.sml (with:(name:parser.lazy-keyword value:true))
143        foo.sml (with:(name:parser.lazy-keyword))
144    
145    ----------------------------------------------------------------------
146    Name: Matthias Blume (blume (at) tti - c (dot) org)
147    Date: 2004/09/24 16:22:00 CDT
148    Tag: blume-20040924-ppc-long-branch
149    Description:
150    
151    Turned message about "emiting long form of branch" off by default.
152    Added a control flag to turn it back on when desired.
153    
154    ----------------------------------------------------------------------
155    Name: Matthias Blume (blume (at) tti - c (dot) org)
156    Date: 2004/09/24 16:05:00 CDT
157    Tag: blume-20040924-rounding
158    Description:
159    
160    Applied patch for setting rounding modes under Mac OS X.  Thanks to
161    Melissa O'Neill for providing the code!
162    
163    ----------------------------------------------------------------------
164    Name: Matthias Blume (blume (at) tti - c (dot) org)
165    Date: 2004/09/23 17:30:00 CDT
166    Tag: blume-20040923-envvars
167    Description:
168    
169    1. Changed definition of type ControlRegistry.registry_tree to
170       include control_info (i.e., the name of the controlling environment
171       variable).
172    
173    2. Added command-line flags -e and -E to print the names of environment
174       variables that can be used to control internal settings.
175       (This uses the new API mentioned in 1.)
176    
177    ----------------------------------------------------------------------
178    Name: Matthias Blume (blume (at) tti - c (dot) org)
179    Date: 2004/09/13 16:50:00 CDT
180    Tag: Release_110_49
181    Description:
182    
183    New working version (110.49).  NEW BOOTFILES!
184    
185    ----------------------------------------------------------------------
186    Name: Matthias Blume
187    Date: 2004/09/13 16:20:00 CDT
188    Tag: blume-20040913-config-mlrisc
189    Description:
190    
191    Put target "mlrisc" back into the default list.
192    (There is no harm in having it, and some users have expressed their
193    wish to have "mlrisc" included by default.)
194    
195    ----------------------------------------------------------------------
196    Name: John Reppy
197    Date: 2004/09/13
198    Tag: jhr-20040913-signals
199    Description:
200    
201    Fixed the signal masking code to properly nest mask/unmask operations
202    on a per-signal basis.
203    
204    ----------------------------------------------------------------------
205    Name: Matthias Blume (blume (at) tti - c (dot) org)
206    Date: 2004/09/08 13:20:00 CDT
207    Tag: blume-20040908-heap-magic
208    Description:
209    
210    Bumped the heap macig number to 0x09082004 to account for the changed
211    layout of the ML frame under MacOS X.
212    
213    ----------------------------------------------------------------------
214    Name: Allen Leung (leunga (at) reservoir (dot) com)
215    Date: 2004/09/03 11:26:00 EST
216    Tag: leunga-20040903-cygwin-install
217    Description:
218    
219       Added a patch to _arch-n-opsys to enable the Cygwin runtime.
220    The Cygwin runtime is turned on by setting the environment
221    variable SMLNJ_CYGWIN_RUNTIME to 1.
222    
223    ----------------------------------------------------------------------
224    Name: Matthias Blume (blume (at) tti - c (dot) org)
225    Date: 2004/08/31 17:15:00 CDT
226    Tag: blume-20040831-core
227    Description:
228    
229    Added some exports to src/compiler/core.cm upon request by J. Joemann.
230    
231    ----------------------------------------------------------------------
232    Name: Matthias Blume (blume (at) tti - c (dot) org)
233    Date: 2004/08/30 17:55:00 CDT
234    Tag: blume-20040830-installer
235    Description:
236    
237    Upon request by Johannes Joemann:
238    
239    - improved ML code of installer to fall back to coping when renaming
240      fails (i.e., when source and target are on different file systems);
241      the code compiles but has yet to be tested in anger
242    - removed mlrisc from list of default targets (config/targets)
243    
244    ----------------------------------------------------------------------
245    Name: Matthias Blume (blume (at) tti - c (dot) org)
246    Date: 2004/08/27 17:20:00 CDT
247    Tag: blume-20040827-ptreql
248    Description:
249    
250    Added ptreql primop to structure InlineT (upon request from Larry
251    Paulson).
252    
253    ----------------------------------------------------------------------
254    Name: Allen Leung (leunga (at) reservoir (dot) com)
255    Date: 2004/08/15 21:21:00 EST
256    Tag: leunga-110_48-udgraph
257    Description:
258    
259    Another bug fix from Carl Hauser:
260    
261    diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
262    > 48c48
263    > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
264    > e::L)
265    > ---
266    > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
267    > Without this, any deletion of an edge in an undirected graph does severe
268    > violence to the graph.
269    
270    ----------------------------------------------------------------------
271    Name: Allen Leung (leunga (at) reservoir (dot) com)
272    Date: 2004/08/10 23:35:00 EST
273    Tag: leunga-110_48-ppc
274    Description:
275    
276       The IBM/MacOS syntax switch on PPC was incorrectly swapped.
277    
278    ----------------------------------------------------------------------
279    Name: Matthias Blume (blume (at) tti - c (dot) org)
280    Date: 2004/08/10 12:00:00 CDT
281    Tag: Release_110_48
282    Description:
283    
284    New working version (110.48).  NEW BOOTFILES!
285    
286    ----------------------------------------------------------------------
287    Name: Allen Leung (leunga (at) reservoir (dot) com)
288    Date: 2004/08/09 12:21:00 EST
289    Tag: leunga-110_47-dijsktra
290    Description:
291    
292    Bug fix from Carl Hauser:
293    
294    single_source_shortest_paths in dijkstra.sml was observed to get wrong
295    answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
296    
297    The problem is that following the expression A.update(dist,s,Num.zero)
298    it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
299    
300    ----------------------------------------------------------------------
301    Name: Matthias Blume (blume (at) tti - c (dot) org)
302    Date: 2004/08/06 18:10:00 CDT
303    Tag: blume-20040806-cmdline
304    Description:
305    
306    Fiddled with handling of command-line options:
307    
308      * sml now quits after processing the command line
309        if -H, -S, -h<n>, or -s<n> appears as the last
310        command-line argument
311      * a new option -q terminates the session when encountered on
312        the command line; subsequent arguments will be ignored
313      * bug fixes: short (erroneous) arguments are no longer ignored
314        completely
315    
316    ----------------------------------------------------------------------
317    Name: Allen Leung (leunga (at) reservoir (dot) com)
318    Date: 2004/08/04 18:17:00 EST
319    Tag: leunga-110_47-ppc-ibm-asm
320    Description:
321    
322      - Added minimal IBM assembly syntax support for PowerPC.
323    
324      - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
325        been altered in the runtime.  We need an automatic way to keep the file
326        in sync.
327    
328    ----------------------------------------------------------------------
329    Name: Matthias Blume (blume (at) tti - c (dot) org)
330    Date: 2004/08/04 14:00:00 CDT
331    Tag: Release_110_47
332    Description:
333    
334    New working version (110.47).  NEW BOOTFILES!
335    
336    ----------------------------------------------------------------------
337    Name: Matthias Blume (blume (at) tti - c (dot) org)
338    Date: 2004/08/03 14:25:00 CDT
339    Tag: blume-20040803-callingconv
340    Description:
341    
342    Added low-level support for choosing C calling conventions by
343    twiddling the type of rawccall.  (See
344    src/compiler/Semant/types/cproto.sml for details.)
345    
346    ----------------------------------------------------------------------
347    Name: Matthias Blume (blume (at) tti - c (dot) org)
348    Date: 2004/08/02 15:55:00 CDT
349    Tag: blume-20040802-backout
350    Description:
351    
352    Backed out of change to win32-filesys.c.  The earlier patch to
353    get_file_time caused CM to produce files with the wrong time stamp.
354    
355    ----------------------------------------------------------------------
356    Name: Matthias Blume (blume (at) tti - c (dot) org)
357    Date: 2004/08/02 14:45:00 CDT
358    Tag: blume-20040802-nlffi-win32
359    Description:
360    
361    Added NLFFI support for Win32, adapted from a patch provided by David
362    Hansel.  This is currently completely untested.  Also, the issue
363    concerning stdcall vs. ccall is still unresolved.
364    
365    ----------------------------------------------------------------------
366    Name: Matthias Blume (blume (at) tti - c (dot) org)
367    Date: 2004/07/30 17:55:00 CDT
368    Tag: blume-20040730-various
369    Description:
370    
371    Gearing up towards 110.47...
372    
373    - various minor bugfixes to ml-nlffigen
374    - a beginning of a manual for nlffi
375    
376    - eliminated 'export name=value' in config/install.sh as this does
377      not work with certain versions of /bin/sh
378      (Thanks to David King at Motorola for catching this.)
379    
380    - several bugfixes provided or suggested by David Hansel at Reactive Systems:
381      - added a test for tm==NULL to gmtime.c and localtime.c
382      - applied patch for incorrect GetFileTime under win32
383      - toSeconds -> toMilliseconds in Win32/win32-process.sml
384    
385    ----------------------------------------------------------------------
386    Name: Matthias Blume (blume (at) tti - c (dot) org)
387    Date: 2004/07/21 18:20:00 CDT
388    Tag: blume-20040721-nlffigen
389    Description:
390    
391    - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
392      for a typedef to an incomplete type, but leave out the "typ" member.
393      (This is just for consistency.)
394    - Started to produce what is supposed to become better (i.e., comprehensive)
395      documentation of what ml-nlffigen does and produces.
396    
397    ----------------------------------------------------------------------
398    Name: Matthias Blume (blume (at) tti - c (dot) org)
399    Date: 2004/07/14 16:25:00 CDT
400    Tag: blume-20040714-union
401    Description:
402    
403    Added C_UNION to c-calls/c-types.sml and updated the machinery
404    (ml-nlffigen, cproto.sml) that conveys C function interface
405    information to the code generator.
406    
407    However, the actual architecture-specific implementation of function
408    arguments and results that are C unions is still not implemented.
409    
410    ----------------------------------------------------------------------
411    Name: Allen Leung (leunga (at) reservoir (dot) com)
412    Date: 2004/07/14 14:38:00 EST
413    Tag: leunga-110_46_1-ppc-lwzu
414    Description:
415    
416        Added these instructions to the PowerPC architecture:
417        LBZU(X), LHZU(X), LWZU(X),
418        STWU(X), STFDU, STFSU
419    
420        etc...
421    
422        Note: I haven't added their instruction encoding into the description.
423    
424    ----------------------------------------------------------------------
425    Name: Allen Leung (leunga (at) reservoir (dot) com)
426    Date: 2004/07/13 15:04:00 EST
427    Tag: leunga-110_46_1-ppc-lwarx
428    Description:
429    
430       Added the two instructions LWARX and STWCX to the PowerPC
431    instruction set.
432    
433       A (untested) rewrite of loop-structure.sml.  The old version
434    is completely broken.
435    
436    ----------------------------------------------------------------------
437    Name: Matthias Blume (blume (at) tti - c (dot) org)
438    Date: 2004/07/13 13:50:00 CDT
439    Tag: blume-20040713-nlffi
440    Description:
441    
442    - use paramAlloc to report c-calls with too many arguments
443      (for PPC version where parameter area is pre-allocated)
444    - added ccall_maxargspace to machspec (to implement the above)
445    - made "make" commend in CM's "make" tool configurable
446    - added option (default: on) for passing the name of the SML/NJ's "bin"
447      directory to "make"; the call looks like this:
448    
449         make <options> SMLNJ_BINDIR=<dir> <target>
450    
451      This can be used by the Makefile to, e.g., pick the "right" version
452      of ml-nlffigen.
453    - minor code tweaks
454    
455    ----------------------------------------------------------------------
456    Name: Matthias Blume (blume (at) tti - c (dot) org)
457    Date: 2004/07/12 22:50:00 CDT
458    Tag: blume-110_46_1-macosx-nlffi
459    Description:
460    
461    NLFFI under Mac OS X now working (sort of).  This is largely untested,
462    though.
463    
464    Note:  1. You have to make a new, clean build of the runtime system.
465           2. There are new BOOTFILES, you have to use them!
466              (Doing the bootstrap process yourself would be *very* painful!
467               If you absolutely have to do it, build the system under
468               a different architecture and then cross-compile.)
469    
470    Version bumped to 110.46.1 to account for runtime data format changes.
471    
472    ----------------------------------------------------------------------
473    Name: Matthias Blume (blume (at) tti - c (dot) org)
474    Date: 2004/06/18 14:30:00 CDT
475    Tag: blume-20040618-unix
476    Description:
477    
478    Changed the implementation of structure Unix so that the same stream
479    is returned every time one of the {text,bin}{In,Out}streamOf functions
480    is invoked on the same proc.  This is not what the spec currently
481    says -- although IMO it arguably should.  (See discussion below.)
482    
483    ----------------------------------------------------------------------
484    Name: Matthias Blume (blume (at) tti - c (dot) org)
485    Date: 2004/06/17 18:15:00 CDT
486    Tag: Release_110_46
487    Description:
488    
489    New working version (110.46).  NEW BOOTFILES!
490    
491    ----------------------------------------------------------------------
492    Name: Matthias Blume (blume (at) tti - c (dot) org)
493    Date: 2004/06/17 17:20:00 CDT
494    Tag: blume-20040617-timer-unix
495    Description:
496    
497    Changed the interface of structures Timer and Unix to match the most
498    recent Basis spec.
499    
500    In the case of Unix there still seems to be an open/weird issue:
501    
502       The {text,bin}{In,Out}streamOf functions are supposed to create
503       fresh streams whenever they are called -- as opposed to have them
504       return the same stream every time.  This design is supposed to
505       prevent space leaks caused by proc values hanging on to streams.
506    
507       The reap function, on the other hand, is supposed to close the
508       streams.  This cannot be done without having a handle on the
509       stream in proc after all...
510    
511    I took the liberty to implement the following stopgap solution:
512    
513      The proc value hangs on to the most recently created stream(s).
514      Reap closes those.  If either or both of the two streams hadn't
515      been created at all yet, then reap will close the corresponding
516      file descriptors directly.
517    
518    PS: I don't understand the original space leak argument anymore.  If
519    a proc hangs on to the imperative stream, then I/O operations on those
520    will advance the state of the cached stream and avoid the space leak.
521    
522    ----------------------------------------------------------------------
523    Name: Matthias Blume (blume (at) tti - c (dot) org)
524    Date: 2004/05/28 16:45:00 CDT
525    Tag: blume-20040528-basis
526    Description:
527    
528    Added signature PACK_REAL and exported functor PrimIO.
529    
530    ----------------------------------------------------------------------
531    Name: Matthias Blume (blume (at) tti - c (dot) org)
532    Date: 2004/05/25 16:00:00 CDT
533    Tag: blume-20040525-group-owner
534    Description:
535    
536    CM now ignores (but still accepts) the "owner" information in group
537    descriptions.  The owner of a group is its next enclosing
538    library. Each group must have a unique owner.  (There is a virtual
539    "toplevel" library that owns groups which are not nested within a real
540    library.)  Previously, each group had to explicitly declare its owner,
541    and CM would check that such a declaration is correct.  The new scheme
542    is to have CM check that for each group there is precisely one owning
543    library.
544    
545    The advantage of the new scheme is that the programmer no longer needs
546    to maintain the somewhat annoying owner information.  The downside is
547    that CM cannot enforce the ownership rule across multiple runs of
548    CM.make.  Fortunately, enclosing the same group in two different
549    libraries A and B which are not part of the same program does not
550    cause real problems.
551    
552    ----------------------------------------------------------------------
553    Name: Matthias Blume (blume (at) tti - c (dot) org)
554    Date: 2004/05/20 16:00:00 CDT
555    Tag: blume-20040520-win32
556    Description:
557    
558    Made the win32 version work again.  (Strangely, a misplaced comma had
559    slipped into win32-process.c which prevented the runtime from being
560    compiled correctly.)
561    
562    Also, included a minor addition to ml-build.bat analogous to what was
563    done in blume-20040519-ml-build.
564    
565    ----------------------------------------------------------------------
566    Name: Matthias Blume (blume (at) tti - c (dot) org)
567    Date: 2004/05/19 22:10:00 CDT
568    Tag: blume-20040519-ml-build
569    Description:
570    
571    Arranged for ml-build to clean up after itself a little bit better.
572    The script generates a temporary SML source file and compiles it using
573    CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
574    gets rid of those at the end, so they don't accumulate under .cm.
575    
576    This required a minor change to install.sh because the name of the
577    metadata directory (default: .cm) is actually configurable at
578    installation time.
579    
580    ----------------------------------------------------------------------
581    Name: Matthias Blume (blume (at) tti - c (dot) org)
582    Date: 2004/05/18 15:50:00 CDT
583    Tag: blume-20040518-mkreader
584    Description:
585    
586    Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
587    implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
588    
589    ----------------------------------------------------------------------
590    Name: Matthias Blume (blume (at) tti - c (dot) org)
591    Date: 2004/05/11 14:35:00 CDT
592    Tag: blume-20040511-win32sock
593    Description:
594    
595    Added previously missing support for many socket-related functions
596    under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
597    for the voluminous patch!
598    
599    (I have not tested this patch under win32 yet.)
600    
601    Here is David's e-mail:
602    
603    Hi,
604    
605    Attached to this email you find a diff against sml/nj 110.45
606    that will enable socket support under Windows.
607    
608    To apply the patch (using unix or cygwin)
609    1) gunzip runtime.diff.gz
610    2) "cd" into "src/runtime" in the source tree of a fresh
611       110.45 installation.
612    3) patch -p 1 < [your/path/to]runtime.diff
613    
614    The code compiles fine but has NOT yet been extensively tested.
615    I only ran a few tests for basic socket client functionality
616    (which worked fine).  Especially the functions that use ioctl
617    are not tested at all and might not work (see below).
618    
619    I implemented this since we want to move to a newer version of sml/nj
620    but need socket support in order to use it.  This is the first time I
621    even had a look at the sml/nj source,  so please review my changes
622    before making this part of the distribution!  Here are a few issues
623    that I think might be better for someone to solve who is more
624    familiar with the sml/nj source (and socket programming):
625    
626    - getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
627      exception since I could not figure out what the windows equivalent
628      of these functions is
629    
630    - In sockets-osdep.h there are a some #include statements that are
631      only used in a few files that include sockets-osdep.h
632    
633    - In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
634      does not process its return value since I don't know how to
635      report an error upwards.
636    
637    - It would probably be good to have a call to WSACleanup() when
638      the library is unloaded (if there is such a possibility).
639      Otherwise I think Windows will take care of this automatically
640      when the process finishes.
641    
642    - I used ioctlsocket() as a replacement for ioctl() but I have
643      no idea if that is actually the proper replacement on Windows.
644    
645    - All these issues are marked in the code by "FIXME" comments.
646    
647    We use sml/nj extensively in our products and are quite happy
648    with it.  I hope this contribution will help you.
649    
650    Keep up the good work!
651    
652    David
653    
654    ----------------------------------------------------------------------
655    Name: Matthias Blume (blume (at) tti - c (dot) org)
656    Date: 2004/05/11 14:20:00 CDT
657    Tag: blume-20040511-installml
658    Description:
659    
660    Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
661    the patch.)
662    
663    ----------------------------------------------------------------------
664    Name: Matthias Blume (blume (at) tti - c (dot) org)
665    Date: 2004/05/11 14:05:00 CDT
666    Tag: blume-20040511-nlffi-netbsd
667    Description:
668    
669    Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
670    the patch.)
671    
672    ----------------------------------------------------------------------
673    Name: Matthias Blume (blume (at) tti - c (dot) org)
674    Date: 2004/05/11 12:05:00 CDT
675    Tag: blume-20040511-exports
676    Description:
677    
678    As per request by Adam Chlipala <adam@hcoop.net>, extended various
679    export lists in compiler-related .cm-files.
680    
681    ----------------------------------------------------------------------
682    Name: Matthias Blume (blume (at) tti - c (dot) org)
683    Date: 2004/05/11 11:35:00 CDT
684    Tag: blume-20040511-allsource
685    Description:
686    
687    The installer now honors the "src-smlnj" target again, although its meaning
688    has changed from "all sources required for the compiler" to "all sources
689    the installer knows about".  In other words, if you enable "src-smlnj"
690    in the "targets" file, then the installer will pull in sources for
691    everything.  (Notice that this refers to source code only.  Compiled
692    code is still only installed for modules that were requested explicitly
693    or which are required for other modules that were requested explicitly.)
694    
695    ----------------------------------------------------------------------
696    Name: Matthias Blume (blume (at) tti - c (dot) org)
697    Date: 2004/04/23 17:40:00 CDT
698    Tag: blume-20040423-ieee-scan
699    Description:
700    
701    Fixed IEEEReal.scan (and .fromString) so that if there is an overflow
702    in the exponent calculation we get INF or ZERO (depending on the mantissa
703    and the sign of the exponent).
704    
705    ----------------------------------------------------------------------
706    Name: Matthias Blume (blume (at) tti - c (dot) org)
707    Date: 2004/04/23 10:40:00 CDT
708    Tag: blume-20040423-ml-build
709    Description:
710    
711    The ml-build script now terminates with a non-0 status when something
712    goes wrong.
713    
714    ----------------------------------------------------------------------
715    Name: Matthias Blume (blume (at) tti - c (dot) org)
716    Date: 2004/04/22 16:35:00 CDT
717    Tag: blume-20040422-Option
718    Description:
719    
720    Made exception Option to be the same as exception Option.Option
721    (as it should be).
722    
723    ----------------------------------------------------------------------
724    Name: Allen Leung (leunga (at) reservoir (dot) com)
725    Date: 2004/03/19 14:40:00 EST
726    Tag: leunga-20040319-cygwin-nlffi
727    Description:
728    
729    Fixed the runtime so that ml-nlffi-lib runs on the cygwin version
730    of SML/NJ.  The problem is that
731    
732       lib = dlopen(NULL, ...)
733       f   = dlsym(lib, "malloc");
734    
735    does not work on Windows unless we explicitly export symbols
736    such as 'malloc' during linking.  We fixed this by explicitly
737    exporting the required symbols with the magic gcc incantation:
738    
739        -Wl,--export-all cygwin.def
740    
741    where cygwin.def is a file containing all the symbols that
742    we wish to export.
743    
744    I suspect this is a Windows problem and we'll have to
745    do the same (somehow with windows compilers) when
746    we build the native win32 version with the system
747    calls LoadLibrary/GetProcAddress.
748    
749    ----------------------------------------------------------------------
750    Name: Matthias Blume (blume (at) tti - c (dot) org)
751    Date: 2004/03/04 16:35:00 CST
752    Tag: blume-20040304-intinf-fmt
753    Description:
754    
755    Fixed problem with IntInf.fmt (sign would show up on the right instead
756    of on the left for BIN, OCT, and HEX).
757    
758    ----------------------------------------------------------------------
759    Name: Matthias Blume (blume (at) tti - c (dot) org)
760    Date: 2004/03/04 11:25:00 CST
761    Tag: blume-20040304-symlinks
762    Description:
763    
764    Fixed problem with installer script (unix only) where bin/ml-yacc and
765    friends pointed (via symlinks) to absolute locations instead of just
766    .run-sml.  This was reported by Vesa A Norrman.
767    
768    ----------------------------------------------------------------------
769    Name: Matthias Blume (blume (at) tti - c (dot) org)
770    Date: 2004/02/13 14:50:00 CST
771    Tag: Release_110_45
772    Description:
773    
774    New working version (110.45). New bootfiles.
775    
776    ----------------------------------------------------------------------
777    Name: Matthias Blume (blume (at) tti - c (dot) org)
778    Date: 2004/01/26 15:15:15 CST
779    Tag: blume-20040126-toplevel
780    Description:
781    
782    Improved handling of exceptions at the interactive toplevel.
783    
784    ----------------------------------------------------------------------
785    Name: Matthias Blume (blume (at) tti - c (dot) org)
786    Date: 2004/01/26 11:25:00
787  Tag: blume-20040126-app  Tag: blume-20040126-app
788  Description:  Description:
789    
790  Type of top-level "app" corrected.  Type of top-level "app" corrected.
791    Added code for setting vp_limitPtrMask to Win32-specific runtime.
792    
793  ----------------------------------------------------------------------  ----------------------------------------------------------------------
794  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)

Legend:
Removed from v.1446  
changed lines
  Added in v.1639

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