Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

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

Legend:
Removed from v.1633  
changed lines
  Added in v.1862

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