Stratego Release 062

Stratego version 0.6.2 is now available from StrategoDownload

 released: October 1, 2001

 SUMMARY OF CHANGES

 (with respect to release 0.6)

 CONTRIBUTIONS

 * Bug reports by: Otto Skrove Bagge, Merijn de Jonge, Hedzer Westra

 COMPILER

 * Added compile time option to generate code to trace strategies
   - --trace-all: trace all strategies
   - -t f: trace strategy f

 * Repair in implementation of dynamic rules; added rule stamp in order
 to record to which rule the information belongs.

 * Optimization is set to O2 by default (used to be O4). The higher
 optimization level (which comes down to inlining functions in addition
 to the O2 optimizations) seems to produce faulty code on some
 machine/compiler combinations. Optimization can be increased by
 passing the option -CI "O3" to SC. However, it seems appropriate to
 leave inlining decisions to SC.

 * Repaired bug in compilation of overlays.

 LIBRARY

 * Type annotations added to strategy operators with higher-order
 arguments.

 * Numerous small refactorings.
   
 * Some new tests

 * New
    - occurrences(s): all occurrence for which s succeeds
    - om-occurrences(s): outermost occurrences only

 * Obsolete: 
    - collect-kids/1 -> crush/3

---

-- EelcoVisser - 01 Oct 2001