Stratego version 0.6.2 is now available from
StrategoDownload
released: October 6, 2001
SUMMARY OF CHANGES
(with respect to release 0.6)
CONTRIBUTIONS
* Bug reports by: Otto Skrove Bagge, Merijn de Jonge, Hedzer Westra
* Bug repairs by: Merijn de Jonge
LANGUAGE
COMPILER
* Added compile time option to generate code to trace strategies
- --trace-all: trace all strategies
- -t f: trace strategy f
* 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.
* Repair in implementation of dynamic rules; added rule stamp in order
to record to which rule the information belongs.
* Repair of compilation of overlays
RUN-TIME SYSTEM
* Repair of term explosion for strings (Merijn de Jonge)
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