Stratego/XT 0.16 Issues

Stratego -- Strategies for Program Transformation

Release Notes - Stratego/XT - Version 0.16 (Stratego Core Compiler)

Bug

  • [STR-14] - Scoping problem at higher optimization levels
  • [STR-15] - strc doesn't work if invoked with -O [0/1]
  • [STR-85] - Sloppy variable-scope in let-strategies
  • [STR-145] - Shared libraries are not shared at Cygwin: static linking is used.
  • [STR-199] - Dynrules: matching of static patterns is not always modulo annos
  • [STR-220] - syntax priority issue: 's1 < s2 + s3 + s4' is ambiguous
  • [STR-224] - Term projection in annotations is broken
  • [STR-235] - Syntactical ambiguity with higher order arguments
  • [STR-251] - Dependent dynamic rules not compatible with separate compilation
  • [STR-258] - Dynamic rule intersection and union should restore dynamic rule after failure
  • [STR-260] - Dynamic rule lifting generates lookup code for undefine rule (L :- t)
  • [STR-264] - collect-all: recurse to current term instead of children of current term
  • [STR-269] - Strange bug with dynamic rules
  • [STR-275] - lift dynamic rules: lifting goes wrong with dependent rules with scope label
  • [STR-276] - Stratego doesn't honour -at-* flags
  • [STR-290] - concat-strings seg fault
  • [STR-293] - strc tests: Makefile.am must use XT_DARWIN
  • [STR-294] - Standalone strc: fix link order for Cygwin
  • [STR-301] - Check implementation of quoted constructors
  • [STR-308] - pp-c (or possibly parse-c) splits && operator into "& &()"
  • [STR-309] - Overlapping dynamic rules in definition of expand-overlays transformation
  • [STR-318] - format-check fails when reporting incorrect types at top-level (start-symbols)
  • [STR-322] - Concatenation of two iter-star-sep lists is not imploded.
  • [STR-326] - File foo not removed during configure
  • [STR-327] - XT_CHECK_STRATEGOXT_UTILS should use pkgconfig.
  • [STR-329] - use-def complains about unbound variables
  • [STR-331] - stratego-warning: missing build operator
  • [STR-335] - Typing bug with 0.15 strc
  • [STR-336] - Improve printing of 'constructor not declared' error message
  • [STR-338] - strc prints "SSL_printnl: argument not a list" to stderr for unclear reasons.
  • [STR-339] - ast2abox --help is wrong
  • [STR-341] - sglri does not give nice error message if there are multiple ambiguities
  • [STR-343] - Linking problem for identity Stratego program at Mac OS X
  • [STR-344] - Stratego libraries should declare interlibrary dependencies
  • [STR-372] - --keep 10 no longer works in all cases
  • [STR-381] - gcc-4.0.1 invalid storage class for function
  • [STR-382] - rm-annotations does not remove annotations
  • [STR-402] - sdf-bundel and strategoxt collision on man/man1/sdf2table.1
  • [STR-406] - strc -CI is broken
  • [STR-411] - strc-core --library generates mangled external definitions for imported external definitions
  • [STR-415] - pp-stratego does not print quotes around string literals
  • [STR-416] - No pretty-print for IfThen
  • [STR-417] - files left after distcheck
  • [STR-421] - stratego2abox: adapt pretty-printing of switch
  • [STR-435] - parse-unit: ambiguous comment
  • [STR-439] - parse-unit: "" is not allowed in aterm patterns.
  • [STR-441] - pp-stratego duplicates double quotes for strings.
  • [STR-442] - pp-stratego duplicaties quotes of character literals.
  • [STR-443] - parse-stratego no longer supports input from stdin
  • [STR-447] - Placeholder strategies missing

New Feature

  • [STR-111] - pptable-diff: consider number of arguments in pp rule
  • [STR-164] - Let: support rule syntax
  • [STR-303] - pkg-config: introduce variables for location of XTC repository
  • [STR-316] - Old style dynamic rules no longer supported
  • [STR-320] - Option for preferring .str files over .rtree files
  • [STR-325] - Overlay bodies should be pure term expressions
  • [STR-345] - stratego runtime libraries must be self-contained
  • [STR-346] - Calling strategies by their name
  • [STR-351] - checksum
  • [STR-353] - Detect overlapping dynamic rules
  • [STR-360] - autoxt: introduce variables for XTC repository (e.g. STRATEGOXT_XTC, JAVA_FRONT_XTC)
  • [STR-361] - autoxt: introduce support for pkg_STRCFLAGS variables
  • [STR-371] - --statistics option
  • [STR-375] - Support dynamic linking on Cygwin
  • [STR-383] - standalone strc: don't use a search path for libraries
  • [STR-404] - Strc: support -Xcc (similar to -Xlinker)
  • [STR-422] - pp-stratego should support amb nodes

Task

  • [STR-4] - Verify Microsoft Windows support in buildfarm
  • [STR-5] - Automate creation of binary distributions for Microsoft Windows + Cygwin.
  • [STR-58] - Stratego Core Language
  • [STR-243] - Restructure the native C code of the SSL
  • [STR-292] - Check native code of strateg-lib for comparison to ATempty
  • [STR-306] - Adapt pretty-printer to Stratego-Sugar syntax
  • [STR-307] - Move stratego-desugar from stratego-front to strc-core
  • [STR-313] - Build order of stratego-front and stratego-lib
  • [STR-315] - Merge improvements to strc with strc-core
  • [STR-317] - Adapt optimizer to Stratego Core language
  • [STR-319] - Update meta-explode to Stratego-Sugar abstract syntax
  • [STR-321] - List variables in concrete syntax and abstract syntax should have * suffix
  • [STR-324] - Disable build of sig2rtg
  • [STR-376] - Replace prims for annotation manipulation by annotation match and build operations
  • [STR-377] - Merge stratego-runtime and stratego-runtime-choice
  • [STR-378] - strc --help: svn revision is 0 is tarball and buildfarm.
  • [STR-379] - Fix compilation issues on Fedor Core 3 in data2xml-doc
  • [STR-380] - Remove code from srts that is defined only for bootstrap reasons.
  • [STR-387] - Check native code of stratego-lib for compatibility with new translation scheme
  • [STR-393] - Revive strategy inlining
  • [STR-394] - Revive pattern match compilation
  • [STR-395] - Revive innermost fusion
  • [STR-396] - Inlude manual pages from Stratego/XT manual in Stratego/XT distribution
  • [STR-399] - Move stratego-ensugar to strc
  • [STR-423] - Check if the Stratego syntax definition is non-ambiguous without heuristic filters.
  • [STR-430] - Fix misc. C warnings reported by GCC
  • [STR-431] - Release sdf2-bundle that builds on gcc4.
  • [STR-432] - Create binary distributions for aterm 2.4.2
  • [STR-448] - Re-enable installation of .rtree files

Improvement

  • [STR-66] - Review and improve dummification of LHS terms in dynrule lifter
  • [STR-76] - Undefine dynamic rules on backtracking
  • [STR-101] - graph-tools: use xml-front for GraphXML? input and output
  • [STR-210] - Conc support: conc the Conc arguments in build.
  • [STR-217] - Emacs mode: support fill-paragraph (alt-q) of xdoc comments
  • [STR-219] - Emacs mode: abstract syntax buffer for concrete objects syntax
  • [STR-242] - Define native ssl functions as external definitions
  • [STR-278] - ppgen: incorrect report of missing constructor
  • [STR-279] - conc-strings: support tuples of >2 strings
  • [STR-310] - remove obscure features
  • [STR-312] - Implement failure by returning NULL (instead of setjmp/longjmp)
  • [STR-328] - strc --version should provide SVN revision number
  • [STR-332] - strc: --keep only keeps intermediate file if format checker fails
  • [STR-347] - Configuration: support combined explicit and implicit configuration
  • [STR-348] - Factorize generation of code in SplitDynamicRule?
  • [STR-350] - Don't install the internal autoxt macros
  • [STR-352] - Rewrite tool-doc to desugaring instead of overlays
  • [STR-368] - Do not generate undefine- and new- code for non-dependent dynamic rules
  • [STR-369] - Use checksum instead of stamp to generate dynamic rule closure labels
  • [STR-370] - Introduce STRCFLAGS. SCFLAGS is obsolete but supported.
  • [STR-374] - Logging should not always print the current term
  • [STR-384] - stratego-lib testsuite should use libraries in prefix.
  • [STR-385] - Extend bound-unbound variables analysis to dynamic rules
  • [STR-386] - suggestion for a string-replace strategy
  • [STR-390] - Support make check on Cygwin
  • [STR-391] - Support make check on Darwin
  • [STR-392] - Check-constructor: pretty-print Stratego AST in error message.
  • [STR-401] - Remove pkgconfig file of sdf2-bundle from strategoxt
  • [STR-405] - Strc: Consider to invoke gcc with -Werror
  • [STR-413] - sglri: --no-heuristic-filters should be the default behaviour.
  • [STR-414] - Pattern match compiler: matrix with single row can be implemented directly
  • [STR-440] - parse-unit: don't accept ambiguities in the testsuite itself