Release Notes - Stratego/XT - Version 0.17

Bug

• [STR-248] - implode-asfix: support AsFix2ME^? constructs
• [STR-263] - Extend ArgOption^? with default value argument
• [STR-283] - pp-c should apply some sanity checks: double quote string literals
• [STR-289] - High order strategies exported incorrectly
• [STR-445] - parse-stratego --asfix does not work for java-front syntax?
• [STR-449] - sglri,parse-stratego: implement comment and position preservation
• [STR-450] - Strange error report from sdf2rtg
• [STR-458] - parse-unit uses obsolete strategy for reading a file.
• [STR-461] - StrategoStratego^?: allow annotations on quotations
• [STR-465] - sglri: report error if input file cannot be opened.
• [STR-466] - sglri: support position reporting for standard input
• [STR-467] - new implode-asfix: bug with meta-listvar.
• [STR-468] - sdf2rtg: support meta list variables.
• [STR-471] - pp-aterm does not show annotations on strings
• [STR-474] - Innermost fusion broken
• [STR-475] - Source distribution size doubled?
• [STR-476] - OSX: Linking problems with libraries from sdf2-bundle
• [STR-478] - External definitions removed even when later needed
• [STR-479] - Bug in new innermost fusion
• [STR-480] - mkstemp: some systems restrict the number of tmp files per process
• [STR-481] - Bootstrapping: Import of baseline XTC repo results in use of files/tools from previous builds
• [STR-483] - Rename all top-level xtc directories or the name of build-time repos XTC
• [STR-484] - strc: bizarre renaming problem with external definitions
• [STR-485] - Formal parameters of external definitions are not renamed
• [STR-486] - libstratego-sglr: filenames too long for tar
• [STR-489] - Innermost optimization cannot handle rules with term arguments
• [STR-491] - gcc is assumed to exist in $PATH
• [STR-493] - can't build statically linked stratego
• [STR-494] - XTC register does not support executable with different name
• [STR-498] - Stand-alone strc does not report incorrect order of strategy argument.
• [STR-499] - Follow restriction needed on rec.
• [STR-504] - parse-stratego | pp-stratego prints ugly lists
• [STR-509] - Use of DYNAMIC_CALLS in DR incompatible with separate compilation
• [STR-510] - pp-stratego does not handle dr intersection
• [STR-511] - dr-add-to-rule-set does not consider multiple changesets correctly
• [STR-519] - Add statistics logging features to libstratego-sglr and sglri.
• [STR-523] - Standalone strc: improve support for creating a library
• [STR-527] - bootstrapping: stratego-sglr should be build with local compiler
• [STR-540] - sglri does not handle \r and \r\n in error reporting.
• [STR-542] - autoxt: xtc register nobase pkgdata and nobase sdfdata
• [STR-543] - Coma missing in sdf pretty-print
• [STR-549] - sglri does not print an error message if the parse table is bad
• [STR-551] - xtc get is not documented in --help of xtc
• [STR-553] - Size of tarball doubled
• [STR-558] - parse-stratego should respect the -b argument
• [STR-561] - stratego-libraries: check programs must be compiled with local compiler.
• [STR-563] - .str files in stratego-libraries need to be parsed with local Stratego syntax.
• [STR-565] - implode-asfix: support {A sep}n+
• [STR-566] - sdf2rtg: support {A sep}n+
• [STR-576] - wildcards in build are not caught by strc
• [STR-579] - Makefile.xt: don't use ; for composing xtc invocations
• [STR-582] - OSX: add -fnested-functions to AM_CFLAGS for as long we use nested functions
• [STR-583] - i686-apple-darwin: stratego tools that fork are signaled
• [STR-584] - parse-unit fails at i686-darwin because of fancy call invocation
• [STR-586] - Standalone strc on i686-apple-darwin: use -fnested-functions
• [STR-589] - OSX: sdf2-bundle cannot be cross-compiled for i686 and ppc
• [STR-590] - ATinsert: incompatible pointer type
• [STR-593] - string-replace problem
• [STR-597] - autoxt: xtc repository breaks on autoconf 2.60
• [STR-598] - pkg-config: .pc.in files that use @datadir@ also need @datarootdir@ when using autoconf 2.60
• [STR-599] - XTC doesn't handle duplicate entries properly
• [STR-600] - Poor error report for 'build default' in normal pattern
• [STR-601] - unboundness of the variable
• [STR-602] - upper-case and lower-case have incorrect documentation comments
• [STR-603] - parse-stratego does not use the correct order of -I arguments.
• [STR-608] - string-replace doesn't work for many cases
• [STR-615] - Call to non-existing aux-R rule in definition of undefine-R
• [STR-617] - Makefile.xt must use the basename of a tool/file when registering it in the XTC repository
• [STR-620] - Let with recursive call produces GCC error (odd case)
• [STR-624] - Autoxt: fix unquoted defines
• [STR-626] - Failure in generic term construction having annotations causes segmentation fault.
• [STR-634] - string-to-int applied to empty string behave different on linux and darwin
• [STR-636] - Compiler should fail for undefined strategies
• [STR-645] - xtc query exits with exit-code 0 if no registration is found.
• [STR-648] - XTC registration of package conflicts with tool names.
• [STR-650] - Linking against non-dynamic libtool library libc-pp fails on Cygwin
• [STR-652] - License of stratego-libraries is LGPL, not GPL
• [STR-655] - strc misses error
• [STR-664] - Parse-unit no longer allows allow tuples in patterns after update of STR-609
• [STR-665] - Parse-unit no longer accepts --amb command-line option
• [STR-671] - strc: fix frame warnings
• [STR-672] - strc: fix multiple external definitions problems
• [STR-678] - Stratego-Sdf2: LiteralMetaVar^? have not been updated
• [STR-679] - parse-unit: update error reporting to new error format (see sglri)
• [STR-681] - Problem in pp-pp-table: Too many spaces
• [STR-683] - Rejectected construction: s0 < s1 <+ s2 + s3
• [STR-693] - sglri keeps apply-node within case-insensitive constructors
• [STR-696] - Unable to find the "IfThen" contructor in Stratego-pretty.pp.af
• [STR-713] - take(s) succeeds for list with too few elements
• [STR-714] - No support for annotations in := operator
• [STR-715] - asfix-anno-position-info(|path) gives as area
• [STR-716] - import-term is not supported by pp-stratego
• [STR-717] - SDF {ast} attribute does not support annotations
• [STR-718] - sdf2rtg / rtg2sig does not create constructors from {ast} productions
• [STR-719] - ambiguity for # operator in :=
• [STR-721] - bug with pp-c
• [STR-730] - missing imports of util/config/statistics
• [STR-735] - libstrc: YieldQuotes^? option in .meta files not recognized
• [STR-739] - --with-aterm and --with-sdf were needed even without --prefix. strategoxt-manual-stable-latest/manual/installation.html didn't work.
• [STR-746] - Stratego/XT does not build on OSX due to the undefined symbol for the tracing table.
• [STR-747] - bug in build from svn

Improvement

• [STR-35] - Improve ATerm representation of stream and hashtable pointers
• [STR-87] - Separate match, build and congruence term patterns in syntax definition.
• [STR-455] - pp-stratego: stratego2abox is not invoked with -b flag.
• [STR-456] - abox2text: use libgpp
• [STR-477] - Improve error reporting of ambiguous concrete object syntax
• [STR-482] - Improve non-standard error reporting and support different C compilers
• [STR-487] - Buildfarm: test if the tarball can be build afer a bootclean
• [STR-492] - Standard C99: report all warnings and standards compliance
• [STR-508] - asfix-anno-comments: use libstratego-sglr
• [STR-516] - string-ends-with and right-match are missing from term/string
• [STR-517] - Add tests for string-*-with strategies
• [STR-537] - invalid config.h results from autoxt.m4
• [STR-562] - Implement length strategy in native code.
• [STR-564] - Drop imports of liblib and replace with libstratego-lib or libstratego-xtc
• [STR-567] - implode-asfix: support repetition of literals
• [STR-578] - strc --library: by default add lib to the basein to construct the baseout.
• [STR-580] - Replace sed of autoxt.src with configure AC_CONFIG_FILES
• [STR-587] - ./spec/term/share.str should not reserve the "inline" strategy
• [STR-606] - illegal constructs in builds
• [STR-623] - Externals for library should not include externals from imported definitions
• [STR-633] - Reduce memory usage of report-ambs
• [STR-637] - Rewrite stratego-regular to use libstratego-rtg
• [STR-646] - Hashtable folds
• [STR-647] - Iterative list loop and fold
• [STR-676] - rtg: replace special non-terminals and with special terminals and .
• [STR-707] - Drop .tbl generation for concrete syntax embeddings from strc

New Feature

• [STR-110] - Implement an SDF to LaTeX^? tool for usage in alltt.
• [STR-311] - strc-lib : a library for compilation (meta-programming) Stratego
• [STR-355] - parse-unit: support heuristic filter (option?) specification in testsuite
• [STR-357] - parse-unit: allow testing inputs that are ambiguous.
• [STR-362] - autoxt: support target specific STRCFLAGS (foo_STRCFLAGS)
• [STR-419] - gen-renamed-sdf-module: do not rename LAYOUT non-terminals
• [STR-446] - Stratego bindings for libsglr
• [STR-451] - parse-unit: support matching of variable number of arguments.
• [STR-452] - parse-unit: use libsglri
• [STR-470] - Initiate abox2text unit test suite
• [STR-495] - strategoxt rpms should be build using rpms for that specific distribution
• [STR-501] - Generate chain-f and bigchain-f for dynamic rule f
• [STR-503] - Introduce libgpp, providing ast2abox and abox2text as a library
• [STR-512] - Option handling: support initial actions
• [STR-513] - Option handling: support check actions
• [STR-521] - Library: add if-statistics2 etc
• [STR-547] - libstratego-sglr: strategy to set parse tree format is not implemented
• [STR-548] - .meta file should allow option for not imploding concrete object syntax
• [STR-550] - Assignment operator
• [STR-552] - ast attributes: support single placeholder
• [STR-568] - implode-asfix: allow literal injections.
• [STR-570] - pp-aterm: use libstratego-gpp
• [STR-571] - Distribute stratego-libraries for deploying Stratego/XT applications without Stratego/XT
• [STR-572] - Introduce libstratego-rtg, providing format checking as a library
• [STR-573] - autoxt: make XTC registration optional
• [STR-577] - Stratego: support import of an ATerm from a file
• [STR-585] - Standalone strc: use the CFLAGS user variable.
• [STR-604] - newname: _ should be configurable
• [STR-605] - gen-sdf-mix: Ctx parameter should be hygienic

• [STR-616] - autoxt: add configure option to disable xtc registration
• [STR-625] - libstratego-sglr: support for start symbols that are not context-free.
• [STR-629] - Introduce libtool-doc, using libstratego-gpp
• [STR-630] - mod only supports integers, introdce mod for floats
• [STR-631] - pp-aterm should be available as (or in) a library
• [STR-632] - libstratego-sglr: support adding position information to AsFix^? trees.
• [STR-641] - Move asfix-yield into libstratego-sglr
• [STR-642] - Pretty-print table compiler
• [STR-653] - new operator: an Ensure-Seq operator
• [STR-659] - sdf2ast-conflicts: support numbered priorities
• [STR-661] - sdf2-bundle generation: include info about the revisions, versions, and URLs of the included packages
• [STR-675] - format-check: support more complex tree patterns in the right-hand sides
• [STR-697] - Standalone strc; allow users to override --cc and ---ld
• [STR-698] - x86_64 support
• [STR-708] - parse-unit: support annotations in expected and actual results
• [STR-709] - sdf ast attributes: support annotations in ast patterns
• [STR-723] - Implement pretty-printing support for rules( := ) and rules( :+= ) syntax
• [STR-751] - Do not export imported constructors from library

Task

• [STR-295] - Remove the open file table (C) and file table based strategies
• [STR-296] - Is there a readline (read-line) for streams?
• [STR-297] - Merge Char-lib.str and Literal-lib.str with Stratego Library
• [STR-305] - Tutorial for first time users
• [STR-408] - Escaping variables analysis
• [STR-409] - Compute size of closure per function
• [STR-410] - Look up terms and function in closure
• [STR-438] - Remove ML style comments
• [STR-457] - Add FC5 to the buildfarm
• [STR-462] - Move implementation sglri error reporting to libstratego-sglr
• [STR-463] - Create a pkg-config file for sglr in the sdf2-bundle.
• [STR-469] - Move file-based implode-asfix tests to the new stratego-sglr-tests suite
• [STR-473] - Move test-71 to libstratego-sglr testsuite?
• [STR-505] - Enable darwin in the sdf2-bundle build job
• [STR-507] - Add SUSE 10 to the buildfarm
• [STR-541] - Move gen-sdf-mix from aspject-front to strategoxt
• [STR-609] - Update to SDF of Meta-Environment 2.0
• [STR-619] - Stratego-libraries: test the new C99 fallback for copy-file
• [STR-649] - pp-aterm, implode-aterm, explode-aterm, sdf-desugar: use libstratego-aterm
• [STR-654] - xtc-new-file-name uses obsolete strategy new-file
• [STR-657] - implode-aterm, sdf-desugar: use libstratego-aterm
• [STR-658] - Remove the tool parse-c from Stratego/XT
• [STR-668] - Move php-front portability fixes to stratego-lib
• [STR-743] - Manual: revise "Building and Deploying Stratego Programs" chapter