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

Legend:
Removed from v.1634  
changed lines
  Added in v.1808

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