Stratego/XT 0.17 Issues

Stratego -- Strategies for Program Transformation

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