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