Stratego Release 010 Issues
Stratego -- Strategies for Program Transformation
Issues fixed in
StrategoXT 0.10
Bug
- [STR-8] - Scopes and Undefined are reserved terms
- [STR-10] - Incorrect variable unbound error when using the ( -> ) construct
- [STR-11] - Unbound variable in override rules
- [STR-12] - @ in dynamic rule match
- [STR-16] - Var not bound: no error or warning
- [STR-26] - implode-asfix doesn't support 'iter-n' nor 'iter-sep-n'
- [STR-27] - parse-pp-table doesn't support 'iter-n' nor 'iter-sep-n'
- [STR-31] - NEWS/news breaks checkout/build on OS X
- [STR-33] - sdf-bracket always assumes that the outer term is the grammar identifier
- [STR-37] - Use new SDF syntax definition in ppgen
- [STR-43] - pack-stratego prefers the last -I argument, not the first one
- [STR-49] - listvars as term arguments are not usable
- [STR-60] - Bad constructor for definition in pack-sdf
- [STR-69] - parse-unit cannot handle tuples in a test
- [STR-80] - C keywords are not allowed as identifiers, but syntax def allows this.
New Feature
- [STR-1] - if-then-else operator
- [STR-19] - Explicit scope identification for dynamic rules to replace 'override rules' construct: rules(f)(Inline : Call(f, es) -> ...)
- [STR-24] - Passing Hashtables around in Stratego, without table table
- [STR-68] - switch-case construct
- [STR-72] - Library support for ATerm placeholders
Task
- [STR-4] - Verify Microsoft Windows support in buildfarm
- [STR-21] - Define meta transition markers in separate module stratego-front/sig (now in meta-explode).
- [STR-22] - Clean up RPM spec file for ATerm and submit it to CWI for inclusion in their distribution
- [STR-28] - Update and minimize README files of subpackages (and toplevel!)
- [STR-29] - Change --with-stratego-xt flag to --with-strategoxt
- [STR-45] - Include negative regression tests in compiler
- [STR-71] - Remove SDF 2.1. Update every tool to the most recent SDF syntax.
- [STR-78] - Remove SDF signatures from asfix-tools. Improve AsFix? signature.
- [STR-81] - Remove Stratego sigs, pp, and syntax definition. Use stratego-front.
Improvement
- [STR-18] - Application of "extend dynamic rules" should try all dynamic rules and not just the top of the stack
- [STR-32] - Rewrite table-table strategies in terms of the new table primitives.
- [STR-34] - Separate and improved pretty-print table for SDF2-pgen2.x
- [STR-39] - ppgen outputs an unclear message when constructors are missing
- [STR-41] - unpack-sdf: move to sdf-front and use new sdf syntax and pretty-printer
- [STR-44] - Redesign dynamic rules
- [STR-56] - Allow // EOF
- [STR-57] - Use pgen 2.0 SDF syntax in sdf-cons
- [STR-61] - remove AC_FUNC_MALLOC from srts/configure.in
- [STR-73] - Support placeholders in pp-aterm
- [STR-77] - Improve translation of list constructs in RTG to sig