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

Legend:
Removed from v.1593  
changed lines
  Added in v.1806

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