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

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

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