check flags:    
building check-recursive
Making check in libltdl
make[1]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-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-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/libltdl'
Making check in tools
make[1]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/tools'
building all-local
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-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-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:      
make[1]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/tools'
Making check in libstri
make[1]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/libstri'
building all-local
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:    
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-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-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/libstri'
Making check in interpreter
make[1]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/interpreter'
building all-local
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stri  stri-front 
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:      
make[1]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/interpreter'
Making check in shell
make[1]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell'
building check-recursive
Making check in libreadline
make[2]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-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-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:    
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:   stratego-readline.rtree libstratego-readline.rtree   
make[2]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/libreadline'
Making check in syn
make[2]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/syn'
building all-local
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:    
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-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-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/syn'
Making check in sig
make[2]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/sig'
building all-local
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:    
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:   StrategoShellScript.rtree StrategoShell.rtree errors.str   
make[2]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/sig'
Making check in main
make[2]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/main'
building all-local
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC: stratego-shell   
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:      
make[2]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell/main'
make[2]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell'
building all-local
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:    
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:      
make[2]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell'
make[1]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/shell'
Making check in tests
make[1]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
building all-local
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:    
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-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-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
building stratego-shell-test.c
/nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/bin/strc -I . -I /nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/share/xtc -I /nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/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] = [2.01s/0.17s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.09s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [2.30s/0.16s]
[ strc | info ] Compilation succeeded       : [user/system] = [4.40s/0.33s]
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/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/zxr64d4xkv5z2szadbx5956a85by1669-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/zxr64d4xkv5z2szadbx5956a85by1669-stratego-shell/share/stratego-shell/XTC\"" -g -O2 -bind_at_load  -o stratego-shell-test stratego-shell-test.o -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-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/zxr64d4xkv5z2szadbx5956a85by1669-stratego-shell/share/stratego-shell/XTC\" -g -O2 -bind_at_load -o stratego-shell-test stratego-shell-test.o  -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/lib /nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.dylib /nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.dylib /nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.dylib /nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.dylib -lm /nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib/libATerm.dylib -lreadline -ltermcap  
make[2]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
make  check-TESTS
make[2]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
building check-TESTS
Using XTC repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-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: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 183 col: 4]
SdfChecker:warning: undeclared sort
--- MetaVar [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 212 col: 24]
SdfChecker:warning: undeclared sort
--- TermListMetaVar [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 203 col: 4]
SdfChecker:warning: undeclared sort
--- TermMetaVar [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 202 col: 4]
SdfChecker:warning: undeclared sort
--- StratRule [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 131 col: 18]
SdfChecker:warning: undeclared sort
--- TermMetaVar [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 280 col: 12]
SdfChecker:warning: undeclared sort
--- TermListMetaVar [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 279 col: 12]
SdfChecker:warning: undeclared sort
--- MetaVar [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 278 col: 12]
SdfChecker:warning: undeclared sort
--- StrategoObject [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 1128 col: 22]
SdfChecker:warning: undeclared sort
--- StrategoHost [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 1127 col: 14]
SdfChecker:error: start-symbol not defined by any production
--- Module [[ StrategoHost ]] [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 1131 col: 29]
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 1329 col: 5]
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 512 col: 5]
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
--- "(" Type ")" -> ArgType { bracket } [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 1517 col: 4]
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
--- "(" Type ")" -> ArgType { bracket } [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 700 col: 4]
SdfChecker:warning: undeclared sort
--- XtcCommand [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 58 col: 13]
SdfChecker:warning: undeclared sort
--- ConfigCommand [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 33 col: 4]
SdfChecker:warning: undeclared sort
--- HelpCommand [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 32 col: 4]
SdfChecker:warning: undeclared sort
--- ExitCommand [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 31 col: 4]
SdfChecker:warning: undeclared sort
--- AboutCommand [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 30 col: 4]
SdfChecker:warning: undeclared sort
--- StrategoHost [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 9 col: 14]
SdfChecker:warning: symbol is not used anywhere
--- StrategoShellId [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 96 col: 24]
SdfChecker:error: symbol is not defined by any production
--- StrategoObject [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 1128 col: 22]
SdfChecker:error: symbol is not defined by any production
--- StrategoHost [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 1127 col: 14]
SdfChecker:error: symbol is not defined by any production
--- StratRule [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 131 col: 18]
SdfChecker:error: symbol is not defined by any production
--- StrategoWs [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa line: 6 col: 14]
SdfChecker:warning: undeclared sort
--- StrategoWs [file: /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/StrategoXTYQavEa 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-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
make[1]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/tests'
make[1]: Entering directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879'
building all-local
/nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc -r /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC import /nix/store/xyqdgahq4k1byibbz480ndbmn9nv6kx7-strategoxt-0.17pre18253-i9sd1ni4/share/strategoxt/XTC
Tools registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:    
Data registered in repository /private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879/BUILDTIME_XTC:   stratego-shell.m4   
make[1]: Leaving directory `/private/tmp/nix-build-101964am1pj0xb0kyyv6sc68w95s16r1-stratego-shell.drv-0/stratego-shell-0.7pre17879'