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 1638, Wed Sep 29 19:07:58 2004 UTC revision 2066, Thu Oct 5 16:26:30 2006 UTC
# Line 7  Line 7 
7    
8  The form of an entry should be:  The form of an entry should be:
9    
10  Name:  
11    Name: Your Name (web page or e-mail)
12    Date: yyyy/mm/dd hh:mm:ss
13    Tag: cvs-tag-for-this-change
14    Description:
15    
16    ----------------------------------------------------------------------
17    Name: Matthias Blume (http://www.tti-c.org/blume/)
18    Date: 2006/10/05 11:30:00 CDT
19    Tag: blume-20061005-merge-amd64
20    Description:
21    
22    Merged code for AMD64 backend (Mike Rainey's work).
23    Everything is hooked up but untested.
24    
25    ----------------------------------------------------------------------
26    Name: Matthias Blume (http://www.tti-c.org/blume/)
27    Date: 2006/05/17 14:00:00 CST
28    Tag: Release_110_59
29    Description:
30    
31    New working version (110.58).  NEW BOOTFILES!
32    
33    I am freezing 110.59.  Changes other than the version-number increase:
34    
35      eXene:
36    
37         * committed changes to eXene from Alley Stoughton:
38             "fixed bugs in X authorization and resource handling, as well
39              as in the pile and viewport widgets"
40    
41      Runtime:
42        * fixed linking problem with NetBSD 3.x.
43    
44      Lexgen:
45        * lexgen tool handles non-ascii characters in 7-bit mode the same
46          way that ml-lex does
47    
48        * lexgen propagates exceptions the same way that ml-lex does
49    
50      CML:
51        * Fixed a bug in the SyncVar polling functions (iGetPoll,
52          mTakePoll, and mGetPoll) that could lead to livelock.
53    
54    ----------------------------------------------------------------------
55    Name: Matthias Blume (http://www.tti-c.org/blume/)
56    Date: 2006/05/12 15:20:00 CST
57    Tag: blume-20060515-makedepend
58    Description:
59    
60    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
61    way.  This should hopefully fix the ml-makedepend problem permanently.
62    
63    ----------------------------------------------------------------------
64    Name: Matthias Blume (http://www.tti-c.org/blume/)
65    Date: 2006/05/12 15:15:00 CST
66    Tag: blume-20060512-makedepend
67    Description:
68    
69    Fixed long-standing bug with ml-makedepend where it would output a
70    spurious dependency to a non-existing file.  (This is a simple fix.
71    It might need further looking into.)
72    
73    ----------------------------------------------------------------------
74    Name: Matthias Blume (http://www.tti-c.org/blume/)
75    Date: 2006/04/20 10:30:00 CDT
76    Tag: blume-20060420-heap2exec
77    Description:
78    
79    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
80    that enable heap2exec under Linux and FreeBSD.
81    
82    ----------------------------------------------------------------------
83    Name: John Reppy
84    Date: 2006/04/14
85    Tag:
86    Description:
87    
88    MLRISC changes:
89      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
90      2) added support for NOTB and XORB operators in pseudo-op expressions
91      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
92      4) added support for 64-bit integer literals
93    
94    ----------------------------------------------------------------------
95    Name: Matthias Blume (http://www.tti-c.org/blume/)
96  Date: yyyy/mm/dd  Date: yyyy/mm/dd
97  Tag: <post-commit CVS tag>  Tag: Release_110_58
98    Description:
99    
100    New working version (110.58).  NEW BOOTFILES!
101    
102    ----------------------------------------------------------------------
103    Name: Matthias Blume (http://www.tti-c.org/blume/)
104    Date: 2006/03/01 22:15:00 CST
105    Tag: blume-20060301-lexgen
106    Description:
107    
108    Incorporated several bugfixes to lexgen.  Compiler now compiles to
109    fixpoint when using lexgen instead of ml-lex.
110    
111    ----------------------------------------------------------------------
112    Name: Matthias Blume (http://www.tti-c.org/blume/)
113    Date: 2006/02/28 22:45:00 CST
114    Tag: blume-20060228-lexgen
115    Description:
116    
117    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
118    provided tarball.  The generated lexers still have problems.
119    
120    ----------------------------------------------------------------------
121    Name: Matthias Blume (http://www.tti-c.org/blume/)
122    Date: 2006/02/26 23:30:00 CST
123    Tag: blume-20060226-ml-flex
124    Description:
125    
126    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
127    of ml-flex on by default.
128    
129    ----------------------------------------------------------------------
130    Name: Matthias Blume (http://www.tti-c.org/blume/)
131    Date: 2006/02/24 16:30:00 CST
132    Tag: blume-20060224-ml-flex
133    Description:
134    
135    Added ml-flex sources.  Partially integrated, but should not be
136    turned on yet!  (Read: leave it commented-out in config/targets!)
137    
138    ----------------------------------------------------------------------
139    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
140    Date: 2006/02/23
141    Tag: jhr-20060223-x86-64
142    Description:
143    Changes to support building on x86-64 systems (using the 32-bit mode).
144    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
145    kernels dropped.
146    
147    ----------------------------------------------------------------------
148    Name: Allen Leung (leunga (at) reservoir (dot) com)
149    Date: 2006/02/22 15:07:00 EST
150    Tag: leunga-20060222-mdl-gen
151    Description:
152    
153      CM has changed.  Updated the script for rebuilding the MLRISC generated
154    files.
155    
156    ----------------------------------------------------------------------
157    Name: Matthias Blume (http://www.tti-c.org/blume/)
158    Date: 2006/02/14 17:30:00 CST
159    Tag: blume-20060214-intel-mac
160    Description:
161    
162    Hooked code for Darwin-specific Intel ABI into main compiler.
163    (This is a temporary solution which relies on the fact that the
164    compiler itself does not use NLFFI.  Eventually we need to divorce
165    intel mac from generic x86 unix code and make separate sets of binaries.)
166    
167    ----------------------------------------------------------------------
168    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
169    Date: 2006/02/13
170    Tag: jhr-20060213-intel-mac
171    Description:
172    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
173    
174    ----------------------------------------------------------------------
175    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
176    Date: 2006/02/06
177    Tag: jhr-20060206-intel-mac
178    Description:
179    Changes to support MacOS X on Intel hardware.  The C-calls support in
180    MLRISC must also be updated to support the MacOS X ABI.
181    
182    ----------------------------------------------------------------------
183    Name: Matthias Blume (http://www.tti-c.org/blume/)
184    Date: 2005/12/16 00:15:00 CST
185    Tag: blume-20051216-cm
186    Description:
187    
188    Improved error reporting and handling in CM.
189    
190    ----------------------------------------------------------------------
191    Name: Matthias Blume (http://www.tti-c.org/blume/)
192    Date: 2005/11/21 14:00:00 CST
193    Tag: blume-20051121-html-lib
194    Description:
195    
196    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
197    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
198    at the time when config/preloads is processed, the library has to
199    be referred to by another name.  In 110.57 this would be
200    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
201    to be valid as well.)
202    
203    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
204    
205    ----------------------------------------------------------------------
206    Name: Matthias Blume (http://www.tti-c.org/blume/)
207    Date: 2005/11/19 13:45:00 CST
208    Tag: Release_110_57
209    Description:
210    
211    Moved release tag for 110.57.
212    
213    ----------------------------------------------------------------------
214    Name: Matthias Blume (http://www.tti-c.org/blume/)
215    Date: 2005/11/19 23:35:00 CST
216    Tag: blume-20051119-fish
217    Description:
218    
219    Fixed a problem in config/install.sh where it tries to "fish" the
220    name of the CM metadata directory from the wrong place (because
221    the physical location of basis.cm has changed).  Also, corrected the
222    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
223    these problems.)
224    
225    ----------------------------------------------------------------------
226    Name: Matthias Blume (http://www.tti-c.org/blume/)
227    Date: 2005/11/16 14:30:00 CST
228    Tag: blume-orig-110_57
229    Description:
230    
231    New working version (110.57).  NEW BOOTFILES!
232    
233    UPDATE: The release tag has been moved to include a fix for a brown-paper-
234            bag glitch (see above).
235    
236    ----------------------------------------------------------------------
237    Name: Matthias Blume (http://www.tti-c.org/blume/)
238    Date: 2005/11/16 10:25:00 CST
239    Tag: blume-22051116-btrace
240    Description:
241    
242    Fixed problem with bogus exception message when using back-trace
243    facility.
244    
245    ----------------------------------------------------------------------
246    Name: Matthias Blume (http://www.tti-c.org/blume/)
247    Date: 2005/11/15 22:35:00 CST
248    Tag: blume-22051115-array2copy
249    Description:
250    
251    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
252    
253    ----------------------------------------------------------------------
254    Name: Matthias Blume (http://www.tti-c.org/blume/)
255    Date: 2005/11/15 21:35:00 CST
256    Tag: blume-22051115-versiontool
257    Description:
258    
259    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
260    file gets loaded as a tool -- by the equivalent of CM.make during the
261    run of CMB.make.  Thus, CMB's path configuration is meaningless for
262    it.  Instead, it has the status of "user code", so it should use
263    $/basis.cm to refer to the Basis library.  (At least that's true for
264    the purpose of bootstrapping the previous change.  In the future it
265    might make sense to have versiontool.cm refer to
266    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
267    compiler itself uses.)
268    
269    Also patched src/system/testml to have it activate those extra anchor
270    bindings in config/extrapathconfig.
271    
272    ----------------------------------------------------------------------
273    Name: Matthias Blume (http://www.tti-c.org/blume/)
274    Date: 2005/11/15 16:35:00 CST
275    Tag: blume-22051115-libraries
276    Description:
277    
278    This change affects the way the following libraries are tied into
279    the system:
280    
281       $/basis.cm
282       $/smlnj-lib.cm
283       $/pp-lib.cm
284       $/controls-lib.cm
285       $/html-lib.cm
286       $/ml-yacc-lib.cm
287    
288    These libraries are now internally (as seen from the source code
289    of the implementation itself) known by the following names:
290    
291       $smlnj/basis/basis.cm
292       $smlnj/smlnj-lib/smlnj-lib.cm
293       $smlnj/smlnj-lib/pp-lib.cm
294       $smlnj/smlnj-lib/controls-lib.cm
295       $smlnj/smlnj-lib/html-lib.cm
296       $smlnj/ml-yacc/ml-yacc-lib.cm
297    
298    This makes it possible to work with code that requires different
299    versions of these libraries, and which refers to these libraries using
300    their "default" names (i.e., the first set of names above).  In other
301    words, one can un-define or re-define those default names without
302    compromising the proper functioning of the compiler itself.
303    
304    A similar procedure had already been performed for several of the
305    MLRISC libraries that are linked into the compiler.  I did some
306    cleanup on this code.
307    
308    A new file in the config directory (named extrapathconfig) is
309    responsible for setting up path anchors that the compiler itself does
310    not need, but that are typically required by user code.
311    
312    ----------------------------------------------------------------------
313    Name: Matthias Blume
314    Date: 2005/11/07 17:05:00 CST
315    Tag: blume-20051107-slice
316    Description:
317    
318    Fixed erroneous out-of-bounds test in the "update" function of
319    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
320    out the problem.)
321    
322    Pushed some Basis changes through ML-Lex, CML, and eXene.
323    
324    ----------------------------------------------------------------------
325    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
326    Date: 2005/11/07
327    Description:
328    Fixed a Basis incompatibility: The depreciated function Substring.all
329    was removed (use Substring.full instead).
330    
331    ----------------------------------------------------------------------
332    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
333    Date: 2005/11/05
334    Description:
335    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
336    
337    ----------------------------------------------------------------------
338    Name: Matthias Blume (http://www.tti-c.org/blume/)
339    Date: 2005/11/02 16:25:00 CST
340    Tag: blume-20051102-hex
341  Description:  Description:
342    
343    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
344      in either upper case or lower case format.
345    * Pushed changes to names of Pack<N>{Big,Little} structures through
346      CML and eXene.
347    
348    ----------------------------------------------------------------------
349    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
350    Date: 2005/11/02
351    Description:
352    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
353    be called PackWord<N>{Big,Little}.
354    
355    ----------------------------------------------------------------------
356    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
357    Date: 2005/10/28
358    Description:
359    Fixed a minor Basis incompatibility: hex digits should be upper case.
360    
361    ----------------------------------------------------------------------
362    Name: Matthias Blume (blume (at) tti - c (dot) org)
363    Date: 2005/10/25 16:00:00 CDT
364    Tag: Release_110_56
365    Description:
366    
367    New working version (110.56).  NEW BOOTFILES!
368    
369    ----------------------------------------------------------------------
370    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
371    Date: 2005/10/25
372    Description:
373    Added interval sets to utility library (signatures INTERVAL_DOMAIN
374    and INTERVAL_SET, and functor IntervalSetFn).
375    
376    ----------------------------------------------------------------------
377    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
378    Date: 2005/10/14
379    Description:
380    Add Zhong Shao's fix for datatype equality functions.
381    
382    ----------------------------------------------------------------------
383    Name: Allen Leung (leunga (at) reservoir (dot) com)
384    Date: 2005/10/14 12:30:00 EST
385    Tag: leunga-20051014-x86-spill
386    Description:
387    
388    Bug fix a bug found by Carl Hauser.
389    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
390    
391    ----------------------------------------------------------------------
392    Name: Allen Leung (leunga (at) reservoir (dot) com)
393    Date: 2005/10/14 11:15:00 EST
394    Tag: leunga-20051014-x86-asm
395    Description:
396    
397    Removed some debugging code in file x86Asm.sml.
398    The function emit_operand was printing out debugging output.
399    
400    ----------------------------------------------------------------------
401    Name: John Reppy
402    Date: 2005/07/27
403    Tag:
404    Description:
405    
406    Fixed ml-lex to recognize "\r" as representing carriage return.
407    
408    ----------------------------------------------------------------------
409    Name: John Reppy
410    Date: 2005/07/27
411    Tag:
412    Description:
413    
414    Fixed ml-yacc to work on files with non-native end-of-line
415    encodings (e.g., Windows text file on a Unix system).
416    
417    ----------------------------------------------------------------------
418    Name: John Reppy
419    Date: 2005/07/20
420    Tag:
421    Description:
422    
423    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
424    to support HPUX 11.
425    
426    ----------------------------------------------------------------------
427    Name: John Reppy
428    Date: 2005/07/06
429    Tag:
430    Description:
431    
432    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
433    
434    ----------------------------------------------------------------------
435    Name: Matthias Blume (blume (at) tti - c (dot) org)
436    Date: 2005/07/06 00:45:00 CDT
437    Tag: blume-20050706-slice-copy
438    Description:
439    
440    Fixed reversed logic for deciding whether to "copy up" or "copy down"
441    in *-array-slice.sml.
442    
443    ----------------------------------------------------------------------
444    Name: Allen Leung (leunga (at) reservoir (dot) com)
445    Date: 2005/05/31 17:00:00 EST
446    Tag: leunga-20050531-cygwin-fault-2
447    Description:
448    
449    A typo in the cygwin code fixed.
450    
451    ----------------------------------------------------------------------
452    Name: Allen Leung (leunga (at) reservoir (dot) com)
453    Date: 2005/05/31 16:47:00 EST
454    Tag: leunga-20050531-cygwin-fault
455    Description:
456    
457    Updated Cygwin's fault/signal handling to match the Windows version.
458    Updated the export list.
459    
460    ----------------------------------------------------------------------
461    Name: Matthias Blume (blume (at) tti - c (dot) org)
462    Date: 2005/05/18 13:35:00 CDT
463    Tag: Release_110_54
464    Description:
465    
466    New working version (110.54).  NEW BOOTFILES!
467    
468    ----------------------------------------------------------------------
469    Name: Matthias Blume (blume (at) tti - c (dot) org)
470    Date: 2005/05/18 11:58:00 CDT
471    Tag: blume-20050518-installer
472    Description:
473    
474    Added support scripts for Mac OS X PackageMaker and modified
475    config/install.sh so that it supports re-dumping a heap image
476    after customization.
477    
478    ----------------------------------------------------------------------
479    Name: Matthias Blume (blume (at) tti - c (dot) org)
480    Date: 2005/05/18 10:55:00 CDT
481    Tag: blume-20050518-realdiv-noovld
482    Description:
483    
484    Un-overloaded / to work around bug in overloading resolution code.
485    
486    ----------------------------------------------------------------------
487    Name: Matthias Blume (blume (at) tti - c (dot) org)
488    Date: 2005/05/16 23:50:00 CDT
489    Tag: blume-20050516-redump-heap
490    Description:
491    
492    Added mechanism for re-creating a heap file for the interactive system
493    after configuration variables have been changed.
494    
495       CM.redump_heap : string -> unit
496    
497    This is much like SMLofNJ.exportML, but starting from the resulting
498    heap does not return to the caller of CM.redump_heap but
499    restarts the interactive system from scratch.  The original call of
500    CM.redump_heap does not return but ends the interactive session.
501    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
502    
503    Internally, redump_heap winds the dynamic execution context back to
504    the point where the original heap image was created and re-executes
505    the heap image generation code in the boot code.
506    
507    ----------------------------------------------------------------------
508    Name: Matthias Blume (blume (at) tti - c (dot) org)
509    Date: 2005/05/09 21:55:00 CDT
510    Tag: blume-20050509-word64
511    Description:
512    
513    Added a hack to the existing hack known as Word64 to make fromString
514    behave correctly.  I am still not sure whether Word64.scan will work
515    as specified with respect to the interaction of radix and prefix.
516    
517    ----------------------------------------------------------------------
518    Name: Allen Leung (leunga (at) reservoir (dot) com)
519    Date: 2005/05/04 11:50:00 EST
520    Tag: leunga-20050504-checkgc
521    Description:
522    
523    Added a gc protocol checking phase.  This phase is enabled with
524    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
525    
526    ----------------------------------------------------------------------
527    Name: Matthias Blume (blume (at) tti - c (dot) org)
528    Date: 2005/05/04 10:45:00 CDT
529    Tag: blume-20050504-intinf
530    Description:
531    
532    Fixed a bug in the implementation of div and mod for IntInf.
533    Thanks to Neophytos Michael for reporting the problem.
534    
535    ----------------------------------------------------------------------
536    Name: Matthias Blume (blume (at) tti - c (dot) org)
537    Date: 2005/05/04 10:35:00 CDT
538    Tag: blume-20050504-join
539    Description:
540    
541    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
542    
543    ----------------------------------------------------------------------
544    Name: Matthias Blume (blume (at) tti - c (dot) org)
545    Date: 2005/02/28 23:40:00 CST
546    Tag: blume-20050228-mVar
547    Description:
548    
549    Fixed serious bug (brown paper bag variety) in new implementation of
550    structure Atom in CML.  (I had accidentally used a mailbox instead of
551    an mvar, leaving the door open for races.)
552    
553    ----------------------------------------------------------------------
554    Name: Matthias Blume (blume (at) tti - c (dot) org)
555    Date: 2005/02/25 15:00:00 CST
556    Tag: Release_110_53
557    Description:
558    
559    New working version (110.53).  NEW BOOTFILES!
560    
561    ----------------------------------------------------------------------
562    Name: Matthias Blume (blume (at) tti - c (dot) org)
563    Date: 2005/02/25 14:50:00 CST
564    Tag: blume-20050225-susp
565    Description:
566    
567    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
568    implemented in Core -- which means that it is the same as the one used
569    by the lazy extension.
570    
571    ----------------------------------------------------------------------
572    Name: Matthias Blume (blume (at) tti - c (dot) org)
573    Date: 2005/02/24 16:50:00 CST
574    Tag: blume-20050224-cml-atom
575    Description:
576    
577    Simpler and at the same time more general implementation of structure
578    Atom in CML.
579    
580    ----------------------------------------------------------------------
581    Name: Matthias Blume (blume (at) tti - c (dot) org)
582    Date: 2005/02/15 17:35:00 CST
583    Tag: blume-20050215-tools
584    Description:
585    
586    Created new "tools" directory under "src" and moved "TraceDebugProf"
587    there.
588    
589    ----------------------------------------------------------------------
590    Name: Matthias Blume (blume (at) tti - c (dot) org)
591    Date: 2005/02/10 17:55:00 CST
592    Tag: blume-20050210-longlong
593    Description:
594    
595    Implemented "long long" arguments and results for NLFFI.  (Only the
596    PPC/MacOS implementation is complete, the other backends still need to
597    be updated.)
598    
599    ----------------------------------------------------------------------
600    Name: Matthias Blume (blume (at) tti - c (dot) org)
601    Date: 2005/01/24 17:40:00 CST
602    Tag: blume-20050124-mlyacc
603    Description:
604    
605    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
606    problem with certain "as" patterns which previously got rendered
607    using incorrect syntax.
608    
609    ----------------------------------------------------------------------
610    Name: Matthias Blume (blume (at) tti - c (dot) org)
611    Date: 2005/01/18 12:00:00 CST
612    Tag: blume-20050118-profile
613    Description:
614    
615    Made time profiling code (interrupt handler) in runtime system aware
616    of new array representation.
617    
618    ----------------------------------------------------------------------
619    Name: Matthias Blume (blume (at) tti - c (dot) org)
620    Date: 2005/01/14 18:00:00 CST
621    Tag: blume-20050114-heap2exec
622    Description:
623    
624    Implemented new (but still experimental) heap2exec facility.  This is
625    tested under Mac OS X and should work under Linux (will test shortly).
626    It will probably also work on the Sparc (will test some time later).
627    
628      - removed old "HACKED_STANDALONE" hack from runtime
629    
630    To be able to test this, uncomment the request for "heap2asm" in
631    config/targets prior to installation.  (Notice that this is different
632    from "heap2exec" mentioned below.  Not a typo.)
633    
634    To perform an actual test, run the command
635    
636       $ bin/heap2exec heapfile execfile
637    
638    (You can put heap2exec on your shell's path.)
639    
640    For example, run
641    
642      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
643    
644    This will create a standalone executable called "mly" which you can
645    then invoke directly as a command.
646    
647    ----------------------------------------------------------------------
648    Name: Matthias Blume (blume (at) tti - c (dot) org)
649    Date: 2005/01/07 11:44:00 CST
650    Tag: blume-20050107-mlstring
651    Description:
652    
653    fixed off-by-one error in ML_STRING macro (globals.c)
654    
655    ----------------------------------------------------------------------
656    Name: Matthias Blume (blume (at) tti - c (dot) org)
657    Date: 2004/12/23 18:00:00 CST
658    Tag: blume-20041223-santa
659    Description:
660    
661    Made ml-build script "smarter" (but only very little).
662    
663    ----------------------------------------------------------------------
664    Name: Matthias Blume (blume (at) tti - c (dot) org)
665    Date: 2004/12/21 15:05:00 CST
666    Tag: blume-20041221-longlong
667    Description:
668    
669    * Implemented access to signed and unsigned long long data in NLFFI.
670    (The parameter-passing part of the picture has not complete. But
671    data structure access seems to work.)
672    
673    * Fixed CM's incorrect assumption that the PPC is little-endian.
674      (On the Mac, it is big-endian.  And that's currently our only
675      PPC platform.)
676    
677    ----------------------------------------------------------------------
678    Name: Matthias Blume (blume (at) tti - c (dot) org)
679    Date: 2004/12/21 12:50:00 CST
680    Tag: blume-20041221-memory
681    Description:
682    
683    Some cleanup in the $c/memory.cm library: separated some concerns by
684    moving allocation code and memory access code each into their own
685    files.
686    
687    ----------------------------------------------------------------------
688    Name: Allen Leung (leunga (at) reservoir (dot) com)
689    Date: 2004/12/17 16:12:00 EST
690    Tag: leunga-20041217-cygwin-smlnj-home
691    Description:
692    
693        The Unix I/O library of SML/NJ on cygwin does not understand
694    Windows style pathname, so problems arise when SMLNJ_HOME is set
695    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
696    to a POSIX pathname on cygwin.
697    
698    ----------------------------------------------------------------------
699    Name: Matthias Blume (blume (at) tti - c (dot) org)
700    Date: 2004/12/16 13:35:00 CST
701    Tag: Release_110_52
702    Description:
703    
704    Last-minute changes incorporated into 110.52.  Release tag moved.
705    
706    The changes:
707       - HashString.hashString' -> HashString.hashSubstring
708       - bug fix in UnivariateStats
709    
710    ----------------------------------------------------------------------
711    Name: Matthias Blume (blume (at) tti - c (dot) org)
712    Date: 2004/12/15 23:40:00 CST
713    Tag: blume-20041215-hashSubstring
714    Description:
715    
716    - HashString.hashString' -> HashString.hashSubstring
717    - corresponding changes in atom.sml
718    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
719      added some comments
720    
721    ----------------------------------------------------------------------
722    Name: Matthias Blume (blume (at) tti - c (dot) org)
723    Date: 2004/12/15 15:30:00 CST
724    Tag: (Release_110_52)
725    Description:
726    
727    New working version (110.52).  NEW BOOTFILES!
728    
729    ----------------------------------------------------------------------
730    Name: Matthias Blume (blume (at) tti - c (dot) org)
731    Date: 2004/12/15 12:45:00 CST
732    Tag: blume-20041215-spaces
733    Description:
734    
735    More on the space problem (this time for Win32).
736    
737    ----------------------------------------------------------------------
738    Name: Matthias Blume (blume (at) tti - c (dot) org)
739    Date: 2004/12/14 17:30:00 CST
740    Tag: blume-20041214-spaces
741    Description:
742    
743    Hacked some of the scripts (in particular: the installer) to cope with
744    spaces in filenames a bit better.  But beware: the current "solution"
745    is likely still full of bugs and inherently incomplete.  (We need to
746    do away with those shell scripts for a comprehensive solution.)
747    
748    ----------------------------------------------------------------------
749    Name: Matthias Blume (blume (at) tti - c (dot) org)
750    Date: 2004/12/13 14:45:00 CST
751    Tag: blume-20041213-ml-makedepend
752    Description:
753    
754    Fixed bug in code for ml-makedepend.
755    
756    ----------------------------------------------------------------------
757    Name: Matthias Blume (blume (at) tti - c (dot) org)
758    Date: 2004/12/09 16:30:00 CST
759    Tag: blume-20041209-statistics
760    Description:
761    
762    Added two simple but potentially useful statistics modules to SML/NJ Library.
763    (See CHANGES file there.)
764    
765    ----------------------------------------------------------------------
766    Name: Matthias Blume (blume (at) tti - c (dot) org)
767    Date: 2004/12/01 16:50:00 CST
768    Tag: blume-20041201-atom
769    Description:
770    
771    smlnj-lib:
772    
773      Added function HashString.hashString' for substrings.
774      Hand-inlined CharVector.foldl into HashString (for speed).
775      Modified implementation of structure Atom to avoid extracting
776      strings from substrings unless necessary.
777      (Also see CHANGES file for smlnj-lib.)
778    
779    ----------------------------------------------------------------------
780    Name: Matthias Blume (blume (at) tti - c (dot) org)
781    Date: 2004/11/24 22:15:00 CST
782    Tag: blume-20041124-cml
783    Description:
784    
785    Made sure CML compiles when Position = Int64.
786    
787    ----------------------------------------------------------------------
788    Name: Matthias Blume (blume (at) tti - c (dot) org)
789    Date: 2004/11/24 14:30:00 CST
790    Tag: blume-20041124-position
791    Description:
792    
793    The compiler can now be compiled in a mode that makes structure Position
794    equal to Int64.  The default, however, is unchanged (Position = Int31)
795    for the time being.
796    
797    To enable 64-bit positions, use the following procedure:
798    
799    1. Start sml
800    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
801    3. Type
802          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
803    4. Run CMB.make() as usual.
804    
805    This is barely tested.  The only test so far was a little SML program
806    counting the number of characters in an 8-gigabyte file by
807    reading it character-by-character.  That test was successful.
808    
809    In support of 64-bit positions, a number of new functions have been
810    added to the runtime system.
811    
812    ----------------------------------------------------------------------
813    Name: Matthias Blume (blume (at) tti - c (dot) org)
814    Date: 2004/11/23 14:45:00 CST
815    Tag: blume-20041123-useFile
816    Description:
817    
818    Fixed a problem with unhelpful error messages related to problems with
819    .cm- or .sml files that appear as part of the sml command line.
820    
821    ----------------------------------------------------------------------
822    Name: Matthias Blume (blume (at) tti - c (dot) org)
823    Date: 2004/11/18 15:40:00 CST
824    Tag: Release_110_51
825    Description:
826    
827    New working version (110.51).  NEW BOOTFILES!
828    
829    ----------------------------------------------------------------------
830    Name: Matthias Blume (blume (at) tti - c (dot) org)
831    Date: 2004/11/18 15:35:00 CST
832    Tag: <none>
833    Description:
834    
835    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
836    Joemann).
837    
838    ----------------------------------------------------------------------
839    Name: Allen Leung (leunga (at) reservoir (dot) com)
840    Date: 2004/11/17 16:05:21 EST 2004
841    Tag: leunga-20041117-mlrisc-live-kill
842    Description:
843    
844       Added support for MLTree constructs LIVE and KILL
845    to all the architectures.
846    
847    ----------------------------------------------------------------------
848    Name: Matthias Blume (blume (at) tti - c (dot) org)
849    Date: 2004/11/13 00:20:00 CST
850    Tag: blume-20041113-versiontool
851    Description:
852    
853    - Stripped down the versiontool: It now only handles the version number.
854      The date string is generated at bootstrap time (during makeml).
855    
856    - In a previous commit, fixed a minor issue with how polyequal is being
857      translated.  In particular, the code now "looks through" abstractions.
858      This results in slightly fewer polyEqual warnings and hopefully slightly
859      more efficient code.  Important examples for where this matters are
860      the new int64 and word64 types.
861    
862    ----------------------------------------------------------------------
863    Name: Matthias Blume (blume (at) tti - c (dot) org)
864    Date: 2004/11/12 00:30:00 CST
865    Tag: blume-20041112-int64
866    Description:
867    
868    Structure Int64 fully hooked in.  (The implementation is not very
869    efficient, though.)
870    
871    ----------------------------------------------------------------------
872    Name: Matthias Blume (blume (at) tti - c (dot) org)
873    Date: 2004/11/11 17:30:00 CST
874    Tag: blume-20041111-more64
875    Description:
876    
877    All the pieces of Word64 are now there, with the exception of the
878    conversions from and to LargeWord. (Eventually these need to be identities,
879    but for the time being they don't even make sense because LargeWord is
880    32-bit wide.)
881    
882    Also started to add similar support for Int64, but major pieces of that
883    are still missing.
884    
885    ----------------------------------------------------------------------
886    Name: Matthias Blume (blume (at) tti - c (dot) org)
887    Date: 2004/11/11 00:15:00 CST
888    Tag: blume-20041111-word64
889    Description:
890    
891    Structure Word64 is now (almost) complete, word literals and patterns
892    seem to work.  There are a few odd pieces missing.  In particular,
893    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
894    at the moment.
895    
896    Making Word64 official would mean that LargeWord becomes Word64.  But
897    this requires extreme care because most word-word conversions have to
898    go through LargeWord, so making a mistake means loss of efficiency or
899    worse.  Eventually there will be a solution similar to (but actually
900    simpler than) what I did with IntInf.
901    
902    ----------------------------------------------------------------------
903    Name: Matthias Blume (blume (at) tti - c (dot) org)
904    Date: 2004/11/10 18:12:00 CST
905    Tag: blume-20041110-64bit
906    Description:
907    
908    More 64-bit hacking (but still not even half-way there yet).
909    Also, some assorted improvements to the handling of 8-bit words.
910    
911    ----------------------------------------------------------------------
912    Name: Matthias Blume (blume (at) tti - c (dot) org)
913    Date: 2004/11/09 17:50:00 CST
914    Tag: <none>
915    Description:
916    
917    Started adding some infrastructure for supporting 64-bit int- and
918    word-types.  (Still in its very early stages.)
919    
920    ----------------------------------------------------------------------
921    Name: Matthias Blume (blume (at) tti - c (dot) org)
922    Date: 2004/10/28 10:45:00 CDT
923    Tag: Release_110_50
924    Description:
925    
926    New working version (110.50).  NEW BOOTFILES!
927    
928                 =====================
929    
930    Also:
931    
932      - Changend config/srcarchiveurl from a file just
933        containing the URL string into a file containing
934        shell script code.  The code has access to the $VERSION variable.
935      - Made corresponding changes to config/install.sh and config/unpack.
936      - Default contents of config/srcarchiveurl uses $VERSION and
937        normally does not have to be edited to reflect a version change.
938    
939      (As a result, a version change can be done by just editing
940       config/version, the rest is now automatic.)
941    
942    ----------------------------------------------------------------------
943    Name: Matthias Blume (blume (at) tti - c (dot) org)
944    Date: 2004/10/27 17:50:00 CDT
945    Tag: blume-20041027-btrace-msg
946    Description:
947    
948    BackTrace.monitor now also reports the source of the exception that
949    triggered the trace.
950    
951    ----------------------------------------------------------------------
952    Name: Matthias Blume (blume (at) tti - c (dot) org)
953    Date: 2004/10/27 17:20:00 CDT
954    Tag: blume-20041027-x86-c-calls
955    Description:
956    
957    This is the HISTORY entry for two earlier commits, both concerning
958    the x86 c-calls code in MLRISC:
959    
960      - added a missing LOAD in the code that deals with struct arguments
961      - made sure the caller does not add the wrong number of bytes to the
962        stack pointer after a call of a function returning a struct
963        (the callee already pops the implicit argument which points to
964         the space reserved for the result)
965    
966    ----------------------------------------------------------------------
967    Name: Allen Leung (leunga (at) reservoir (dot) com)
968    Date: 2004/10/24 14:00:00 EST
969    Tag: leunga-20041024-x86-gas-fucomip
970    Description:
971    
972       John discovered a bug in the syntax of fucomip.
973       The opcodes FU?COMIP? have been changed to
974    
975           fu?comip? %st(i), %st
976    
977    ----------------------------------------------------------------------
978    Name: Matthias Blume (blume (at) tti - c (dot) org)
979    Date: 2004/10/20 15:06:00 CDT
980    Tag: blume-20041020-standalone-backtrace
981    Description:
982    
983    Added a mechanism for getting back-trace information from standalone
984    programs.  Here is how it works:
985    
986       1. The part of the program from which you want to get backtrace
987          information (usually the whole program) should be wrapped with
988          BackTrace.monitor.  This is a (unit->'a)->'a function, and your
989          main program could be modified from something like
990    
991             fun main (pgm, args) = ...
992    
993         to
994    
995            fun main (pgm, args) = BackTrace.monitor (fn () => ...)
996    
997       2. To be able to access BackTrace.monitor, you have to add
998          library $smlnj-tdp/plugins.cm to the .cm file that contains your
999          main function.
1000    
1001       3. Remove all compiled code (i.e., all the .cm/ subdirectories that
1002          CM might have created in the past for your project).
1003    
1004       4. Build the system using this command line:
1005    
1006             ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
1007                      myprog.cm MyProg.main myprog
1008    
1009          instead of the usual
1010    
1011             ml-build myprog.cm MyProg.main myprog
1012    
1013    I changed a library name:
1014    
1015       $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
1016    
1017    New libraries:
1018    
1019       $smlnj-tdp/back-trace.cm
1020          -- when loaded causes the back-trace plugin to be installed
1021       $smlnj-tdp/coverage.cm
1022          -- when loaded causes the coverage plugin to be installed
1023    
1024    ----------------------------------------------------------------------
1025    Name: Matthias Blume (blume (at) tti - c (dot) org)
1026    Date: 2004/10/18 16:45:00 CDT
1027    Tag: blume-20041018-groupowner
1028    Description:
1029    
1030    Added an "obsolete" warning for the "group owner" syntax to CM's parser.
1031    
1032    Eliminated group owner specs from .cm files throughout the source tree.
1033    
1034    ----------------------------------------------------------------------
1035    Name: Matthias Blume (blume (at) tti - c (dot) org)
1036    Date: 2004/10/15 15:45:00 CDT
1037    Tag: blume-20041015-coverage
1038    Description:
1039    
1040    * Test coverage tool added!
1041    * Further reorganization of tracing-, debugging-, and profiling support:
1042    
1043        - moved original BTImp -- now called BackTrace -- into a separate
1044          library called $/trace-debug-profile.cm
1045        - eliminated all mentions of BTrace from SMLofNJ.Internals
1046        - only the instrumentation mechanism is now left in the compiler proper
1047        - BackTrace module is a plugin which is NOT plugged in by default
1048        - Coverage module is another such plugin
1049    
1050    To get the benefits of any of these plugin modules, the code in
1051    question must be compiled with tdp instrumentation turned on.  This
1052    can be done by setting SMLofNJ.Internals.TDP.mode to true.
1053    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
1054    
1055    Plugins are selected at link time.  (Pre-compiled instrumented code
1056    can be re-loaded with different plugins in effect.)  When an
1057    instrumented module is linked, whatever plugins are at that time
1058    enabled will come into effect for that module.
1059    
1060    To enable the back-trace plugin, load library $/trace-debug-profile.cm
1061    and invoke BackTrace.install() (e.g., from the interactive prompt).
1062    To enable the coverage plugin, load the same library and invoke
1063    Coverage.install().
1064    
1065    Back-traces are generated automatically on uncaught exceptions and
1066    when the code in question explicitly invokes BackTrace.trigger().
1067    
1068    Coverage (and execution frequency-) information must be queried
1069    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
1070    
1071    ----------------------------------------------------------------------
1072    Name: Matthias Blume (blume (at) tti - c (dot) org)
1073    Date: 2004/10/14 17:40:00 CDT
1074    Tag: blume-20041014-tdp-core
1075    Description:
1076    
1077    Snapshot of a significant overhaul of how the trace/debug/profile support
1078    is hooked into the system (specifically: Core and SMLofNJ.Internals).
1079    
1080    ----------------------------------------------------------------------
1081    Name: Matthias Blume (blume (at) tti - c (dot) org)
1082    Date: 2004/10/13 16:34:00 CDT
1083    Tag: blume-20041013-tdp
1084    Description:
1085    
1086    Some rationalization of names:
1087    
1088       structure BTrace -> structure TDPInstrument
1089       etc.
1090    
1091    This is is preparation of using the original back-trace
1092    instrumentation for other purposes.  "TDP" stands for
1093    Trace/Debug/Profile.
1094    
1095    The control flag controlling whether instrumentation is on or off is now
1096    registered under a different name, so instead of running sml as
1097    
1098     sml -Cinstrument.btrace-mode=true
1099    
1100    one has to say
1101    
1102     sml -Ctdp.instrument=true
1103    
1104    ----------------------------------------------------------------------
1105    Name: Matthias Blume (blume (at) tti - c (dot) org)
1106    Date: 2004/10/11 16:37:00 CDT
1107    Tag: blume-20041011-regions
1108    Description:
1109    
1110    Made some minor modifications to elabcore.sml to have source regions
1111    be propagated more tightly -- resulting in better (i.e., smaller)
1112    regions being reported in error- and debug messages.
1113    
1114    ----------------------------------------------------------------------
1115    Name: Matthias Blume (blume (at) tti - c (dot) org)
1116    Date: 2004/10/08 22:50:00 CDT
1117    Tag: blume-20041008-cmkw
1118    Description:
1119    
1120    Fixed handling of keywords in .cm files: After seeing "is" the lexer
1121    treats subsequent occurrences of "group", "library", "source", "is",
1122    "*", and "-" as ordinary identifiers rather than keywords.
1123    
1124    Most seriously, this fixes a problem with CM's "shell" tool.  The tool
1125    is supposed to accept a tool argument called "source", but this did
1126    not work because of the clash with the keyword.
1127    
1128    ----------------------------------------------------------------------
1129    Name: Matthias Blume (blume (at) tti - c (dot) org)
1130    Date: 2004/10/07 16:00:00 CDT
1131    Tag: blume-20041007-cleanup
1132    Description:
1133    
1134    Assorted cleanup work:
1135    
1136      - got rid of intstrmap in favor of using the library's
1137        hash table implementation
1138      - threw out most of the pathnames stuff, as it was not used anyway
1139      - simplified tokentable implementation
1140      - fixed some minor spelling errors
1141    
1142    ----------------------------------------------------------------------
1143    Name: Matthias Blume (blume (at) tti - c (dot) org)
1144    Date: 2004/10/06 15:15:15 CDT
1145    Tag: blume-20041006-handler
1146    Description:
1147    
1148    Cleaned up the absyn to reflect the invariant that HANDLE always
1149    carries a FNexp as part of the type definition.  This eliminates some
1150    superfluous sanity checks at runtime down the road.
1151    
1152    Some minor cleanup of the btrace code.
1153    
1154    ----------------------------------------------------------------------
1155    Name: Matthias Blume (blume (at) tti - c (dot) org)
1156    Date: 2004/10/01 10:20:30 CDT
1157    Tag: blume-20041001-slave
1158    Description:
1159    
1160    Added hack to make slave mode work in the presence of the version
1161    tool.  (Still, since the master does two passes over the code for
1162    CMB.make, the release number gets bumped twice when slaves are
1163    attached.  I don't know if this is worth fixing...)
1164    
1165    ----------------------------------------------------------------------
1166    Name: Matthias Blume (blume (at) tti - c (dot) org)
1167    Date: 2004/09/30 10:55:00 CDT
1168    Tag: blume-20040930-version
1169    Description:
1170    
1171    * Moved the "version" magic into its own little library under
1172      src/system/smlnj/internal.  This avoids expensive reconstruction of
1173      a stable src/compiler/core.cm.
1174    
1175    * At the same time, structure CompilerVersion is now known as
1176      structure SMLNJVersion.
1177    
1178    * Arranged for the version tool to NOT kick in when rebuilding the system
1179      (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
1180      Also, loading the versiontool does not work when rebuilding the system
1181      because CM is not properly initialized at that time.
1182    
1183  ----------------------------------------------------------------------  ----------------------------------------------------------------------
1184  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
1185  Date: 2004/09/29 14:00:00 CDT  Date: 2004/09/29 14:00:00 CDT

Legend:
Removed from v.1638  
changed lines
  Added in v.2066

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