check flags: building check-recursive Making check in libltdl make[1]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/libltdl' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/libltdl' Making check in tools make[1]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/tools' building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: auto-stratego-shell stri-primitives stri-invoke-native Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: make[1]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/tools' Making check in libstri make[1]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/libstri' building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stratego/eval/stratego-lib-native.rtree stratego/interpreter/front.rtree stratego/interpreter/main.rtree stratego/interpreter/strc-options.rtree stratego/interpreter/strc.rtree stratego/eval/build.rtree stratego/eval/call.rtree stratego/eval/combinator.rtree stratego/eval/congruence.rtree stratego/eval/environment.rtree stratego/eval/main.rtree stratego/eval/match.rtree stratego/eval/native.rtree stratego/eval/reflect.rtree stratego/eval/scope.rtree stratego/eval/stratego-lib-native.rtree stratego/eval/traversal.rtree stratego-interpreter.rtree libstri.rtree make[1]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/libstri' Making check in interpreter make[1]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/interpreter' building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stri stri-front Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: make[1]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/interpreter' Making check in shell make[1]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell' building check-recursive Making check in libreadline make[2]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/libreadline' make[2]: Circular libstratego-readline.rtree <- libstratego-readline.rtree dependency dropped. building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stratego-readline.rtree libstratego-readline.rtree make[2]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/libreadline' Making check in syn make[2]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/syn' building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: StrategoShell-Extensions.pp.af StrategoShell.rtg StrategoShellScript.rtg StrategoShell.rtg-nf StrategoShellScript.rtg-nf StrategoShell.def StrategoShellScript.def StrategoShell.tbl StrategoShellScript.tbl StrategoShell.sdf StrategoShellScript.sdf PathNames.sdf make[2]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/syn' Making check in sig make[2]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/sig' building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: StrategoShellScript.rtree StrategoShell.rtree errors.str make[2]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/sig' Making check in main make[2]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/main' building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stratego-shell Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: make[2]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/main' make[2]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell' building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: make[2]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell' make[1]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell' Making check in tests make[1]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests' building all-local Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: building all-local ln -f -s ../shell/main/stratego-shell test-stratego-shell building check-am make stratego-shell-test make[2]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests' building stratego-shell-test.c /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I . -I /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/share/xtc -I /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/share/stratego-front --main main-stratego-shell-test -i stratego-shell-test.str -o stratego-shell-test.c -c [ strc | info ] Compiling 'stratego-shell-test.str' [ strc | info ] Front-end succeeded : [user/system] = [1.95s/0.25s] [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.06s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [4.45s/0.17s] [ strc | info ] Compilation succeeded : [user/system] = [6.46s/0.42s] building stratego-shell-test.o gcc -DPACKAGE_NAME=\"stratego-shell\" -DPACKAGE_TARNAME=\"stratego-shell\" -DPACKAGE_VERSION=\"0.7\" -DPACKAGE_STRING=\"stratego-shell\ 0.7\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"stratego-shell\" -DVERSION=\"0.7\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego-shell\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego-shell\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.7pre0\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.7pre0\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -DHAVE_LIBREADLINE=1 -I. -I/nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/include -I/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/include -I/nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/include -I/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/include -I/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/zr7can67n84q55lpvx9rpry0c0pb8q2c-stratego-shell/share/stratego-shell/XTC\"" -g -O2 -c stratego-shell-test.c building stratego-shell-test /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/zr7can67n84q55lpvx9rpry0c0pb8q2c-stratego-shell/share/stratego-shell/XTC\"" -g -O2 -bind_at_load -o stratego-shell-test stratego-shell-test.o -L/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/lib -lATerm -lreadline -ltermcap -ltermcap  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/zr7can67n84q55lpvx9rpry0c0pb8q2c-stratego-shell/share/stratego-shell/XTC\" -g -O2 -bind_at_load -o stratego-shell-test stratego-shell-test.o -L/nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/lib /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-xtc.dylib /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.dylib /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.dylib /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.dylib -lm /nix/store/42yv6142vpm98vxjk8v5wrjznffvy71f-aterm-2.5pre21238-26ra85lr/lib/libATerm.dylib -lreadline -ltermcap make[2]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests' make check-TESTS make[2]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests' building check-TESTS Using XTC repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC test suite: Stratego Shell Tests :help Rewriting strategy rewrite the current subject term with strategy Defining Strategies id = strategy define a strategy (doesn't change the current subject term) id : rule define a rule (doesn't change the current subject term) import modname import strategy definitions from 'modname' (file system or xtc) :undef id delete defintions of all strategies 'id'/(s,t) :undef id(s,t) delete defintion of strategy 'id'/(s,t) :reset delete all term bindings, all strategies, reset syntax. Native Libraries :load lib load the native library lib :showloaded list dynamically loaded native libraries Debugging :show show the current subject term :autoshow on|off show the current subject term after each rewrite :pp-aterm on|off on show, pretty-print the current subject term :binding id show term binding of id :bindings show all term bindings :showdef id show defintions of all strategies 'id'/(s,t) :showdef id(s,t) show defintion of strategy 'id'/(s,t) :showast id(s,t) show ast of defintion of strategy 'id'/(s,t) Concrete Syntax :syntax defname set the syntax to the sdf definition in 'defname'. XTC :xtc import pathname Misc :include file execute command in the script of `file` :verbose int set the verbosity level (0-9) :clear clear the screen :exit exit the Stratego Shell :quit same as :exit :q same as :exit :about information about the Stratego Shell :help show this help information :about ,-----------. | : | Stratego Shell | /|\ | version 0.7pre0, revision 0 | / | \ | | / | \ | stratego@cs.uu.nl | /_\/_\/_\ | http://stratego-language.org `-----------' Authors: * Shell: Martin Bravenboer * Interpreter: Martin Bravenboer and Eelco Visser * Stratego Logo in ASCII: Arthur van Dam Bug reports: * stratego@cs.uu.nl License: Copyright (C) 2002-2006 Stratego Software Foundation This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA :? Rewriting strategy rewrite the current subject term with strategy Defining Strategies id = strategy define a strategy (doesn't change the current subject term) id : rule define a rule (doesn't change the current subject term) import modname import strategy definitions from 'modname' (file system or xtc) :undef id delete defintions of all strategies 'id'/(s,t) :undef id(s,t) delete defintion of strategy 'id'/(s,t) :reset delete all term bindings, all strategies, reset syntax. Native Libraries :load lib load the native library lib :showloaded list dynamically loaded native libraries Debugging :show show the current subject term :autoshow on|off show the current subject term after each rewrite :pp-aterm on|off on show, pretty-print the current subject term :binding id show term binding of id :bindings show all term bindings :showdef id show defintions of all strategies 'id'/(s,t) :showdef id(s,t) show defintion of strategy 'id'/(s,t) :showast id(s,t) show ast of defintion of strategy 'id'/(s,t) Concrete Syntax :syntax defname set the syntax to the sdf definition in 'defname'. XTC :xtc import pathname Misc :include file execute command in the script of `file` :verbose int set the verbosity level (0-9) :clear clear the screen :exit exit the Stratego Shell :quit same as :exit :q same as :exit :about information about the Stratego Shell :help show this help information :quit :exit :q :show () :binding x is bound to () build int build string build tuple build list build list build unbound var stratego-shell: rewriting failed build explode build explode build explode match int 1 match string match int 2 stratego-shell: rewriting failed match string stratego-shell: rewriting failed match tuple 1 match tuple 2 match tuple 3 match tuple 4 stratego-shell: rewriting failed match list 1 match list 2 match list 3 match list 4 stratego-shell: rewriting failed match and build 1 match and build 2 stratego-shell: rewriting failed match explode fail fails stratego-shell: rewriting failed id leaves term untouched id leaves term untouched out of scope 1 stratego-shell: rewriting failed match interrupted by scope 1 match interrupted by scope 2 match interrupted by scope 3 match interrupted by scope 4 out of scope 3 stratego-shell: rewriting failed unbinding in lchoice do not unbinding lhs of lchoice if it succeeds guarded modifies current term unbinding of guard in guarded lchoice stratego-shell: rewriting failed closure test 1 closure test 2 let test 1 let test 2 closure test 2a closure test 2b closure test 2c closure test 2d closure test 2e closure test 2f closure test 3a stratego-shell: rewriting failed closure test 3b operator s1/(0,0) not defined stratego-shell: rewriting failed closure test 3c operator s1/(0,0) not defined stratego-shell: rewriting failed closure test 4 closure test 5a closure test 5b closure test 6 closure test 7 closure test 8 closure test 9 closure test 10 closure test 11 closure test 12 closure test 13 foo sdef 0.1 foo sdef 0.2 foo sdef 1 foo sdef 2 foo sdef 3 foo rdef 1 foo rdef 2 foo rdef 3 foo rdef 4 stratego-shell: rewriting failed overloading 1 overloading 2 overloading 3 overloading 4 undefine foo operator foo/(0,0) not defined stratego-shell: rewriting failed undefine foo, define foo, apply foo undefine all foos operator foo/(0,0) not defined stratego-shell: rewriting failed undefine just one of the foos warning: no such strategy defined wrap split 1 wrap split 2 wrap split 3 wrap split 4 project 1 project 2 cong int 1 cong int 2 stratego-shell: rewriting failed cong string 1 cong string 2 stratego-shell: rewriting failed cong tuple 1 cong tuple 2 cong tuple 3 stratego-shell: rewriting failed cong tuple 4 cong tuple 5 stratego-shell: rewriting failed cong list 1 cong list 2 cong list 3 cong list 4 cong list 5 cong list 6 stratego-shell: rewriting failed cong list 7 stratego-shell: rewriting failed cong list 8 stratego-shell: rewriting failed cong list 9 cong list 10 cong list 11 stratego-shell: rewriting failed id term-arg 1 id term-arg 2 test 1 test 2 stratego-shell: rewriting failed test 3 as 1 as 2 dynrule counter 1 topdown try inc int add int add int gt int gt int stratego-shell: rewriting failed mul int swap tuple int-to-string explode-string Fst tuple Snd tuple sum of int list sum of int list inc int list 2 fetch elem 1 fetch 1 fetch 2 stratego-shell: rewriting failed conc concat union term-size collect-om 1 stratego concrete object syntax SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "<" Strategy ">" -> StrategyAngle { bracket } [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 183 col: 4] SdfChecker:warning: undeclared sort --- MetaVar [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 212 col: 24] SdfChecker:warning: undeclared sort --- TermListMetaVar [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 203 col: 4] SdfChecker:warning: undeclared sort --- TermMetaVar [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 202 col: 4] SdfChecker:warning: undeclared sort --- StratRule [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 131 col: 18] SdfChecker:warning: undeclared sort --- TermMetaVar [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 280 col: 12] SdfChecker:warning: undeclared sort --- TermListMetaVar [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 279 col: 12] SdfChecker:warning: undeclared sort --- MetaVar [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 278 col: 12] SdfChecker:warning: undeclared sort --- StrategoObject [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 1115 col: 22] SdfChecker:warning: undeclared sort --- StrategoHost [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 1114 col: 14] SdfChecker:error: start-symbol not defined by any production --- Module [[ StrategoHost ]] [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 1118 col: 29] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "<" Strategy ">" -> StrategyAngle { bracket } [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 1312 col: 5] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "<" Strategy ">" -> StrategyAngle { bracket } [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 506 col: 5] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" Type ")" -> ArgType { bracket } [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 1499 col: 4] SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X' --- "(" Type ")" -> ArgType { bracket } [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 693 col: 4] SdfChecker:warning: undeclared sort --- XtcCommand [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 58 col: 13] SdfChecker:warning: undeclared sort --- ConfigCommand [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 33 col: 4] SdfChecker:warning: undeclared sort --- HelpCommand [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 32 col: 4] SdfChecker:warning: undeclared sort --- ExitCommand [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 31 col: 4] SdfChecker:warning: undeclared sort --- AboutCommand [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 30 col: 4] SdfChecker:warning: undeclared sort --- StrategoHost [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 9 col: 14] SdfChecker:warning: symbol is not used anywhere --- StrategoShellId [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 96 col: 24] SdfChecker:warning: symbol is not used anywhere --- Mod [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 493 col: 50] SdfChecker:error: symbol is not defined by any production --- StrategoObject [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 1115 col: 22] SdfChecker:error: symbol is not defined by any production --- StrategoHost [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 1114 col: 14] SdfChecker:error: symbol is not defined by any production --- StratRule [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 131 col: 18] SdfChecker:error: symbol is not defined by any production --- StrategoWs [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 6 col: 14] SdfChecker:warning: undeclared sort --- StrategoWs [file: /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/StrategoXTSSnGJa line: 6 col: 14] SSH-1, reported by Arthur van Dam Matching error stratego-shell: rewriting failed SSL term-zip error external inc int external add int external add int external gt int external gt int stratego-shell: rewriting failed external mul int external swap tuple external int-to-string external explode-string external Fst tuple external Snd tuple external sum of int list external sum of int list external inc int list 2 external fetch elem 1 external fetch 1 external fetch 2 stratego-shell: rewriting failed external conc external concat external union external term-size external collect-om 1 match annotated literal 1 match annotated literal 2 match annotated literal 3 id preserves annotations (1) successes: 173 failures: 0 PASS: stratego-shell-test ================== All 1 tests passed ================== make[2]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests' make[1]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests' make[1]: Entering directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879' building all-local /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/bin/xtc -r /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC import /nix/store/8bg74qg91fhq13qwbq3rjf9ln39c7gbb-strategoxt-0.17M3pre17690-0ryq08iv/share/strategoxt/XTC Tools registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: Data registered in repository /private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stratego-shell.m4 make[1]: Leaving directory `/private/tmp/nix-build-7qims7gg1fgf71qw8l9vq9f3qrn99wjh-stratego-shell.drv-0/stratego-shell-0.7pre17879'