check flags: -
+-
building check-recursive
-
Making check in libltdl
-
+-
make[1]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/libltdl'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/libltdl'
-
Making check in tools
-
+-
make[1]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/tools'
-
+-
building all-local
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: auto-stratego-shell stri-primitives stri-invoke-native
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/tools'
-
Making check in libstri
-
+-
make[1]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/libstri'
-
+-
building all-local
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-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 `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/libstri'
-
Making check in interpreter
-
+-
make[1]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/interpreter'
-
+-
building all-local
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stri stri-front
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/interpreter'
-
Making check in shell
-
+-
make[1]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell'
-
+-
building check-recursive
-
Making check in libreadline
-
+-
make[2]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-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 /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stratego-readline.rtree libstratego-readline.rtree
-
make[2]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/libreadline'
-
Making check in syn
-
+-
make[2]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/syn'
-
+-
building all-local
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-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 `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/syn'
-
Making check in sig
-
+-
make[2]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/sig'
-
+-
building all-local
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: StrategoShellScript.rtree StrategoShell.rtree errors.str
-
make[2]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/sig'
-
Making check in main
-
+-
make[2]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/main'
-
+-
building all-local
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stratego-shell
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/main'
-
+-
make[2]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell'
-
+-
building all-local
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell'
-
make[1]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell'
-
Making check in tests
-
+-
make[1]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
-
+-
building all-local
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-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 `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
-
+-
building stratego-shell-test.c
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I . -I /...-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -I /...-strategoxt-0.17pre18269-a0f0wy0j/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.29s/0.00s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.08s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [1.47s/0.02s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.84s/0.02s]
-
+-
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/...-strategoxt-0.17pre18269-a0f0wy0j/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18269-a0f0wy0j/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-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="\"/...-stratego-shell/share/stratego-shell/XTC\"" -g -O2 -o stratego-shell-test stratego-shell-test.o -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17pre18269-a0f0wy0j/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18269-a0f0wy0j/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18269-a0f0wy0j/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -lreadline -lncurses -lncurses
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-stratego-shell/share/stratego-shell/XTC\" -g -O2 -o stratego-shell-test stratego-shell-test.o -L/...-aterm-2.5pre21238-26ra85lr/lib -L/...-strategoxt-0.17pre18269-a0f0wy0j/lib /...-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /...-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /...-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -lreadline -lncurses -Wl,--rpath -Wl,/...-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
make[2]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
-
make check-TESTS
-
+-
make[2]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
-
+-
building check-TESTS
-
Using XTC repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-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 <martin@cs.uu.nl>
-
* Interpreter: Martin Bravenboer and Eelco Visser <martin|visser@cs.uu.nl>
-
* Stratego Logo in ASCII: Arthur van Dam
-
-
Bug reports:
-
* stratego@cs.uu.nl
-
-
License:
-
Copyright (C) 2002-2006 Stratego Software Foundation <stratego-dev@cs.uu.nl>
-
-
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: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 183 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MetaVar [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 212 col: 24]
-
SdfChecker:warning: undeclared sort
-
--- TermListMetaVar [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 203 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- TermMetaVar [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 202 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- StratRule [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 131 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- TermMetaVar [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 280 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- TermListMetaVar [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 279 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- MetaVar [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 278 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- StrategoObject [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 1128 col: 22]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 1127 col: 14]
-
SdfChecker:error: start-symbol not defined by any production
-
--- Module [[ StrategoHost ]] [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 1131 col: 29]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 1329 col: 5]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 512 col: 5]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 1517 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 700 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- XtcCommand [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 58 col: 13]
-
SdfChecker:warning: undeclared sort
-
--- ConfigCommand [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 33 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- HelpCommand [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 32 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- ExitCommand [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 31 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- AboutCommand [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 30 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 9 col: 14]
-
SdfChecker:warning: symbol is not used anywhere
-
--- StrategoShellId [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 96 col: 24]
-
SdfChecker:error: symbol is not defined by any production
-
--- StrategoObject [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 1128 col: 22]
-
SdfChecker:error: symbol is not defined by any production
-
--- StrategoHost [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 1127 col: 14]
-
SdfChecker:error: symbol is not defined by any production
-
--- StratRule [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 131 col: 18]
-
SdfChecker:error: symbol is not defined by any production
-
--- StrategoWs [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b line: 6 col: 14]
-
SdfChecker:warning: undeclared sort
-
--- StrategoWs [file: /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/StrategoXTjBbw9b 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 `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
-
make[1]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
-
+-
make[1]: Entering directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879'
-
+-
building all-local
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC import /...-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC
-
Tools registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stratego-shell.m4
-
make[1]: Leaving directory `/tmp/nix-build-6ljgbifbqpn398j0h1qys8y25vj0qb3z-stratego-shell.drv-0/stratego-shell-0.7pre17879'