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 1389, Wed Sep 24 20:09:40 2003 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
444    Tag: blume-20040528-basis
445    Description:
446    
447    Added signature PACK_REAL and exported functor PrimIO.
448    
449    ----------------------------------------------------------------------
450    Name: Matthias Blume (blume (at) tti - c (dot) org)
451    Date: 2004/05/25 16:00:00 CDT
452    Tag: blume-20040525-group-owner
453    Description:
454    
455    CM now ignores (but still accepts) the "owner" information in group
456    descriptions.  The owner of a group is its next enclosing
457    library. Each group must have a unique owner.  (There is a virtual
458    "toplevel" library that owns groups which are not nested within a real
459    library.)  Previously, each group had to explicitly declare its owner,
460    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
462    library.
463    
464    The advantage of the new scheme is that the programmer no longer needs
465    to maintain the somewhat annoying owner information.  The downside is
466    that CM cannot enforce the ownership rule across multiple runs of
467    CM.make.  Fortunately, enclosing the same group in two different
468    libraries A and B which are not part of the same program does not
469    cause real problems.
470    
471    ----------------------------------------------------------------------
472    Name: Matthias Blume (blume (at) tti - c (dot) org)
473    Date: 2004/05/20 16:00:00 CDT
474    Tag: blume-20040520-win32
475    Description:
476    
477    Made the win32 version work again.  (Strangely, a misplaced comma had
478    slipped into win32-process.c which prevented the runtime from being
479    compiled correctly.)
480    
481    Also, included a minor addition to ml-build.bat analogous to what was
482    done in blume-20040519-ml-build.
483    
484    ----------------------------------------------------------------------
485    Name: Matthias Blume (blume (at) tti - c (dot) org)
486    Date: 2004/05/19 22:10:00 CDT
487    Tag: blume-20040519-ml-build
488    Description:
489    
490    Arranged for ml-build to clean up after itself a little bit better.
491    The script generates a temporary SML source file and compiles it using
492    CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
493    gets rid of those at the end, so they don't accumulate under .cm.
494    
495    This required a minor change to install.sh because the name of the
496    metadata directory (default: .cm) is actually configurable at
497    installation time.
498    
499    ----------------------------------------------------------------------
500    Name: Matthias Blume (blume (at) tti - c (dot) org)
501    Date: 2004/05/18 15:50:00 CDT
502    Tag: blume-20040518-mkreader
503    Description:
504    
505    Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
506    implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
507    
508    ----------------------------------------------------------------------
509    Name: Matthias Blume (blume (at) tti - c (dot) org)
510    Date: 2004/05/11 14:35:00 CDT
511    Tag: blume-20040511-win32sock
512    Description:
513    
514    Added previously missing support for many socket-related functions
515    under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
516    for the voluminous patch!
517    
518    (I have not tested this patch under win32 yet.)
519    
520    Here is David's e-mail:
521    
522    Hi,
523    
524    Attached to this email you find a diff against sml/nj 110.45
525    that will enable socket support under Windows.
526    
527    To apply the patch (using unix or cygwin)
528    1) gunzip runtime.diff.gz
529    2) "cd" into "src/runtime" in the source tree of a fresh
530       110.45 installation.
531    3) patch -p 1 < [your/path/to]runtime.diff
532    
533    The code compiles fine but has NOT yet been extensively tested.
534    I only ran a few tests for basic socket client functionality
535    (which worked fine).  Especially the functions that use ioctl
536    are not tested at all and might not work (see below).
537    
538    I implemented this since we want to move to a newer version of sml/nj
539    but need socket support in order to use it.  This is the first time I
540    even had a look at the sml/nj source,  so please review my changes
541    before making this part of the distribution!  Here are a few issues
542    that I think might be better for someone to solve who is more
543    familiar with the sml/nj source (and socket programming):
544    
545    - getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
546      exception since I could not figure out what the windows equivalent
547      of these functions is
548    
549    - In sockets-osdep.h there are a some #include statements that are
550      only used in a few files that include sockets-osdep.h
551    
552    - In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
553      does not process its return value since I don't know how to
554      report an error upwards.
555    
556    - It would probably be good to have a call to WSACleanup() when
557      the library is unloaded (if there is such a possibility).
558      Otherwise I think Windows will take care of this automatically
559      when the process finishes.
560    
561    - I used ioctlsocket() as a replacement for ioctl() but I have
562      no idea if that is actually the proper replacement on Windows.
563    
564    - All these issues are marked in the code by "FIXME" comments.
565    
566    We use sml/nj extensively in our products and are quite happy
567    with it.  I hope this contribution will help you.
568    
569    Keep up the good work!
570    
571    David
572    
573    ----------------------------------------------------------------------
574    Name: Matthias Blume (blume (at) tti - c (dot) org)
575    Date: 2004/05/11 14:20:00 CDT
576    Tag: blume-20040511-installml
577    Description:
578    
579    Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
580    the patch.)
581    
582    ----------------------------------------------------------------------
583    Name: Matthias Blume (blume (at) tti - c (dot) org)
584    Date: 2004/05/11 14:05:00 CDT
585    Tag: blume-20040511-nlffi-netbsd
586    Description:
587    
588    Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
589    the patch.)
590    
591    ----------------------------------------------------------------------
592    Name: Matthias Blume (blume (at) tti - c (dot) org)
593    Date: 2004/05/11 12:05:00 CDT
594    Tag: blume-20040511-exports
595    Description:
596    
597    As per request by Adam Chlipala <adam@hcoop.net>, extended various
598    export lists in compiler-related .cm-files.
599    
600    ----------------------------------------------------------------------
601    Name: Matthias Blume (blume (at) tti - c (dot) org)
602    Date: 2004/05/11 11:35:00 CDT
603    Tag: blume-20040511-allsource
604    Description:
605    
606    The installer now honors the "src-smlnj" target again, although its meaning
607    has changed from "all sources required for the compiler" to "all sources
608    the installer knows about".  In other words, if you enable "src-smlnj"
609    in the "targets" file, then the installer will pull in sources for
610    everything.  (Notice that this refers to source code only.  Compiled
611    code is still only installed for modules that were requested explicitly
612    or which are required for other modules that were requested explicitly.)
613    
614    ----------------------------------------------------------------------
615    Name: Matthias Blume (blume (at) tti - c (dot) org)
616    Date: 2004/04/23 17:40:00 CDT
617    Tag: blume-20040423-ieee-scan
618    Description:
619    
620    Fixed IEEEReal.scan (and .fromString) so that if there is an overflow
621    in the exponent calculation we get INF or ZERO (depending on the mantissa
622    and the sign of the exponent).
623    
624    ----------------------------------------------------------------------
625    Name: Matthias Blume (blume (at) tti - c (dot) org)
626    Date: 2004/04/23 10:40:00 CDT
627    Tag: blume-20040423-ml-build
628    Description:
629    
630    The ml-build script now terminates with a non-0 status when something
631    goes wrong.
632    
633    ----------------------------------------------------------------------
634    Name: Matthias Blume (blume (at) tti - c (dot) org)
635    Date: 2004/04/22 16:35:00 CDT
636    Tag: blume-20040422-Option
637    Description:
638    
639    Made exception Option to be the same as exception Option.Option
640    (as it should be).
641    
642    ----------------------------------------------------------------------
643    Name: Allen Leung (leunga (at) reservoir (dot) com)
644    Date: 2004/03/19 14:40:00 EST
645    Tag: leunga-20040319-cygwin-nlffi
646    Description:
647    
648    Fixed the runtime so that ml-nlffi-lib runs on the cygwin version
649    of SML/NJ.  The problem is that
650    
651       lib = dlopen(NULL, ...)
652       f   = dlsym(lib, "malloc");
653    
654    does not work on Windows unless we explicitly export symbols
655    such as 'malloc' during linking.  We fixed this by explicitly
656    exporting the required symbols with the magic gcc incantation:
657    
658        -Wl,--export-all cygwin.def
659    
660    where cygwin.def is a file containing all the symbols that
661    we wish to export.
662    
663    I suspect this is a Windows problem and we'll have to
664    do the same (somehow with windows compilers) when
665    we build the native win32 version with the system
666    calls LoadLibrary/GetProcAddress.
667    
668    ----------------------------------------------------------------------
669    Name: Matthias Blume (blume (at) tti - c (dot) org)
670    Date: 2004/03/04 16:35:00 CST
671    Tag: blume-20040304-intinf-fmt
672    Description:
673    
674    Fixed problem with IntInf.fmt (sign would show up on the right instead
675    of on the left for BIN, OCT, and HEX).
676    
677    ----------------------------------------------------------------------
678    Name: Matthias Blume (blume (at) tti - c (dot) org)
679    Date: 2004/03/04 11:25:00 CST
680    Tag: blume-20040304-symlinks
681    Description:
682    
683    Fixed problem with installer script (unix only) where bin/ml-yacc and
684    friends pointed (via symlinks) to absolute locations instead of just
685    .run-sml.  This was reported by Vesa A Norrman.
686    
687    ----------------------------------------------------------------------
688    Name: Matthias Blume (blume (at) tti - c (dot) org)
689    Date: 2004/02/13 14:50:00 CST
690    Tag: Release_110_45
691    Description:
692    
693    New working version (110.45). New bootfiles.
694    
695    ----------------------------------------------------------------------
696    Name: Matthias Blume (blume (at) tti - c (dot) org)
697    Date: 2004/01/26 15:15:15 CST
698    Tag: blume-20040126-toplevel
699    Description:
700    
701    Improved handling of exceptions at the interactive toplevel.
702    
703    ----------------------------------------------------------------------
704    Name: Matthias Blume (blume (at) tti - c (dot) org)
705    Date: 2004/01/26 11:25:00
706    Tag: blume-20040126-app
707    Description:
708    
709    Type of top-level "app" corrected.
710    Added code for setting vp_limitPtrMask to Win32-specific runtime.
711    
712    ----------------------------------------------------------------------
713    Name: Matthias Blume (blume (at) tti - c (dot) org)
714    Date: 2003/11/18 17:10 CST
715    Tag: blume-20031118-basis-fiddle
716    Description:
717    
718    - changed Timer interface to what might become the spec
719    - POSIX_FLAGS -> BIT_FLAGS according to spec
720    - some other minor discrepancies wrt. spec eliminated
721    
722    ----------------------------------------------------------------------
723    Name: Matthias Blume (blume (at) tti - c (dot) org)
724    Date: 2003/11/06 12:00:00 CST
725    Tag: Release_110_44
726    Description:
727    
728    New working version (110.44). New bootfiles.
729    
730    ----------------------------------------------------------------------
731    Name: Matthias Blume (blume (at) tti - c (dot) org)
732    Date: 2003/11/04 11:50:00 CST
733    Tag: blume-20031104-move-libraries
734    Description:
735    
736    Eliminated the "dont_move_libraries" directive in config/targets.
737    (The mechanism was broken and could not be fixed easily.  Moreover,
738    there does not seem to be any reason not to move all libraries into
739    lib during installation.  I originally implemented this directive as a
740    backward-compatibility feature when I first introduced the new CM.
741    Now that things have been stable for a long time and going back to the
742    old CM is not an option, there is no reason to keep it around.)
743    
744    ----------------------------------------------------------------------
745    Name: Matthias Blume (blume (at) tti - c (dot) org)
746    Date: 2003/11/03 16:00:00 CST
747    Tag: blume-20031103-installdir
748    Description:
749    
750    Made installer honor INSTALLDIR variable again.  (Thanks to Chris
751    Richards for pointing out the problem and providing the solution.)
752    
753    ----------------------------------------------------------------------
754    Name: Matthias Blume (blume (at) tti - c (dot) org)
755    Date: 2003/10/01 17:05:00 CDT
756    Tag: blume-20031001-lal-mlrisc
757    Description:
758    
759    MLRISC bug fix from Lal.
760    
761    ----------------------------------------------------------------------
762    Name: Matthias Blume (blume (at) tti - c (dot) org)
763    Date: 2003/09/30 16:10:00 CDT
764    Tag: blume-20030930-primio-bat
765    Description:
766    
767    1. Added openVector, nullRd, and nullWr to PRIM_IO.
768    2. Improved .bat files (for Win32 port) to make things work under Win95.
769       (thanks to Aaron S. Hawley for this one)
770    
771    ----------------------------------------------------------------------
772    Name: Matthias Blume (blume (at) tti - c (dot) org)
773    Date: 2003/09/26 16:05:00 CDT
774    Tag: blume-20030926-wrappriv
775    Description:
776    
777    Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
778    
779    ----------------------------------------------------------------------
780    Name: Matthias Blume (blume (at) tti - c (dot) org)
781    Date: 2003/09/26 15:00:00 CDT
782    Tag: blume-20030926-110_43_3
783    Description:
784    
785    - additional cleanup
786    - version number bump, NEW BOOTFILES
787    
788    ----------------------------------------------------------------------
789    Name: Matthias Blume (blume (at) tti - c (dot) org)
790    Date: 2003/09/26 12:00:00 CDT
791    Tag: blume-20030926-ppautoload
792    Description:
793    
794    I modified the read-eval-print loop so that the autoloader gets
795    invoked whenever the prettyprinter tries to look up a symbol that
796    is not currently defined in the toplevel environment but which
797    appears in CM's autoload registry.  As a result, we see far fewer of
798    those ?.Foo.Bar.xxx names in the prettyprinter's output.
799    
800    In addition to this I tried to clean up some pieces of the Basis
801    implementation (e.g., Socket, Word8Array) in order to prevent other
802    instances of these ?.Foo.Bar.xxx names from being printed.
803    
804    The mechanism that picks names for types still needs some work, though.
805    (Right now it seems that if there is a type A.t which is defined to
806    be B.u, but B is unavailable at toplevel, then A.t gets printed as
807    "?.B.u" although the perhaps more sensible solution would be to use
808    "A.t" in this case.  In other words, the prettyprinter should follow
809    a chain of DEFtycs not farther than there are corresponding toplevel
810    names in the current environment.)
811    
812    ----------------------------------------------------------------------
813    Name: Matthias Blume (blume (at) tti - c (dot) org)
814    Date: 2003/09/24 16:31:00 CDT
815    Tag: blume-20030924-installer
816    Description:
817    
818    Another installer tweak:  All the ML code for the installer is now
819    compiled during CMB.make and put into a little library called
820    $smlnj/installer.cm.  The installation then simply invokes
821    
822       sml -m $smlnj/installer.cm
823    
824    and everything happens automagically.
825    
826    Win32:  ML code senses value of environment variable SMLNJ_HOME.
827    Unix:   ML code senses values of environment variables ROOT, CONFIGDIR,
828            and BINDIR.
829    
830    The new scheme guarantees that the ML code responsible for the installation
831    is in sync with the APIs of the main system.  Also, the installer is
832    somewhat faster because the installer script is precompiled.
833    
834    ----------------------------------------------------------------------
835    Name: Matthias Blume (blume (at) tti - c (dot) org)
836    Date: 2003/09/24 15:35:00 CDT
837    Tag: blume-20030924-synsock
838    Description:
839    
840    Added a signature SYNCHRONOUS_SOCKET to basis.cm.  This is like SOCKET
841    but excludes all non-blocking operations.  Defined SOCKET (in Basis)
842    and CML_SOCKET in terms of SYNCHRONOUS_SOCKET.  Removed superfluous
843    implementations of non-blocking operations from CML's Socket
844    structure.
845    
846    ----------------------------------------------------------------------
847    Name: Matthias Blume (blume (at) tti - c (dot) org)
848  Date: 2003/09/24 15:10:05 CDT  Date: 2003/09/24 15:10:05 CDT
849  Tag: blume-20030924-sockets  Tag: blume-20030924-sockets
850  Description:  Description:

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

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