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 1546, Wed Jul 14 18:38:08 2004 UTC revision 1866, Wed Nov 16 16:21:43 2005 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (http://www.tti-c.org/blume/)
17    Date: 2005/11/16 10:25:00 CST
18    Tag: blume-22051116-btrace
19    Description:
20    
21    Fixed problem with bogus exception message when using back-trace
22    facility.
23    
24    ----------------------------------------------------------------------
25    Name: Matthias Blume (http://www.tti-c.org/blume/)
26    Date: 2005/11/15 22:35:00 CST
27    Tag: blume-22051115-array2copy
28    Description:
29    
30    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
31    
32    ----------------------------------------------------------------------
33    Name: Matthias Blume (http://www.tti-c.org/blume/)
34    Date: 2005/11/15 21:35:00 CST
35    Tag: blume-22051115-versiontool
36    Description:
37    
38    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
39    file gets loaded as a tool -- by the equivalent of CM.make during the
40    run of CMB.make.  Thus, CMB's path configuration is meaningless for
41    it.  Instead, it has the status of "user code", so it should use
42    $/basis.cm to refer to the Basis library.  (At least that's true for
43    the purpose of bootstrapping the previous change.  In the future it
44    might make sense to have versiontool.cm refer to
45    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
46    compiler itself uses.)
47    
48    Also patched src/system/testml to have it activate those extra anchor
49    bindings in config/extrapathconfig.
50    
51    ----------------------------------------------------------------------
52    Name: Matthias Blume (http://www.tti-c.org/blume/)
53    Date: 2005/11/15 16:35:00 CST
54    Tag: blume-22051115-libraries
55    Description:
56    
57    This change affects the way the following libraries are tied into
58    the system:
59    
60       $/basis.cm
61       $/smlnj-lib.cm
62       $/pp-lib.cm
63       $/controls-lib.cm
64       $/html-lib.cm
65       $/ml-yacc-lib.cm
66    
67    These libraries are now internally (as seen from the source code
68    of the implementation itself) known by the following names:
69    
70       $smlnj/basis/basis.cm
71       $smlnj/smlnj-lib/smlnj-lib.cm
72       $smlnj/smlnj-lib/pp-lib.cm
73       $smlnj/smlnj-lib/controls-lib.cm
74       $smlnj/smlnj-lib/html-lib.cm
75       $smlnj/ml-yacc/ml-yacc-lib.cm
76    
77    This makes it possible to work with code that requires different
78    versions of these libraries, and which refers to these libraries using
79    their "default" names (i.e., the first set of names above).  In other
80    words, one can un-define or re-define those default names without
81    compromising the proper functioning of the compiler itself.
82    
83    A similar procedure had already been performed for several of the
84    MLRISC libraries that are linked into the compiler.  I did some
85    cleanup on this code.
86    
87    A new file in the config directory (named extrapathconfig) is
88    responsible for setting up path anchors that the compiler itself does
89    not need, but that are typically required by user code.
90    
91    ----------------------------------------------------------------------
92    Name: Matthias Blume
93    Date: 2005/11/07 17:05:00 CST
94    Tag: blume-20051107-slice
95    Description:
96    
97    Fixed erroneous out-of-bounds test in the "update" function of
98    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
99    out the problem.)
100    
101    Pushed some Basis changes through ML-Lex, CML, and eXene.
102    
103    ----------------------------------------------------------------------
104    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
105    Date: 2005/11/07
106    Description:
107    Fixed a Basis incompatibility: The depreciated function Substring.all
108    was removed (use Substring.full instead).
109    
110    ----------------------------------------------------------------------
111    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
112    Date: 2005/11/05
113    Description:
114    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
115    
116    ----------------------------------------------------------------------
117    Name: Matthias Blume (http://www.tti-c.org/blume/)
118    Date: 2005/11/02 16:25:00 CST
119    Tag: blume-20051102-hex
120    Description:
121    
122    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
123      in either upper case or lower case format.
124    * Pushed changes to names of Pack<N>{Big,Little} structures through
125      CML and eXene.
126    
127    ----------------------------------------------------------------------
128    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
129    Date: 2005/11/02
130    Description:
131    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
132    be called PackWord<N>{Big,Little}.
133    
134    ----------------------------------------------------------------------
135    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
136    Date: 2005/10/28
137    Description:
138    Fixed a minor Basis incompatibility: hex digits should be upper case.
139    
140    ----------------------------------------------------------------------
141    Name: Matthias Blume (blume (at) tti - c (dot) org)
142    Date: 2005/10/25 16:00:00 CDT
143    Tag: Release_110_56
144    Description:
145    
146    New working version (110.56).  NEW BOOTFILES!
147    
148    ----------------------------------------------------------------------
149    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
150    Date: 2005/10/25
151    Description:
152    Added interval sets to utility library (signatures INTERVAL_DOMAIN
153    and INTERVAL_SET, and functor IntervalSetFn).
154    
155    ----------------------------------------------------------------------
156    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
157    Date: 2005/10/14
158    Description:
159    Add Zhong Shao's fix for datatype equality functions.
160    
161    ----------------------------------------------------------------------
162    Name: Allen Leung (leunga (at) reservoir (dot) com)
163    Date: 2005/10/14 12:30:00 EST
164    Tag: leunga-20051014-x86-spill
165    Description:
166    
167    Bug fix a bug found by Carl Hauser.
168    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
169    
170    ----------------------------------------------------------------------
171    Name: Allen Leung (leunga (at) reservoir (dot) com)
172    Date: 2005/10/14 11:15:00 EST
173    Tag: leunga-20051014-x86-asm
174    Description:
175    
176    Removed some debugging code in file x86Asm.sml.
177    The function emit_operand was printing out debugging output.
178    
179    ----------------------------------------------------------------------
180    Name: John Reppy
181    Date: 2005/07/27
182    Tag:
183    Description:
184    
185    Fixed ml-lex to recognize "\r" as representing carriage return.
186    
187    ----------------------------------------------------------------------
188    Name: John Reppy
189    Date: 2005/07/27
190    Tag:
191    Description:
192    
193    Fixed ml-yacc to work on files with non-native end-of-line
194    encodings (e.g., Windows text file on a Unix system).
195    
196    ----------------------------------------------------------------------
197    Name: John Reppy
198    Date: 2005/07/20
199    Tag:
200    Description:
201    
202    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
203    to support HPUX 11.
204    
205    ----------------------------------------------------------------------
206    Name: John Reppy
207    Date: 2005/07/06
208    Tag:
209    Description:
210    
211    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
212    
213    ----------------------------------------------------------------------
214    Name: Matthias Blume (blume (at) tti - c (dot) org)
215    Date: 2005/07/06 00:45:00 CDT
216    Tag: blume-20050706-slice-copy
217    Description:
218    
219    Fixed reversed logic for deciding whether to "copy up" or "copy down"
220    in *-array-slice.sml.
221    
222    ----------------------------------------------------------------------
223    Name: Allen Leung (leunga (at) reservoir (dot) com)
224    Date: 2005/05/31 17:00:00 EST
225    Tag: leunga-20050531-cygwin-fault-2
226    Description:
227    
228    A typo in the cygwin code fixed.
229    
230    ----------------------------------------------------------------------
231    Name: Allen Leung (leunga (at) reservoir (dot) com)
232    Date: 2005/05/31 16:47:00 EST
233    Tag: leunga-20050531-cygwin-fault
234    Description:
235    
236    Updated Cygwin's fault/signal handling to match the Windows version.
237    Updated the export list.
238    
239    ----------------------------------------------------------------------
240    Name: Matthias Blume (blume (at) tti - c (dot) org)
241    Date: 2005/05/18 13:35:00 CDT
242    Tag: Release_110_54
243    Description:
244    
245    New working version (110.54).  NEW BOOTFILES!
246    
247    ----------------------------------------------------------------------
248    Name: Matthias Blume (blume (at) tti - c (dot) org)
249    Date: 2005/05/18 11:58:00 CDT
250    Tag: blume-20050518-installer
251    Description:
252    
253    Added support scripts for Mac OS X PackageMaker and modified
254    config/install.sh so that it supports re-dumping a heap image
255    after customization.
256    
257    ----------------------------------------------------------------------
258    Name: Matthias Blume (blume (at) tti - c (dot) org)
259    Date: 2005/05/18 10:55:00 CDT
260    Tag: blume-20050518-realdiv-noovld
261    Description:
262    
263    Un-overloaded / to work around bug in overloading resolution code.
264    
265    ----------------------------------------------------------------------
266    Name: Matthias Blume (blume (at) tti - c (dot) org)
267    Date: 2005/05/16 23:50:00 CDT
268    Tag: blume-20050516-redump-heap
269    Description:
270    
271    Added mechanism for re-creating a heap file for the interactive system
272    after configuration variables have been changed.
273    
274       CM.redump_heap : string -> unit
275    
276    This is much like SMLofNJ.exportML, but starting from the resulting
277    heap does not return to the caller of CM.redump_heap but
278    restarts the interactive system from scratch.  The original call of
279    CM.redump_heap does not return but ends the interactive session.
280    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
281    
282    Internally, redump_heap winds the dynamic execution context back to
283    the point where the original heap image was created and re-executes
284    the heap image generation code in the boot code.
285    
286    ----------------------------------------------------------------------
287    Name: Matthias Blume (blume (at) tti - c (dot) org)
288    Date: 2005/05/09 21:55:00 CDT
289    Tag: blume-20050509-word64
290    Description:
291    
292    Added a hack to the existing hack known as Word64 to make fromString
293    behave correctly.  I am still not sure whether Word64.scan will work
294    as specified with respect to the interaction of radix and prefix.
295    
296    ----------------------------------------------------------------------
297    Name: Allen Leung (leunga (at) reservoir (dot) com)
298    Date: 2005/05/04 11:50:00 EST
299    Tag: leunga-20050504-checkgc
300    Description:
301    
302    Added a gc protocol checking phase.  This phase is enabled with
303    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
304    
305    ----------------------------------------------------------------------
306    Name: Matthias Blume (blume (at) tti - c (dot) org)
307    Date: 2005/05/04 10:45:00 CDT
308    Tag: blume-20050504-intinf
309    Description:
310    
311    Fixed a bug in the implementation of div and mod for IntInf.
312    Thanks to Neophytos Michael for reporting the problem.
313    
314    ----------------------------------------------------------------------
315    Name: Matthias Blume (blume (at) tti - c (dot) org)
316    Date: 2005/05/04 10:35:00 CDT
317    Tag: blume-20050504-join
318    Description:
319    
320    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
321    
322    ----------------------------------------------------------------------
323    Name: Matthias Blume (blume (at) tti - c (dot) org)
324    Date: 2005/02/28 23:40:00 CST
325    Tag: blume-20050228-mVar
326    Description:
327    
328    Fixed serious bug (brown paper bag variety) in new implementation of
329    structure Atom in CML.  (I had accidentally used a mailbox instead of
330    an mvar, leaving the door open for races.)
331    
332    ----------------------------------------------------------------------
333    Name: Matthias Blume (blume (at) tti - c (dot) org)
334    Date: 2005/02/25 15:00:00 CST
335    Tag: Release_110_53
336    Description:
337    
338    New working version (110.53).  NEW BOOTFILES!
339    
340    ----------------------------------------------------------------------
341    Name: Matthias Blume (blume (at) tti - c (dot) org)
342    Date: 2005/02/25 14:50:00 CST
343    Tag: blume-20050225-susp
344    Description:
345    
346    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
347    implemented in Core -- which means that it is the same as the one used
348    by the lazy extension.
349    
350    ----------------------------------------------------------------------
351    Name: Matthias Blume (blume (at) tti - c (dot) org)
352    Date: 2005/02/24 16:50:00 CST
353    Tag: blume-20050224-cml-atom
354    Description:
355    
356    Simpler and at the same time more general implementation of structure
357    Atom in CML.
358    
359    ----------------------------------------------------------------------
360    Name: Matthias Blume (blume (at) tti - c (dot) org)
361    Date: 2005/02/15 17:35:00 CST
362    Tag: blume-20050215-tools
363    Description:
364    
365    Created new "tools" directory under "src" and moved "TraceDebugProf"
366    there.
367    
368    ----------------------------------------------------------------------
369    Name: Matthias Blume (blume (at) tti - c (dot) org)
370    Date: 2005/02/10 17:55:00 CST
371    Tag: blume-20050210-longlong
372    Description:
373    
374    Implemented "long long" arguments and results for NLFFI.  (Only the
375    PPC/MacOS implementation is complete, the other backends still need to
376    be updated.)
377    
378    ----------------------------------------------------------------------
379    Name: Matthias Blume (blume (at) tti - c (dot) org)
380    Date: 2005/01/24 17:40:00 CST
381    Tag: blume-20050124-mlyacc
382    Description:
383    
384    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
385    problem with certain "as" patterns which previously got rendered
386    using incorrect syntax.
387    
388    ----------------------------------------------------------------------
389    Name: Matthias Blume (blume (at) tti - c (dot) org)
390    Date: 2005/01/18 12:00:00 CST
391    Tag: blume-20050118-profile
392    Description:
393    
394    Made time profiling code (interrupt handler) in runtime system aware
395    of new array representation.
396    
397    ----------------------------------------------------------------------
398    Name: Matthias Blume (blume (at) tti - c (dot) org)
399    Date: 2005/01/14 18:00:00 CST
400    Tag: blume-20050114-heap2exec
401    Description:
402    
403    Implemented new (but still experimental) heap2exec facility.  This is
404    tested under Mac OS X and should work under Linux (will test shortly).
405    It will probably also work on the Sparc (will test some time later).
406    
407      - removed old "HACKED_STANDALONE" hack from runtime
408    
409    To be able to test this, uncomment the request for "heap2asm" in
410    config/targets prior to installation.  (Notice that this is different
411    from "heap2exec" mentioned below.  Not a typo.)
412    
413    To perform an actual test, run the command
414    
415       $ bin/heap2exec heapfile execfile
416    
417    (You can put heap2exec on your shell's path.)
418    
419    For example, run
420    
421      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
422    
423    This will create a standalone executable called "mly" which you can
424    then invoke directly as a command.
425    
426    ----------------------------------------------------------------------
427    Name: Matthias Blume (blume (at) tti - c (dot) org)
428    Date: 2005/01/07 11:44:00 CST
429    Tag: blume-20050107-mlstring
430    Description:
431    
432    fixed off-by-one error in ML_STRING macro (globals.c)
433    
434    ----------------------------------------------------------------------
435    Name: Matthias Blume (blume (at) tti - c (dot) org)
436    Date: 2004/12/23 18:00:00 CST
437    Tag: blume-20041223-santa
438    Description:
439    
440    Made ml-build script "smarter" (but only very little).
441    
442    ----------------------------------------------------------------------
443    Name: Matthias Blume (blume (at) tti - c (dot) org)
444    Date: 2004/12/21 15:05:00 CST
445    Tag: blume-20041221-longlong
446    Description:
447    
448    * Implemented access to signed and unsigned long long data in NLFFI.
449    (The parameter-passing part of the picture has not complete. But
450    data structure access seems to work.)
451    
452    * Fixed CM's incorrect assumption that the PPC is little-endian.
453      (On the Mac, it is big-endian.  And that's currently our only
454      PPC platform.)
455    
456    ----------------------------------------------------------------------
457    Name: Matthias Blume (blume (at) tti - c (dot) org)
458    Date: 2004/12/21 12:50:00 CST
459    Tag: blume-20041221-memory
460    Description:
461    
462    Some cleanup in the $c/memory.cm library: separated some concerns by
463    moving allocation code and memory access code each into their own
464    files.
465    
466    ----------------------------------------------------------------------
467    Name: Allen Leung (leunga (at) reservoir (dot) com)
468    Date: 2004/12/17 16:12:00 EST
469    Tag: leunga-20041217-cygwin-smlnj-home
470    Description:
471    
472        The Unix I/O library of SML/NJ on cygwin does not understand
473    Windows style pathname, so problems arise when SMLNJ_HOME is set
474    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
475    to a POSIX pathname on cygwin.
476    
477    ----------------------------------------------------------------------
478    Name: Matthias Blume (blume (at) tti - c (dot) org)
479    Date: 2004/12/16 13:35:00 CST
480    Tag: Release_110_52
481    Description:
482    
483    Last-minute changes incorporated into 110.52.  Release tag moved.
484    
485    The changes:
486       - HashString.hashString' -> HashString.hashSubstring
487       - bug fix in UnivariateStats
488    
489    ----------------------------------------------------------------------
490    Name: Matthias Blume (blume (at) tti - c (dot) org)
491    Date: 2004/12/15 23:40:00 CST
492    Tag: blume-20041215-hashSubstring
493    Description:
494    
495    - HashString.hashString' -> HashString.hashSubstring
496    - corresponding changes in atom.sml
497    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
498      added some comments
499    
500    ----------------------------------------------------------------------
501    Name: Matthias Blume (blume (at) tti - c (dot) org)
502    Date: 2004/12/15 15:30:00 CST
503    Tag: (Release_110_52)
504    Description:
505    
506    New working version (110.52).  NEW BOOTFILES!
507    
508    ----------------------------------------------------------------------
509    Name: Matthias Blume (blume (at) tti - c (dot) org)
510    Date: 2004/12/15 12:45:00 CST
511    Tag: blume-20041215-spaces
512    Description:
513    
514    More on the space problem (this time for Win32).
515    
516    ----------------------------------------------------------------------
517    Name: Matthias Blume (blume (at) tti - c (dot) org)
518    Date: 2004/12/14 17:30:00 CST
519    Tag: blume-20041214-spaces
520    Description:
521    
522    Hacked some of the scripts (in particular: the installer) to cope with
523    spaces in filenames a bit better.  But beware: the current "solution"
524    is likely still full of bugs and inherently incomplete.  (We need to
525    do away with those shell scripts for a comprehensive solution.)
526    
527    ----------------------------------------------------------------------
528    Name: Matthias Blume (blume (at) tti - c (dot) org)
529    Date: 2004/12/13 14:45:00 CST
530    Tag: blume-20041213-ml-makedepend
531    Description:
532    
533    Fixed bug in code for ml-makedepend.
534    
535    ----------------------------------------------------------------------
536    Name: Matthias Blume (blume (at) tti - c (dot) org)
537    Date: 2004/12/09 16:30:00 CST
538    Tag: blume-20041209-statistics
539    Description:
540    
541    Added two simple but potentially useful statistics modules to SML/NJ Library.
542    (See CHANGES file there.)
543    
544    ----------------------------------------------------------------------
545    Name: Matthias Blume (blume (at) tti - c (dot) org)
546    Date: 2004/12/01 16:50:00 CST
547    Tag: blume-20041201-atom
548    Description:
549    
550    smlnj-lib:
551    
552      Added function HashString.hashString' for substrings.
553      Hand-inlined CharVector.foldl into HashString (for speed).
554      Modified implementation of structure Atom to avoid extracting
555      strings from substrings unless necessary.
556      (Also see CHANGES file for smlnj-lib.)
557    
558    ----------------------------------------------------------------------
559    Name: Matthias Blume (blume (at) tti - c (dot) org)
560    Date: 2004/11/24 22:15:00 CST
561    Tag: blume-20041124-cml
562    Description:
563    
564    Made sure CML compiles when Position = Int64.
565    
566    ----------------------------------------------------------------------
567    Name: Matthias Blume (blume (at) tti - c (dot) org)
568    Date: 2004/11/24 14:30:00 CST
569    Tag: blume-20041124-position
570    Description:
571    
572    The compiler can now be compiled in a mode that makes structure Position
573    equal to Int64.  The default, however, is unchanged (Position = Int31)
574    for the time being.
575    
576    To enable 64-bit positions, use the following procedure:
577    
578    1. Start sml
579    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
580    3. Type
581          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
582    4. Run CMB.make() as usual.
583    
584    This is barely tested.  The only test so far was a little SML program
585    counting the number of characters in an 8-gigabyte file by
586    reading it character-by-character.  That test was successful.
587    
588    In support of 64-bit positions, a number of new functions have been
589    added to the runtime system.
590    
591    ----------------------------------------------------------------------
592    Name: Matthias Blume (blume (at) tti - c (dot) org)
593    Date: 2004/11/23 14:45:00 CST
594    Tag: blume-20041123-useFile
595    Description:
596    
597    Fixed a problem with unhelpful error messages related to problems with
598    .cm- or .sml files that appear as part of the sml command line.
599    
600    ----------------------------------------------------------------------
601    Name: Matthias Blume (blume (at) tti - c (dot) org)
602    Date: 2004/11/18 15:40:00 CST
603    Tag: Release_110_51
604    Description:
605    
606    New working version (110.51).  NEW BOOTFILES!
607    
608    ----------------------------------------------------------------------
609    Name: Matthias Blume (blume (at) tti - c (dot) org)
610    Date: 2004/11/18 15:35:00 CST
611    Tag: <none>
612    Description:
613    
614    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
615    Joemann).
616    
617    ----------------------------------------------------------------------
618    Name: Allen Leung (leunga (at) reservoir (dot) com)
619    Date: 2004/11/17 16:05:21 EST 2004
620    Tag: leunga-20041117-mlrisc-live-kill
621    Description:
622    
623       Added support for MLTree constructs LIVE and KILL
624    to all the architectures.
625    
626    ----------------------------------------------------------------------
627    Name: Matthias Blume (blume (at) tti - c (dot) org)
628    Date: 2004/11/13 00:20:00 CST
629    Tag: blume-20041113-versiontool
630    Description:
631    
632    - Stripped down the versiontool: It now only handles the version number.
633      The date string is generated at bootstrap time (during makeml).
634    
635    - In a previous commit, fixed a minor issue with how polyequal is being
636      translated.  In particular, the code now "looks through" abstractions.
637      This results in slightly fewer polyEqual warnings and hopefully slightly
638      more efficient code.  Important examples for where this matters are
639      the new int64 and word64 types.
640    
641    ----------------------------------------------------------------------
642    Name: Matthias Blume (blume (at) tti - c (dot) org)
643    Date: 2004/11/12 00:30:00 CST
644    Tag: blume-20041112-int64
645    Description:
646    
647    Structure Int64 fully hooked in.  (The implementation is not very
648    efficient, though.)
649    
650    ----------------------------------------------------------------------
651    Name: Matthias Blume (blume (at) tti - c (dot) org)
652    Date: 2004/11/11 17:30:00 CST
653    Tag: blume-20041111-more64
654    Description:
655    
656    All the pieces of Word64 are now there, with the exception of the
657    conversions from and to LargeWord. (Eventually these need to be identities,
658    but for the time being they don't even make sense because LargeWord is
659    32-bit wide.)
660    
661    Also started to add similar support for Int64, but major pieces of that
662    are still missing.
663    
664    ----------------------------------------------------------------------
665    Name: Matthias Blume (blume (at) tti - c (dot) org)
666    Date: 2004/11/11 00:15:00 CST
667    Tag: blume-20041111-word64
668    Description:
669    
670    Structure Word64 is now (almost) complete, word literals and patterns
671    seem to work.  There are a few odd pieces missing.  In particular,
672    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
673    at the moment.
674    
675    Making Word64 official would mean that LargeWord becomes Word64.  But
676    this requires extreme care because most word-word conversions have to
677    go through LargeWord, so making a mistake means loss of efficiency or
678    worse.  Eventually there will be a solution similar to (but actually
679    simpler than) what I did with IntInf.
680    
681    ----------------------------------------------------------------------
682    Name: Matthias Blume (blume (at) tti - c (dot) org)
683    Date: 2004/11/10 18:12:00 CST
684    Tag: blume-20041110-64bit
685    Description:
686    
687    More 64-bit hacking (but still not even half-way there yet).
688    Also, some assorted improvements to the handling of 8-bit words.
689    
690    ----------------------------------------------------------------------
691    Name: Matthias Blume (blume (at) tti - c (dot) org)
692    Date: 2004/11/09 17:50:00 CST
693    Tag: <none>
694    Description:
695    
696    Started adding some infrastructure for supporting 64-bit int- and
697    word-types.  (Still in its very early stages.)
698    
699    ----------------------------------------------------------------------
700    Name: Matthias Blume (blume (at) tti - c (dot) org)
701    Date: 2004/10/28 10:45:00 CDT
702    Tag: Release_110_50
703    Description:
704    
705    New working version (110.50).  NEW BOOTFILES!
706    
707                 =====================
708    
709    Also:
710    
711      - Changend config/srcarchiveurl from a file just
712        containing the URL string into a file containing
713        shell script code.  The code has access to the $VERSION variable.
714      - Made corresponding changes to config/install.sh and config/unpack.
715      - Default contents of config/srcarchiveurl uses $VERSION and
716        normally does not have to be edited to reflect a version change.
717    
718      (As a result, a version change can be done by just editing
719       config/version, the rest is now automatic.)
720    
721    ----------------------------------------------------------------------
722    Name: Matthias Blume (blume (at) tti - c (dot) org)
723    Date: 2004/10/27 17:50:00 CDT
724    Tag: blume-20041027-btrace-msg
725    Description:
726    
727    BackTrace.monitor now also reports the source of the exception that
728    triggered the trace.
729    
730    ----------------------------------------------------------------------
731    Name: Matthias Blume (blume (at) tti - c (dot) org)
732    Date: 2004/10/27 17:20:00 CDT
733    Tag: blume-20041027-x86-c-calls
734    Description:
735    
736    This is the HISTORY entry for two earlier commits, both concerning
737    the x86 c-calls code in MLRISC:
738    
739      - added a missing LOAD in the code that deals with struct arguments
740      - made sure the caller does not add the wrong number of bytes to the
741        stack pointer after a call of a function returning a struct
742        (the callee already pops the implicit argument which points to
743         the space reserved for the result)
744    
745    ----------------------------------------------------------------------
746    Name: Allen Leung (leunga (at) reservoir (dot) com)
747    Date: 2004/10/24 14:00:00 EST
748    Tag: leunga-20041024-x86-gas-fucomip
749    Description:
750    
751       John discovered a bug in the syntax of fucomip.
752       The opcodes FU?COMIP? have been changed to
753    
754           fu?comip? %st(i), %st
755    
756    ----------------------------------------------------------------------
757    Name: Matthias Blume (blume (at) tti - c (dot) org)
758    Date: 2004/10/20 15:06:00 CDT
759    Tag: blume-20041020-standalone-backtrace
760    Description:
761    
762    Added a mechanism for getting back-trace information from standalone
763    programs.  Here is how it works:
764    
765       1. The part of the program from which you want to get backtrace
766          information (usually the whole program) should be wrapped with
767          BackTrace.monitor.  This is a (unit->'a)->'a function, and your
768          main program could be modified from something like
769    
770             fun main (pgm, args) = ...
771    
772         to
773    
774            fun main (pgm, args) = BackTrace.monitor (fn () => ...)
775    
776       2. To be able to access BackTrace.monitor, you have to add
777          library $smlnj-tdp/plugins.cm to the .cm file that contains your
778          main function.
779    
780       3. Remove all compiled code (i.e., all the .cm/ subdirectories that
781          CM might have created in the past for your project).
782    
783       4. Build the system using this command line:
784    
785             ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
786                      myprog.cm MyProg.main myprog
787    
788          instead of the usual
789    
790             ml-build myprog.cm MyProg.main myprog
791    
792    I changed a library name:
793    
794       $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
795    
796    New libraries:
797    
798       $smlnj-tdp/back-trace.cm
799          -- when loaded causes the back-trace plugin to be installed
800       $smlnj-tdp/coverage.cm
801          -- when loaded causes the coverage plugin to be installed
802    
803    ----------------------------------------------------------------------
804    Name: Matthias Blume (blume (at) tti - c (dot) org)
805    Date: 2004/10/18 16:45:00 CDT
806    Tag: blume-20041018-groupowner
807    Description:
808    
809    Added an "obsolete" warning for the "group owner" syntax to CM's parser.
810    
811    Eliminated group owner specs from .cm files throughout the source tree.
812    
813    ----------------------------------------------------------------------
814    Name: Matthias Blume (blume (at) tti - c (dot) org)
815    Date: 2004/10/15 15:45:00 CDT
816    Tag: blume-20041015-coverage
817    Description:
818    
819    * Test coverage tool added!
820    * Further reorganization of tracing-, debugging-, and profiling support:
821    
822        - moved original BTImp -- now called BackTrace -- into a separate
823          library called $/trace-debug-profile.cm
824        - eliminated all mentions of BTrace from SMLofNJ.Internals
825        - only the instrumentation mechanism is now left in the compiler proper
826        - BackTrace module is a plugin which is NOT plugged in by default
827        - Coverage module is another such plugin
828    
829    To get the benefits of any of these plugin modules, the code in
830    question must be compiled with tdp instrumentation turned on.  This
831    can be done by setting SMLofNJ.Internals.TDP.mode to true.
832    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
833    
834    Plugins are selected at link time.  (Pre-compiled instrumented code
835    can be re-loaded with different plugins in effect.)  When an
836    instrumented module is linked, whatever plugins are at that time
837    enabled will come into effect for that module.
838    
839    To enable the back-trace plugin, load library $/trace-debug-profile.cm
840    and invoke BackTrace.install() (e.g., from the interactive prompt).
841    To enable the coverage plugin, load the same library and invoke
842    Coverage.install().
843    
844    Back-traces are generated automatically on uncaught exceptions and
845    when the code in question explicitly invokes BackTrace.trigger().
846    
847    Coverage (and execution frequency-) information must be queried
848    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
849    
850    ----------------------------------------------------------------------
851    Name: Matthias Blume (blume (at) tti - c (dot) org)
852    Date: 2004/10/14 17:40:00 CDT
853    Tag: blume-20041014-tdp-core
854    Description:
855    
856    Snapshot of a significant overhaul of how the trace/debug/profile support
857    is hooked into the system (specifically: Core and SMLofNJ.Internals).
858    
859    ----------------------------------------------------------------------
860    Name: Matthias Blume (blume (at) tti - c (dot) org)
861    Date: 2004/10/13 16:34:00 CDT
862    Tag: blume-20041013-tdp
863    Description:
864    
865    Some rationalization of names:
866    
867       structure BTrace -> structure TDPInstrument
868       etc.
869    
870    This is is preparation of using the original back-trace
871    instrumentation for other purposes.  "TDP" stands for
872    Trace/Debug/Profile.
873    
874    The control flag controlling whether instrumentation is on or off is now
875    registered under a different name, so instead of running sml as
876    
877     sml -Cinstrument.btrace-mode=true
878    
879    one has to say
880    
881     sml -Ctdp.instrument=true
882    
883    ----------------------------------------------------------------------
884    Name: Matthias Blume (blume (at) tti - c (dot) org)
885    Date: 2004/10/11 16:37:00 CDT
886    Tag: blume-20041011-regions
887    Description:
888    
889    Made some minor modifications to elabcore.sml to have source regions
890    be propagated more tightly -- resulting in better (i.e., smaller)
891    regions being reported in error- and debug messages.
892    
893    ----------------------------------------------------------------------
894    Name: Matthias Blume (blume (at) tti - c (dot) org)
895    Date: 2004/10/08 22:50:00 CDT
896    Tag: blume-20041008-cmkw
897    Description:
898    
899    Fixed handling of keywords in .cm files: After seeing "is" the lexer
900    treats subsequent occurrences of "group", "library", "source", "is",
901    "*", and "-" as ordinary identifiers rather than keywords.
902    
903    Most seriously, this fixes a problem with CM's "shell" tool.  The tool
904    is supposed to accept a tool argument called "source", but this did
905    not work because of the clash with the keyword.
906    
907    ----------------------------------------------------------------------
908    Name: Matthias Blume (blume (at) tti - c (dot) org)
909    Date: 2004/10/07 16:00:00 CDT
910    Tag: blume-20041007-cleanup
911    Description:
912    
913    Assorted cleanup work:
914    
915      - got rid of intstrmap in favor of using the library's
916        hash table implementation
917      - threw out most of the pathnames stuff, as it was not used anyway
918      - simplified tokentable implementation
919      - fixed some minor spelling errors
920    
921    ----------------------------------------------------------------------
922    Name: Matthias Blume (blume (at) tti - c (dot) org)
923    Date: 2004/10/06 15:15:15 CDT
924    Tag: blume-20041006-handler
925    Description:
926    
927    Cleaned up the absyn to reflect the invariant that HANDLE always
928    carries a FNexp as part of the type definition.  This eliminates some
929    superfluous sanity checks at runtime down the road.
930    
931    Some minor cleanup of the btrace code.
932    
933    ----------------------------------------------------------------------
934    Name: Matthias Blume (blume (at) tti - c (dot) org)
935    Date: 2004/10/01 10:20:30 CDT
936    Tag: blume-20041001-slave
937    Description:
938    
939    Added hack to make slave mode work in the presence of the version
940    tool.  (Still, since the master does two passes over the code for
941    CMB.make, the release number gets bumped twice when slaves are
942    attached.  I don't know if this is worth fixing...)
943    
944    ----------------------------------------------------------------------
945    Name: Matthias Blume (blume (at) tti - c (dot) org)
946    Date: 2004/09/30 10:55:00 CDT
947    Tag: blume-20040930-version
948    Description:
949    
950    * Moved the "version" magic into its own little library under
951      src/system/smlnj/internal.  This avoids expensive reconstruction of
952      a stable src/compiler/core.cm.
953    
954    * At the same time, structure CompilerVersion is now known as
955      structure SMLNJVersion.
956    
957    * Arranged for the version tool to NOT kick in when rebuilding the system
958      (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
959      Also, loading the versiontool does not work when rebuilding the system
960      because CM is not properly initialized at that time.
961    
962    ----------------------------------------------------------------------
963    Name: Matthias Blume (blume (at) tti - c (dot) org)
964    Date: 2004/09/29 14:00:00 CDT
965    Tag: blume-20040929-autoversion
966    Description:
967    
968    Implemented some CM magic to have
969        file src/compiler/TopLevel/main/version.sml
970    generated automagically.
971    The version is taken from two files: config/version and config/release.
972    The first is expected to contain a two-part version number such as 110.49.
973    The second should contain a single number, but it may be missing.
974    
975    If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
976    time the version tool is loaded (which is the first time you say CMB.make),
977    then the tool will increment the value stored in config/release every
978    time CMB.make is invoked.
979    
980    The binfile format is now insensitive to anything beyond the first
981    two components of a version number, so bumping the release does not render
982    binfiles incompatible.  Auto-bumping can be used to keep track of versions
983    during development without invalidating existing binfiles.
984    
985    In any case, every CMB.make updates the date information in version.sml.
986    (This is the date that is printed in the banner.)
987    
988    ----------------------------------------------------------------------
989    Name: Matthias Blume (blume (at) tti - c (dot) org)
990    Date: 2004/09/28 10:53:00 CDT
991    Tag: blume-20040928-controls
992    Description:
993    
994    Some cleanup of the controls code.
995    
996    ----------------------------------------------------------------------
997    Name: Matthias Blume (blume (at) tti - c (dot) org)
998    Date: 2004/09/27 22:08:00 CDT
999    Tag: blume-20040927-controls
1000    Description:
1001    
1002    Added two pieces of functionality to the Controls interface:
1003    
1004    1.   val save'restore: 'a control -> unit -> unit
1005    
1006       grabs the current value of the control in stage 1 and restores it
1007       in stage 2.
1008    
1009    2.   val set' : 'a control * 'a -> unit -> unit
1010    
1011       stores the given value into the control in stage 2 (i.e., delayed)
1012       but does all error checking in stage 1.
1013       (This is for string controls that need to do parse their argument --
1014        something that might fail.  In some cases, notably in CM, one
1015        already knows the intended argument but wants to delay the actual
1016        assignment until a time when error recovery would be more difficult.)
1017    
1018    Changed the handling of controls in tool arguments to classes "sml" and
1019    "lazysml":
1020       - use Controls.save'restore as a more robust way of restoring the
1021         old value (in particular: without having to re-parse the string)
1022       - use controls to handle the "overload" keyword in the init group
1023         (I believe this change actually fixes a long-standing obscure bug.)
1024    
1025    ----------------------------------------------------------------------
1026    Name: Matthias Blume (blume (at) tti - c (dot) org)
1027    Date: 2004/09/27 17:00:00 CDT
1028    Tag: blume-20040927-lazysml
1029    Description:
1030    
1031    Added a new tool class called "lazysml" to CM's tool chest.  The only
1032    difference to "sml" is that compilation is done with Control.lazysml
1033    set to true.  A source of class "lazysml" is automatically recognized
1034    by a file name suffix of ".lml".
1035    
1036    In addition to the above feature, the original class "sml" now also
1037    supports a tool argument "lazy" which has the same effect.  As a
1038    result, the following three lines are equivalent:
1039    
1040        foo.sml : lazysml
1041        foo.sml : sml (lazy)
1042        foo.sml (lazy)
1043    
1044    The setting goes into effect both during parsing and during
1045    compilation.  The original setting is restored right after parsing and
1046    after compilation, respectively.
1047    
1048    In addition to all the above, there is also a general mechanism to set
1049    ANY of the "controls" that are available at the command line via
1050    "-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
1051    apply as well. (In fact, "lazy" is implemented as a special case of
1052    the general mechanism.)
1053    
1054    The .cm file syntax uses a new keyword tool argument called "with".
1055    There are several ways of indicating the desired settings:
1056    
1057        foo.sml (with:parser.quotations=true)
1058        foo.sml (with:(name:parser.quotations value:true))
1059        foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
1060        foo.sml (with:(name1=value1 name2=value2 ...))
1061        foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
1062    
1063        etc.
1064    
1065    Another possible abbreviation is to leave out the =v or value:v part
1066    if the name refers to a boolean control (in which case the value is
1067    taken to be true).  Thus, one could get lazy sml also by saying:
1068    
1069        foo.sml (with:parser.lazy-keyword=true)
1070        foo.sml (with:parser.lazy-keyword)
1071        foo.sml (with:(name:parser.lazy-keyword value:true))
1072        foo.sml (with:(name:parser.lazy-keyword))
1073    
1074    ----------------------------------------------------------------------
1075    Name: Matthias Blume (blume (at) tti - c (dot) org)
1076    Date: 2004/09/24 16:22:00 CDT
1077    Tag: blume-20040924-ppc-long-branch
1078    Description:
1079    
1080    Turned message about "emiting long form of branch" off by default.
1081    Added a control flag to turn it back on when desired.
1082    
1083    ----------------------------------------------------------------------
1084    Name: Matthias Blume (blume (at) tti - c (dot) org)
1085    Date: 2004/09/24 16:05:00 CDT
1086    Tag: blume-20040924-rounding
1087    Description:
1088    
1089    Applied patch for setting rounding modes under Mac OS X.  Thanks to
1090    Melissa O'Neill for providing the code!
1091    
1092    ----------------------------------------------------------------------
1093    Name: Matthias Blume (blume (at) tti - c (dot) org)
1094    Date: 2004/09/23 17:30:00 CDT
1095    Tag: blume-20040923-envvars
1096    Description:
1097    
1098    1. Changed definition of type ControlRegistry.registry_tree to
1099       include control_info (i.e., the name of the controlling environment
1100       variable).
1101    
1102    2. Added command-line flags -e and -E to print the names of environment
1103       variables that can be used to control internal settings.
1104       (This uses the new API mentioned in 1.)
1105    
1106    ----------------------------------------------------------------------
1107    Name: Matthias Blume (blume (at) tti - c (dot) org)
1108    Date: 2004/09/13 16:50:00 CDT
1109    Tag: Release_110_49
1110    Description:
1111    
1112    New working version (110.49).  NEW BOOTFILES!
1113    
1114    ----------------------------------------------------------------------
1115    Name: Matthias Blume
1116    Date: 2004/09/13 16:20:00 CDT
1117    Tag: blume-20040913-config-mlrisc
1118    Description:
1119    
1120    Put target "mlrisc" back into the default list.
1121    (There is no harm in having it, and some users have expressed their
1122    wish to have "mlrisc" included by default.)
1123    
1124    ----------------------------------------------------------------------
1125    Name: John Reppy
1126    Date: 2004/09/13
1127    Tag: jhr-20040913-signals
1128    Description:
1129    
1130    Fixed the signal masking code to properly nest mask/unmask operations
1131    on a per-signal basis.
1132    
1133    ----------------------------------------------------------------------
1134    Name: Matthias Blume (blume (at) tti - c (dot) org)
1135    Date: 2004/09/08 13:20:00 CDT
1136    Tag: blume-20040908-heap-magic
1137    Description:
1138    
1139    Bumped the heap macig number to 0x09082004 to account for the changed
1140    layout of the ML frame under MacOS X.
1141    
1142    ----------------------------------------------------------------------
1143    Name: Allen Leung (leunga (at) reservoir (dot) com)
1144    Date: 2004/09/03 11:26:00 EST
1145    Tag: leunga-20040903-cygwin-install
1146    Description:
1147    
1148       Added a patch to _arch-n-opsys to enable the Cygwin runtime.
1149    The Cygwin runtime is turned on by setting the environment
1150    variable SMLNJ_CYGWIN_RUNTIME to 1.
1151    
1152    ----------------------------------------------------------------------
1153    Name: Matthias Blume (blume (at) tti - c (dot) org)
1154    Date: 2004/08/31 17:15:00 CDT
1155    Tag: blume-20040831-core
1156    Description:
1157    
1158    Added some exports to src/compiler/core.cm upon request by J. Joemann.
1159    
1160    ----------------------------------------------------------------------
1161    Name: Matthias Blume (blume (at) tti - c (dot) org)
1162    Date: 2004/08/30 17:55:00 CDT
1163    Tag: blume-20040830-installer
1164    Description:
1165    
1166    Upon request by Johannes Joemann:
1167    
1168    - improved ML code of installer to fall back to coping when renaming
1169      fails (i.e., when source and target are on different file systems);
1170      the code compiles but has yet to be tested in anger
1171    - removed mlrisc from list of default targets (config/targets)
1172    
1173    ----------------------------------------------------------------------
1174    Name: Matthias Blume (blume (at) tti - c (dot) org)
1175    Date: 2004/08/27 17:20:00 CDT
1176    Tag: blume-20040827-ptreql
1177    Description:
1178    
1179    Added ptreql primop to structure InlineT (upon request from Larry
1180    Paulson).
1181    
1182    ----------------------------------------------------------------------
1183    Name: Allen Leung (leunga (at) reservoir (dot) com)
1184    Date: 2004/08/15 21:21:00 EST
1185    Tag: leunga-110_48-udgraph
1186    Description:
1187    
1188    Another bug fix from Carl Hauser:
1189    
1190    diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
1191    > 48c48
1192    > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
1193    > e::L)
1194    > ---
1195    > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
1196    > Without this, any deletion of an edge in an undirected graph does severe
1197    > violence to the graph.
1198    
1199    ----------------------------------------------------------------------
1200    Name: Allen Leung (leunga (at) reservoir (dot) com)
1201    Date: 2004/08/10 23:35:00 EST
1202    Tag: leunga-110_48-ppc
1203    Description:
1204    
1205       The IBM/MacOS syntax switch on PPC was incorrectly swapped.
1206    
1207    ----------------------------------------------------------------------
1208    Name: Matthias Blume (blume (at) tti - c (dot) org)
1209    Date: 2004/08/10 12:00:00 CDT
1210    Tag: Release_110_48
1211    Description:
1212    
1213    New working version (110.48).  NEW BOOTFILES!
1214    
1215    ----------------------------------------------------------------------
1216    Name: Allen Leung (leunga (at) reservoir (dot) com)
1217    Date: 2004/08/09 12:21:00 EST
1218    Tag: leunga-110_47-dijsktra
1219    Description:
1220    
1221    Bug fix from Carl Hauser:
1222    
1223    single_source_shortest_paths in dijkstra.sml was observed to get wrong
1224    answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
1225    
1226    The problem is that following the expression A.update(dist,s,Num.zero)
1227    it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
1228    
1229    ----------------------------------------------------------------------
1230    Name: Matthias Blume (blume (at) tti - c (dot) org)
1231    Date: 2004/08/06 18:10:00 CDT
1232    Tag: blume-20040806-cmdline
1233    Description:
1234    
1235    Fiddled with handling of command-line options:
1236    
1237      * sml now quits after processing the command line
1238        if -H, -S, -h<n>, or -s<n> appears as the last
1239        command-line argument
1240      * a new option -q terminates the session when encountered on
1241        the command line; subsequent arguments will be ignored
1242      * bug fixes: short (erroneous) arguments are no longer ignored
1243        completely
1244    
1245    ----------------------------------------------------------------------
1246    Name: Allen Leung (leunga (at) reservoir (dot) com)
1247    Date: 2004/08/04 18:17:00 EST
1248    Tag: leunga-110_47-ppc-ibm-asm
1249    Description:
1250    
1251      - Added minimal IBM assembly syntax support for PowerPC.
1252    
1253      - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
1254        been altered in the runtime.  We need an automatic way to keep the file
1255        in sync.
1256    
1257    ----------------------------------------------------------------------
1258    Name: Matthias Blume (blume (at) tti - c (dot) org)
1259    Date: 2004/08/04 14:00:00 CDT
1260    Tag: Release_110_47
1261    Description:
1262    
1263    New working version (110.47).  NEW BOOTFILES!
1264    
1265    ----------------------------------------------------------------------
1266    Name: Matthias Blume (blume (at) tti - c (dot) org)
1267    Date: 2004/08/03 14:25:00 CDT
1268    Tag: blume-20040803-callingconv
1269    Description:
1270    
1271    Added low-level support for choosing C calling conventions by
1272    twiddling the type of rawccall.  (See
1273    src/compiler/Semant/types/cproto.sml for details.)
1274    
1275    ----------------------------------------------------------------------
1276    Name: Matthias Blume (blume (at) tti - c (dot) org)
1277    Date: 2004/08/02 15:55:00 CDT
1278    Tag: blume-20040802-backout
1279    Description:
1280    
1281    Backed out of change to win32-filesys.c.  The earlier patch to
1282    get_file_time caused CM to produce files with the wrong time stamp.
1283    
1284    ----------------------------------------------------------------------
1285    Name: Matthias Blume (blume (at) tti - c (dot) org)
1286    Date: 2004/08/02 14:45:00 CDT
1287    Tag: blume-20040802-nlffi-win32
1288    Description:
1289    
1290    Added NLFFI support for Win32, adapted from a patch provided by David
1291    Hansel.  This is currently completely untested.  Also, the issue
1292    concerning stdcall vs. ccall is still unresolved.
1293    
1294    ----------------------------------------------------------------------
1295    Name: Matthias Blume (blume (at) tti - c (dot) org)
1296    Date: 2004/07/30 17:55:00 CDT
1297    Tag: blume-20040730-various
1298    Description:
1299    
1300    Gearing up towards 110.47...
1301    
1302    - various minor bugfixes to ml-nlffigen
1303    - a beginning of a manual for nlffi
1304    
1305    - eliminated 'export name=value' in config/install.sh as this does
1306      not work with certain versions of /bin/sh
1307      (Thanks to David King at Motorola for catching this.)
1308    
1309    - several bugfixes provided or suggested by David Hansel at Reactive Systems:
1310      - added a test for tm==NULL to gmtime.c and localtime.c
1311      - applied patch for incorrect GetFileTime under win32
1312      - toSeconds -> toMilliseconds in Win32/win32-process.sml
1313    
1314    ----------------------------------------------------------------------
1315    Name: Matthias Blume (blume (at) tti - c (dot) org)
1316    Date: 2004/07/21 18:20:00 CDT
1317    Tag: blume-20040721-nlffigen
1318    Description:
1319    
1320    - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
1321      for a typedef to an incomplete type, but leave out the "typ" member.
1322      (This is just for consistency.)
1323    - Started to produce what is supposed to become better (i.e., comprehensive)
1324      documentation of what ml-nlffigen does and produces.
1325    
1326    ----------------------------------------------------------------------
1327    Name: Matthias Blume (blume (at) tti - c (dot) org)
1328    Date: 2004/07/14 16:25:00 CDT
1329    Tag: blume-20040714-union
1330    Description:
1331    
1332    Added C_UNION to c-calls/c-types.sml and updated the machinery
1333    (ml-nlffigen, cproto.sml) that conveys C function interface
1334    information to the code generator.
1335    
1336    However, the actual architecture-specific implementation of function
1337    arguments and results that are C unions is still not implemented.
1338    
1339    ----------------------------------------------------------------------
1340  Name: Allen Leung (leunga (at) reservoir (dot) com)  Name: Allen Leung (leunga (at) reservoir (dot) com)
1341  Date: 2004/07/14 14:38:00 EST  Date: 2004/07/14 14:38:00 EST
1342  Tag: leunga-110_46_1-ppc-lwzu  Tag: leunga-110_46_1-ppc-lwzu

Legend:
Removed from v.1546  
changed lines
  Added in v.1866

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