- Transformers-bugs

pack-stratego: command not found
by Akim Demaille 27 Oct '04

27 Oct '04

Path: ../sdf-attribute/src/lib URL: https://svn.lrde.epita.fr/svn/transformers/trunk/sdf-attribute/src/lib Repository UUID: 063058d2-19d4-0310-9cf6-ece414b75712 Revision: 1006 Node Kind: directory Schedule: normal Last Changed Author: akim Last Changed Rev: 1000 Last Changed Date: 2004-10-22 14:42:32 +0200 (Fri, 22 Oct 2004) Properties Last Updated: 2004-10-22 14:42:14 +0200 (Fri, 22 Oct 2004) make[3]: Entering directory `/work/akim/src/transformers/trunk/_build/sdf-attribute/src/lib' pack-stratego \ -I ../../../../sdf-attribute/src/lib \ -I ../../src/syn \ -I /home/lrde/admin/lrde/usr/StrategoXT/share/ssl -i ../../../../sdf-attribute/src/lib/attr-lib.str | \ /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/pre-desugar | \ /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/normalize-spec | \ /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/spec-to-sdefs | \ /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/desugar -o attr-lib.lib /bin/sh: pack-stratego: command not found readFromTextFile: parse error at line 0, col 0 not a valid term /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/pre-desugar: rewriting failed readFromTextFile: parse error at line 0, col 0 not a valid term /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/normalize-spec: rewriting failed readFromTextFile: parse error at line 0, col 0 not a valid term /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/spec-to-sdefs: rewriting failed readFromTextFile: parse error at line 0, col 0 not a valid term /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/desugar: rewriting failed make[3]: *** [attr-lib.lib] Error 1 make[3]: Leaving directory `/work/akim/src/transformers/trunk/_build/sdf-attribute/src/lib' make[2]: *** [all-recursive] Error 1 make[2]: Leaving directory `/work/akim/src/transformers/trunk/_build/sdf-attribute/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/work/akim/src/transformers/trunk/_build/sdf-attribute' make: *** [all-recursive] Error 1

2 1

sdf-attribute/src/evaluate: constructor ChangeSet/3 not declared
by Akim Demaille 25 Oct '04

25 Oct '04

sdf-attribute/src/evaluate % make -C _build nostromo 17:39 make: Entering directory `/work/akim/src/transformers/trunk/_build/sdf-attribute/src/evaluate' /home/lrde/admin/lrde/usr/StrategoXT/bin/strc -I ../../../../sdf-attribute/lib/eval -I ../../lib -I ../../../../sdf-attribute/lib/eval -I ../../../../sdf-attribute/src/attributed-trees -I ../../src/syn --main eval-attributes --verbose 0 --dr new -i ../../../../sdf-attribute/src/evaluate/eval-attributes.str -o eval-attributes.c -c error: in definition ("dr-collect-labels",0,1): constructor ChangeSet/3 not declared error: in definition ("dr-unlabel-scope",0,1): constructor ChangeSet/3 not declared /home/lrde/admin/lrde/usr/StrategoXT/libexec/strc/check-constructors: rewriting failed compilation failed (9.33 secs) make: *** [eval-attributes.c] Error 1 make: Leaving directory `/work/akim/src/transformers/trunk/_build/sdf-attribute/src/evaluate'

3 4

[ transformers-Bugs-48 ] Concrete syntax in cxx-basic/unfor does not work well
by noreply＠lrde.epita.fr 06 Sep '04

06 Sep '04

Bugs item #48, was opened at 2004-09-06 17:43 You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=48&group_id=5 Category: cxx-basic Group: None Status: Open Resolution: None Priority: 5 Submitted By: Clement Vasseur (vasseu_c) Assigned to: Olivier Gournet (gourne_o) Summary: Concrete syntax in cxx-basic/unfor does not work well Initial Comment: See: Unfor : |[ for (sd c; e) s ]| -> |[ { sd while (c) { s e; } } ]| ---------------------------------------------------------------------- You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=48&group_id=5

1 0

[ transformers-Bugs-44 ] choice operator
by noreply＠lrde.epita.fr 11 Jul '04

11 Jul '04

Bugs item #44, was opened at 2004-07-11 13:20 You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=44&group_id=5 Category: sdf-attribute Group: None Status: Open Resolution: None Priority: 6 Submitted By: Olivier Gournet (gourne_o) Assigned to: Valentin David (david_v) Summary: choice operator Initial Comment: There is a silly thing with choice operator. This code used to pass, but now do strange thing. (extract from c-grammar/src/syn/Specifiers.sdf) ; debug (!"type : ") ; ( ( debug (!"void? : "); ["void"] ) + ( debug (!"char? : "); ["char"] ) + ... at run time: type : ["int"] void? : ["int"] char? : attr-appl(prod([cf(i.... ---------------------------------------------------------------------- You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=44&group_id=5

1 0

[ transformers-Bugs-43 ] unfor and split don't work
by noreply＠lrde.epita.fr 06 Jul '04

06 Jul '04

Bugs item #43, was opened at 2004-07-06 09:22 You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=43&group_id=5 Category: cxx-basic Group: None Status: Open Resolution: None Priority: 3 Submitted By: Olivier Gournet (gourne_o) Assigned to: Nobody (None) Summary: unfor and split don't work Initial Comment: see why and fix it. ---------------------------------------------------------------------- You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=43&group_id=5

1 0

[ transformers-Bugs-42 ] Dandling else
by noreply＠lrde.epita.fr 02 Jul '04

02 Jul '04

Bugs item #42, was opened at 2004-07-02 19:22 You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=42&group_id=5 Category: c-grammar Group: None Status: Open Resolution: None Priority: 5 Submitted By: Olivier Gournet (gourne_o) Assigned to: Valentin David (david_v) Summary: Dandling else Initial Comment: With the context-free restrictions rule on the if-then-else, the following code: inf f() { if (1) ; else if (1) ; } don't parse. sglr:error: Parse error in /tmp/test.c, line 8, col 0: eof unexpected ---------------------------------------------------------------------- You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=42&group_id=5

1 0

[ transformers-Bugs-41 ] va_arg
by noreply＠lrde.epita.fr 02 Jul '04

02 Jul '04

Bugs item #41, was opened at 2004-07-02 11:52 You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=41&group_id=5 Category: c-grammar Group: None Status: Open Resolution: None Priority: 2 Submitted By: Olivier Gournet (gourne_o) Assigned to: Nobody (None) Summary: va_arg Initial Comment: The macro va_arg is expanded into __builtin_va_arg, but this builtin still takes a type as parameter. eg: char* a = __builtin_va_arg(va, char**)[0]; Whatever, the C grammar doesn't allow type as parameter. How should we handle this case ? ---------------------------------------------------------------------- You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=41&group_id=5

1 0

[ transformers-Bugs-37 ] eh/cleanup1 fails sometimes
by noreply＠lrde.epita.fr 25 Jun '04

25 Jun '04

Bugs item #37, was opened at 2004-06-25 06:28 You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=37&group_id=5 Category: cxx-grammar Group: None Status: Open Resolution: None Priority: 5 Submitted By: Clement Vasseur (vasseu_c) Assigned to: Olivier Gournet (gourne_o) Summary: eh/cleanup1 fails sometimes Initial Comment: Find out why the eh/cleanup1 test fails on sandrock and pass on piotrkow. If the reason is too hard to investigate, the test should be removed, since it depends on our patch for SGLR. ---------------------------------------------------------------------- You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=37&group_id=5

1 0

[ transformers-Bugs-36 ] Dependance on external stratego-shell sources.
by noreply＠lrde.epita.fr 25 Jun '04

25 Jun '04

Bugs item #36, was opened at 2004-06-25 04:30 You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=36&group_id=5 Category: sdf-attribute Group: None Status: Open Resolution: None Priority: 9 Submitted By: Clement Vasseur (vasseu_c) Assigned to: Valentin David (david_v) Summary: Dependance on external stratego-shell sources. Initial Comment: sdf-attribute depends on stratego-shell, and it fetches it by using: --- svn checkout -r 6170 https://svn.cs.uu.nl:12443/repos/StrategoXT/trunk/experimental/stratego-she… --- This is very annoying because it only works on a few computers in the lab. ---------------------------------------------------------------------- You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=36&group_id=5

1 0

[ transformers-Bugs-33 ] Grammar
by noreply＠lrde.epita.fr 21 Jun '04

21 Jun '04

Bugs item #33, was opened at 2004-06-21 11:41 You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=33&group_id=5 Category: cxx-grammar Group: None Status: Open Resolution: None Priority: 6 Submitted By: Olivier Gournet (gourne_o) Assigned to: Clement Vasseur (vasseu_c) Summary: Grammar Initial Comment: In src/syn/OperatorFunctionIds.sdf, the following lines "and" -> Operator "bitor" -> Operator "or" -> Operator "xor" -> Operator "compl" -> Operator "bitand" -> Operator "and_eq" -> Operator "or_eq" -> Operator "xor_eq" -> Operator "not" -> Operator {cons("not-op")} "not_eq" -> Operator don't appear in the standard grammar. Please check if it's not a bug. ---------------------------------------------------------------------- You can respond by visiting: http://gforge.lrde.epita.fr/tracker/?func=detail&atid=101&aid=33&group_id=5

1 0