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

Legend:
Removed from v.1390  
changed lines
  Added in v.1614

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