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