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/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

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

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

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