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 1282, Thu Oct 17 13:07:53 2002 UTC revision 1630, Fri Sep 24 21:05:04 2004 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    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
791    Tag: blume-20030924-sockets
792    Description:
793    
794    1. Fixed SOCKET API and implementation to match Basis spec.
795       This required changing the internal representation of sockets to one
796       that remembers (for each socket file descriptor) whether it is currently
797       blocking or non-blocking.  This state is maintained lazily (i.e., a system
798       call is made only if the state actually needs to change).
799    
800    2. OS-specific details of sockets were moved into separate files, thus
801       making it possible to unify the bulk of the socket implementations
802       between Unix and Win32.
803    
804    3. CML's socket API changed accordingly.
805       (Note that we need to remove non-blocking functions from this API
806       since they are redundant in the case of CML!)
807    
808    4. CML's socket implementation now makes use of non-blocking functions
809       provided by Basis, thus removing all OS-dependent code from this part
810       of CML.
811    
812    5. Changed Real64.precision from 52 to 53.  Minor cleanup in Real64 code.
813    
814    ----------------------------------------------------------------------
815    Name: Matthias Blume (blume (at) tti - c (dot) org)
816    Date: 2003/09/22 12:10:00 CDT
817    Tag: blume-20030922-110_43_2
818    Description:
819    
820    Made a new interim version and bootfiles for developer's bootstrapping
821    convenience.
822    
823       110.43.2 -- NEW BOOTFILES
824    
825    ----------------------------------------------------------------------
826    Name: Matthias Blume (blume (at) tti - c (dot) org)
827    Date: 2003/09/19 15:55:00 CDT
828    Tag: blume-20030919-cmdir
829    Description:
830    
831    1. new-install.sh -> install.sh
832    2. changed default CM "metadata" directory name to ".cm" (instead of "CM")
833    3. tweaked installer so that another name instead of .cm can be chosen
834       at install time (by setting the CM_DIR_ARC environment variable
835       during installation); once installation is complete, the name is
836       fixed
837    
838    ----------------------------------------------------------------------
839    Name: Matthias Blume (blume (at) tti - c (dot) org)
840    Date: 2003/09/18 16:00:00 CDT
841    Tag: blume-20030918-110_43_1
842    Description:
843    
844    Made a new interim version and bootfiles for developer's bootstrapping
845    convenience.
846    
847       110.43.1 -- NEW BOOTFILES
848    
849    ----------------------------------------------------------------------
850    Name: Matthias Blume (blume (at) tti - c (dot) org)
851    Date: 2003/09/18 15:20:00 CDT
852    Tag: blume-20030918-misc
853    Description:
854    
855    1. Exported fractionsPerSecond etc. from TimeImp (but not from Time as
856       this seems to be controversial at the moment) and used those in
857       Posix.ProcEnv.times.
858    
859    2. Added Time.{from,to}Nanoseconds to Time.
860    
861    3. Improved Real.{from,to}LargeInt by avoiding needless calculations.
862       For example, fromLargeInt never needs to look at more than 3 "big
863       digits" to get its 53 bits of precision.
864    
865    ----------------------------------------------------------------------
866    Name: Matthias Blume (blume (at) tti - c (dot) org)
867    Date: 2003/09/17 16:30:00 CDT
868    Tag: blume-20030917-real32-slices
869    Description:
870    
871    Added an entry to the primitive environment
872    (compiler/Semant/statenv/prim.sml) for int32->real64 conversion and
873    added code to compiler/CodeGen/main/mlriscGen.sml to implement it.
874    
875    Removed some of the "magic" constants in real64.sml and replaced them
876    with code that generates these values from their corresponding
877    integer counterparts.
878    
879    Made all(?) the slice-related changes to the Basis and made everything
880    compile again...
881    
882    ----------------------------------------------------------------------
883    Name: Matthias Blume (blume (at) tti - c (dot) org)
884    Date: 2003/09/15 17:45:00 CDT
885    Tag: blume-20030915-rbase
886    Description:
887    
888    Fixed bug in Real.fromLargeInt.
889    
890    ----------------------------------------------------------------------
891    Name: Matthias Blume (blume (at) tti - c (dot) org)
892    Date: 2003/09/13 18:11:00 CDT
893    Tag: blume-20030913-libinstall
894    Description:
895    
896    Minor bugfix in config/libinstall (set anchor with path to
897    standalone tool after installing it, otherwise libraries that
898    need ml-lex or ml-yacc won't compile the first time the installer
899    runs).
900    
901    ----------------------------------------------------------------------
902    Name: Matthias Blume (blume (at) tti - c (dot) org)
903    Date: 2003/09/12 11:45:00 CDT
904    Tag: blume-20030912-various
905    Description:
906    
907     - fixed bug in Real.toLargeInt
908     - fixed bug in Posix.ProcEnv.times
909     - changed inputLine functions to return an option
910     - minor installer improvements / bugfixes
911     - changed default @SMLalloc parameter for x86/celeron to 64k
912    
913    ----------------------------------------------------------------------
914    Name: Matthias Blume (blume (at) tti - c (dot) org)
915    Date: 2003/09/09 22:00:00 CDT
916    Tag: Release_110_43
917    Description:
918    
919        New working release 110.43.  New bootfiles.
920    
921    ----------------------------------------------------------------------
922    Name: Matthias Blume (blume (at) tti - c (dot) org)
923    Date: 2003/09/09 19:20:00 CDT
924    Tag: blume-20030909-installer
925    Description:
926    
927    Rewrote large parts of config/install.sh in SML (config/libinstall.sml).
928    Modified config/install.bat to take advantage of it.  Also modified
929    config/install.sh (and called it config/new-install.sh) to take advantage
930    of it on Unix systems.  (The SML code is (supposed to be) platform-
931    independent.)
932    
933    The installer can now install everything under Win32
934    as well as under *nix as long as it compiles.
935    
936    Other changes:
937    
938      - made CML compile again under Win32
939      - made eXene compile under Win32 (by providing a fake structure UnixSock
940        and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv)
941      - fixed a bug in nowhere: it assumed that type OS.Process.status is the
942        same as type int;  under Win32 it isn't
943      - fixed some slice-related problems in the win32-specific parts of CML
944      - added a functor argument "sameVol" to os-path-fn.sml in the Basis
945        (under Win32, the volume name is case-insensitive, and the
946        OS.Path code compares volume names for equality)
947    
948    ----------------------------------------------------------------------
949    Name: Matthias Blume (blume (at) tti - c (dot) org)
950    Date: 2003/09/08 11:55:00 CDT
951    Tag: blume-20030908-fullpath
952    Description:
953    
954    Made Win32 version of OS.FileSys.fullPath return current directory
955    when given an empty string.  This is what the spec says, and incidentally,
956    CM depends on it.  (CM otherwise goes into an infinite loop in certain
957    cases when presented with the name of a non-existing .cm file.)
958    
959    ----------------------------------------------------------------------
960    Name: Matthias Blume (blume (at) tti - c (dot) org)
961    Date: 2003/09/04 16:30:00 CDT
962    Tag: blume-20030905-slices-etc
963    Description:
964    
965      1. Changed interface to vectors and arrays in Basis to match
966         (draft) Basis spec.
967      2. Added signatures and implementations of slices according to
968         Basis spec.
969      3. Edited source code throughout the system to make it compile again
970         under 1. and 2.  (In some cases code had to be added to have it
971         match the new signatures.)
972      4. MLRISC should be backward-compatible: the copies of the originals
973         of files that needed to change under 3. were retained, the .cm files
974         check the compiler version number and use old versions when
975         appropriate.
976      5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to
977         dirstream -> string option (in accordance with Basis spec).
978      6. When generating code that counts lines, ml-lex used function
979         CharVector.foldli, taking advantage of its old interface.
980         This has been replaced with the corresponding code from
981         CharVectorSlice.  (html-lex must be re-lexed!)
982      7. BitArray in smlnj-lib/Util has been extended/modified to match the
983         new MONO_ARRAY signature.  (Do we need BitArraySlice?)
984      8. Removed temporary additions (fromInternal, toInternal) from the
985         (now obsolete) IntInf in smlnj-lib/Util.
986      9. Cleaned up structure Byte.
987     10. Added localOffset, scan, and fromString to Date (according to spec).
988         Cleaned/corrected implementation of Date.
989         (Still need to check for correctness; implement better canonicalizeDate.)
990     11. Added "scan" to signature IEEE_REAL.
991     12. Some improvements to IntInf [in particular: efficiency-hack for
992         mod and rem when second operand is 2 (for parity checks).]
993     13. Changed representation of type Time.time, using a single IntInf.int
994         value counting microseconds.  This considerably simplified the
995         implementation of structure Time.  We now support negative time
996         values; scan and fromString handle signs.
997     14. Functor PrimIO now takes two additional arguments (VectorSlice and
998         ArraySlice).
999    
1000    ----------------------------------------------------------------------
1001    Name: Matthias Blume (blume (at) tti - c (dot) org)
1002    Date: 2003/08/28 17:00:00 CDT
1003    Tag: blume-20030828-intinf
1004    Description:
1005    
1006    This is a major update which comes with a version number bump
1007    (110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES,
1008    and an implementation of IntInf in the Basis.
1009    
1010    There are a fairly large number of related changes and updates throughout
1011    the system:
1012    
1013    Basis:
1014            - Implemented IntInf.
1015            - Made LargeInt a projection of IntInf (by filtering through INTEGER).
1016            - Added some missing Real64 operations, most notably Real.toLargeInt.
1017            - Added FixedInt as a synonym for Int32.
1018    
1019    compiler:
1020            * Added support for a built-in intinf type.
1021              - literals
1022              - pattern matching
1023              - conversion shortcuts (Int32.fromLarge o Int.toLarge etc.)
1024              - overloading on literals and operations
1025    
1026            This required adding a primitive type intinf, some additional
1027            primops, and implementations for several non-trivial intinf
1028            operations in Core.  (The intinf type is completely abstract
1029            to the compiler; all operations get delegated back to the Core.)
1030    
1031            * Intinf equality is handled by polyequal.  However, the compiler
1032            does not print its usual warning in this case (since polyequal
1033            is the right thing to do there).
1034    
1035            * Improved the organization of structure InlineT.
1036    
1037            * A word about conversion primops:
1038            If conversions involving intinf do not cancel out during
1039            CPS contract, then the compiler must insert calls to Core functions.
1040            Since all core access must be resolved already during the FLINT
1041            translate phase, it would be too late a the time of CPS contract
1042            to add new Core calls.  For this reason, conversion primops
1043            for intinf carry two arguments:  1. the numeric argument that
1044            they are supposed to convert, and 2. the Core function that
1045            can help with this conversion if necessary.  If CPS contract
1046            eliminates a primop, then the associated Core function becomes
1047            dead and goes away.  Intinf conversion primops that do not get
1048            eliminated by CPS contract get rewritten into calls of their
1049            core functions by a separate, new phase.
1050    
1051    interactive system:
1052            - Control.Print.intinfDepth controls max length of intinf constants
1053            being printed. (Analogous to Control.Print.stringDepth.)
1054            - Cleanup in printutil and pputil: got rid of unused stuff and
1055            duplicates; replaced some of the code with code that makes better
1056            use of library functionality.
1057    
1058    CM:
1059            Bugfix: parse-errors in init group (system/smlnj/init/init.cmi)
1060            are no longer silent.
1061    
1062    CKIT:
1063            Fixed mismatched uses of Int32 and LargeInt.  I always decided
1064            in favor of LargeInt -- which is now the same as IntInf.
1065            CKIT-knowledgable people should check whether this is what's
1066            intended and otherwise change things back to using Int32 or
1067            FixedInt.
1068    
1069    Throughout the code:
1070            Started using IntInf.int literals and built-in operations
1071            (e.g., comparison with 0) where this seems appropriate.
1072    
1073    
1074    ----------------------------------------------------------------------
1075    Name: Dave MacQueen (dbm@cs.uchicago.edu)
1076    Date: 2003/08/13 11:36:00 CDT
1077    Tag: dbm-20030813-mcz-merge1
1078    Description:
1079    
1080    Merging changes from the mcz-branch development branch into trunk.
1081    These changes involve replacement of the emulated old prettyprinter
1082    interface with direct use of the SML/NJ Lib PP library, and fixing
1083    of a couple of bugs (895, 1186) relating to error messages.  A new
1084    prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
1085    has been added.
1086    
1087    ----------------------------------------------------------------------
1088    Name: Matthias Blume (blume (at) tti - c (dot) org)
1089    Date: 2003/08/11 15:45:00 CDT
1090    Tag: blume-20030811-windows
1091    Description:
1092    
1093    Version number bumped to 110.42.9.  NEW BOOTFILES!!!
1094    
1095        http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
1096    
1097    This patch restores SML/NJ's ability to run under win32.  There are a
1098    number of changes, including fixes for several bugs that had gone
1099    unnoticed until now:
1100    
1101      - uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
1102        trying to run the win32 version from within cygwin.)
1103    
1104      - There are a number of simple .bat scripts that substitute for their
1105        corresponding Unix shell-scripts.  (See below.)
1106    
1107      - The internals of ml-build have been modified slightly.  The main
1108        difference is that instead of calling ".link-sml" (or link-sml.bat)
1109        using OS.Process.system, the ML process delegates this task back
1110        to the script.  Otherwise problems arise in mixed environments such
1111        as Cygwin where scripts look and work like Unix scripts, but
1112        where OS.Process.system cannot run them.
1113    
1114      - In CM, the srcpath pickler used native pathname syntax -- which
1115        is incorrect in the case of cross-compilation.  The new pickle format
1116        is independent of platform-specific naming conventions.
1117    
1118      - Path configuration files (such as lib/pathconfig) can now choose
1119        between native and standard syntax.  Placing a line of the form
1120    
1121            standard!
1122    
1123        into the file causes all subsequent paths to be interpreted using
1124        CM standard pathname syntax (= Unix conventions); a line
1125    
1126            native!
1127    
1128        switches back to native style.  This was needed so that
1129        path config files can be written portably, see src/system/pathconfig.
1130    
1131      - Runtime system:
1132    
1133          - win32-filesys.c:  get_file_time and set_file_time now
1134            access modification time, not creation time.
1135    
1136          - I/O code made aware of new array representation.
1137    
1138          - Bug fixes in X86.prim.masm.
1139    
1140       - src/system/makeml made aware of win32. (For use under cygwin
1141            and other Unix-environments for windows.)
1142    
1143       - In Basis, fixed off-by-one error in win32-io.sml (function vecF)
1144         which caused BinIO.inputAll to fail consistently.
1145    
1146    .bat scripts:
1147    
1148       Windows .bat scripts assume that SMLNJ_HOME is defined.
1149    
1150       - sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
1151         applications (sml, ml-yacc, ml-lex).
1152       - ml-build.bat: analogous to ml-build.
1153       - config\install.bat:  Analogous to config/install.sh.  This requires
1154         that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
1155         (nmake etc. must be on the path, and vcvars32 must have been run.)
1156         Moreover, sources for ml-lex and ml-yacc need to exist under src,
1157         and the bootfile hierarchy must have been unpacked under
1158         sml.boot.x86-win32.
1159         The script is very primitive and does a poor job at error checking.
1160         It only installs the base system, ml-lex, and ml-yacc.  No other
1161         libraries are being installed (i.e., you get only those that
1162         are part of the compiler.)
1163       - link-sml.bat:  analogous to .link-sml, but not currently used
1164    
1165    Unrelated bug fixes:
1166    
1167      - ml-nlffigen now exports structures ST_* corresponding to incomplete
1168        types.
1169      - Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
1170        otherwise.)
1171    
1172    ----------------------------------------------------------------------
1173    Name: Dave MacQueen (macqueen@cs.uchicago.edu)
1174    Date: 2003/06/17
1175    Tag: macqueen-20030617-bug895
1176    Description:
1177    
1178    Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
1179    Tag will be used for new development branch (mcz-branch) for
1180    use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
1181    
1182    ----------------------------------------------------------------------
1183    Name: Matthias Blume (blume (at) tti - c (dot) org)
1184    Date: 2003/05/27 16:55:00 CDT
1185    Tag: blume-20030527-polyeq
1186    Description:
1187    
1188    Tried to eliminated most cases of polymorphic equality.
1189    
1190    ----------------------------------------------------------------------
1191    Name: Matthias Blume (blume (at) tti - c (dot) org)
1192    Date: 2003/05/21 17:45:00 CDT
1193    Tag: blume-20030517-complete
1194    Description:
1195    
1196    Two changes:
1197    
1198      1. Added a flag for controlling whether non-exhaustive bindings will
1199         be treated as errors (default is false).
1200      2. Cleaned up the *entire* source tree so that CMB.make goes through
1201         without a single non-exhaustive match- or bind warning.
1202    
1203    ----------------------------------------------------------------------
1204    Name: Matthias Blume (blume (at) tti - c (dot) org)
1205    Date: 2003/05/17 10:20:00 CDT
1206    Tag: blume-20030517-absyn
1207    Description:
1208    
1209    1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
1210    
1211       This mainly affects the quality of error messages.  However, some
1212       of the code is now more straightforward than before. (Treatment of
1213       the above four constructs in translate.sml is much simpler than
1214       the "macro-expansion" that was going on before.  Plus, the mach-
1215       compiler no longer gets invoked just to be able to compile an
1216       if-expression.)
1217    
1218    2. The ErrorMsg.Error exception is now caught and absorbed by the
1219       interactive loop.
1220    
1221    ----------------------------------------------------------------------
1222    Name: Allen Leung
1223    Date: 2003/05/16 13:05:00 CDT
1224    Tag: leunga-20030516-cygwin-runtime
1225    Description:
1226    
1227        Ported the runtime system to cygwin, which uses the unix
1228    x86-unix bin files.  Missing/buggy features:
1229    
1230       o getnetbyname, getnetbyaddr: these functions seem to be missing in
1231         the Cygwin library.
1232       o Ctrl-C handling may be flaky.
1233       o Windows system calls and Windows I/O are not supported.
1234    
1235       A new set of binfiles is located at:
1236    
1237         http://www.dorsai.org/~leunga/boot.x86-unix.tgz
1238    
1239       This is only needed for bootstrapping the cygwin version of smlnj.
1240       Other x86 versions can use the existing binfiles.
1241    
1242    ----------------------------------------------------------------------
1243    Name: Matthias Blume
1244    Date: 2003/04/08 15:42:00 CDT
1245    Tag: blume-20030408-listpair
1246    Description:
1247    
1248    1. Added a target 'mlrisc' to installer.
1249    
1250    2. Added missing elements to structure ListPair.
1251    
1252    ----------------------------------------------------------------------
1253    Name: Allen Leung
1254    Date: 2003/01/07 10:40:00 EST
1255    Tag: leunga-20030107-int-rem
1256    Description:
1257    
1258    Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
1259    The arguments to the SUBL instruction were swapped.
1260    
1261    ----------------------------------------------------------------------
1262    Name: Matthias Blume
1263    Date: 2002/12/12 16:25:00 EST
1264    Tag: blume-20021212-risc-ra
1265    Description:
1266    
1267    Fixed a serious bug in the rewrite code for FP spilling/reloading that
1268    sent the RA into an infinite loop when floating point registers get
1269    spilled.  (Because of this bug, e.g., nucleic stopped compiling between
1270    110.37 and 110.38.)
1271    There was another set of potential problems related to the handling of
1272    MLRISC annotations (but those did not yet cause real problems, apparently).
1273    
1274    ----------------------------------------------------------------------
1275    Name: Matthias Blume
1276    Date: 2002/12/06 22:40:00 EST
1277    Tag: blume-20021206-cm-fileid
1278    Description:
1279    
1280    Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
1281    This fixes the problem of CM getting confused by files that suddenly
1282    change their identity (e.g., by getting unlinked and recreated by some
1283    text editor such as vi).  There might be a better/cheaper/cleaner way
1284    of doing this, but for now this will have to do.
1285    
1286    ----------------------------------------------------------------------
1287    Name: Matthias Blume
1288    Date: 2002/10/28 09:50:00 EST
1289    Tag: blume-20021028-typecheck
1290    Description:
1291    
1292    Exported structure Typecheck from $smlnj/viscomp/core.cm.
1293    
1294    ----------------------------------------------------------------------
1295  Name: Matthias Blume  Name: Matthias Blume
1296  Date: 2002/10/17 09:10:00 EDT  Date: 2002/10/17 09:10:00 EDT
1297  Tag: Release_110_42  Tag: Release_110_42

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

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