Log File

make flags:
building all-recursive
- Making all in src
- make[1]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/src'
  - building examples.tar.gz
    
    mkdir -p examples
    
    cp -fr til examples
    
    tar zcf examples.tar.gz examples
  - building all
    
    cd til && ./maak
    
    === Making syn ========================================
    
    including ./TIL.sdf
    
    including ./TIL-layout.sdf
    
    including ./TIL-literals.sdf
    
    including ./TIL-expressions.sdf
    
    including ./TIL-statements.sdf
    
    including ./TIL-types.sdf
    
    including ./TIL-calls.sdf
    
    SdfChecker:error: Main module not defined
    
    --- Main
    
    === Making sig ========================================
    
    SdfChecker:error: Main module not defined
    
    --- Main
    
    === Making pp ========================================
    
    [ sdf2parenthesize | info ] SDF main module is TIL
    
    [ sdf2parenthesize | info ] Name of output module is til-parenthesize
    
    [ sdf2parenthesize | info ] Main strategy is io-til-parenthesize
    
    [ sdf2parenthesize | info ] Name of signature module is TIL
    
    [ sdf2parenthesize | info ] Language name is TIL
    
    [ sdf2parenthesize | info ] Name of parenthesize rules is TILParenthesize
    
    SdfChecker:error: Main module not defined
    
    --- Main
    
    [ strc | info ] Compiling 'til-parenthesize.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.71s/0.02s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.03s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.31s/0.02s]
    
    mkdir .libs
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-parenthesize.c -fPIC -DPIC -o .libs/til-parenthesize.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-parenthesize.c -o til-parenthesize.o >/dev/null 2>&1
    
    gcc .libs/til-parenthesize.o -o til-parenthesize -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.55s/0.20s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.60s/0.24s]
    
    === Making sim ========================================
    
    [ strc | info ] Compiling 'til-simplify.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.73s/0.07s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.32s/0.01s]
    
    mkdir .libs
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-simplify.c -fPIC -DPIC -o .libs/til-simplify.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-simplify.c -o til-simplify.o >/dev/null 2>&1
    
    gcc .libs/til-simplify.o -o til-simplify -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.42s/0.16s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.49s/0.24s]
    
    === Making renaming ========================================
    
    [ strc | info ] Compiling 'til-rename-vars.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.65s/0.04s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.21s/0.01s]
    
    mkdir .libs
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-rename-vars.c -fPIC -DPIC -o .libs/til-rename-vars.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-rename-vars.c -o til-rename-vars.o >/dev/null 2>&1
    
    gcc .libs/til-rename-vars.o -o til-rename-vars -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.31s/0.17s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.17s/0.22s]
    
    === Making run ========================================
    
    [ strc | info ] Compiling 'til-run.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.79s/0.04s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.43s/0.01s]
    
    mkdir .libs
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-run.c -fPIC -DPIC -o .libs/til-run.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-run.c -o til-run.o >/dev/null 2>&1
    
    gcc .libs/til-run.o -o til-run -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.48s/0.18s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.71s/0.23s]
    
    === Making opt ========================================
    
    [ strc | info ] Compiling 'til-forward-subst.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.82s/0.04s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.44s/0.04s]
    
    mkdir .libs
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-forward-subst.c -fPIC -DPIC -o .libs/til-forward-subst.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-forward-subst.c -o til-forward-subst.o >/dev/null 2>&1
    
    gcc .libs/til-forward-subst.o -o til-forward-subst -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.46s/0.19s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.73s/0.27s]
    
    [ strc | info ] Compiling 'til-dce.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.84s/0.02s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.33s/0.02s]
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-dce.c -fPIC -DPIC -o .libs/til-dce.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-dce.c -o til-dce.o >/dev/null 2>&1
    
    gcc .libs/til-dce.o -o til-dce -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.40s/0.20s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.58s/0.24s]
    
    [ strc | info ] Compiling 'til-cse.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.82s/0.03s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.38s/0.00s]
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-cse.c -fPIC -DPIC -o .libs/til-cse.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-cse.c -o til-cse.o >/dev/null 2>&1
    
    gcc .libs/til-cse.o -o til-cse -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.41s/0.19s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.61s/0.22s]
    
    [ strc | info ] Compiling 'til-copyprop.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.78s/0.06s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.40s/0.00s]
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-copyprop.c -fPIC -DPIC -o .libs/til-copyprop.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-copyprop.c -o til-copyprop.o >/dev/null 2>&1
    
    gcc .libs/til-copyprop.o -o til-copyprop -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.44s/0.16s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.62s/0.22s]
    
    [ strc | info ] Compiling 'til-copyprop-rev.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.81s/0.04s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.38s/0.01s]
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-copyprop-rev.c -fPIC -DPIC -o .libs/til-copyprop-rev.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-copyprop-rev.c -o til-copyprop-rev.o >/dev/null 2>&1
    
    gcc .libs/til-copyprop-rev.o -o til-copyprop-rev -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.41s/0.19s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.60s/0.24s]
    
    [ strc | info ] Compiling 'til-propconst.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.80s/0.04s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.36s/0.00s]
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-propconst.c -fPIC -DPIC -o .libs/til-propconst.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-propconst.c -o til-propconst.o >/dev/null 2>&1
    
    gcc .libs/til-propconst.o -o til-propconst -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.40s/0.17s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.57s/0.21s]
    
    === Making til-eblock ========================================
    
    including ./TIL-eblocks.sdf
    
    including ../syn/TIL.sdf
    
    including ../syn/TIL-layout.sdf
    
    including ../syn/TIL-literals.sdf
    
    including ../syn/TIL-expressions.sdf
    
    including ../syn/TIL-statements.sdf
    
    including ../syn/TIL-types.sdf
    
    including ../syn/TIL-calls.sdf
    
    SdfChecker:error: Main module not defined
    
    --- Main
    
    SdfChecker:error: Main module not defined
    
    --- Main
    
    [ sdf2parenthesize | info ] SDF main module is TIL-eblocks
    
    [ sdf2parenthesize | info ] Name of output module is til-eblocks-parenthesize
    
    [ sdf2parenthesize | info ] Main strategy is io-til-eblocks-parenthesize
    
    [ sdf2parenthesize | info ] Name of signature module is TIL-eblocks
    
    [ sdf2parenthesize | info ] Language name is TIL-eblocks
    
    [ sdf2parenthesize | info ] Name of parenthesize rules is TIL-eblocksParenthesize
    
    SdfChecker:error: Main module not defined
    
    --- Main
    
    [ strc | info ] Compiling 'til-eblocks-parenthesize.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.68s/0.01s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.31s/0.00s]
    
    mkdir .libs
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-eblocks-parenthesize.c -fPIC -DPIC -o .libs/til-eblocks-parenthesize.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-eblocks-parenthesize.c -o til-eblocks-parenthesize.o >/dev/null 2>&1
    
    gcc .libs/til-eblocks-parenthesize.o -o til-eblocks-parenthesize -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.58s/0.20s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.59s/0.22s]
    
    [ strc | info ] Compiling 'til-eblock-desugar.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.76s/0.04s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.44s/0.00s]
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-eblock-desugar.c -fPIC -DPIC -o .libs/til-eblock-desugar.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-eblock-desugar.c -o til-eblock-desugar.o >/dev/null 2>&1
    
    gcc .libs/til-eblock-desugar.o -o til-eblock-desugar -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.44s/0.16s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.66s/0.20s]
    
    === Making tc ========================================
    
    [ strc | info ] Compiling 'til-typecheck.str'
    
    [ strc | info ] Front-end succeeded : [user/system] = [0.82s/0.09s]
    
    [ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.47s/0.00s]
    
    mkdir .libs
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-typecheck.c -fPIC -DPIC -o .libs/til-typecheck.o
    
    gcc -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/include/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-typecheck.c -o til-typecheck.o >/dev/null 2>&1
    
    gcc .libs/til-typecheck.o -o til-typecheck -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so/...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/zsjbk58zsrcc3ldsf6dvdhcqn3h7r7s9-strategoxt-0.17M3pre17690-0ryq08iv/lib/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    [ strc | info ] C compilation succeeded : [user/system] = [0.52s/0.19s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [1.83s/0.28s]
    
    === Making xmpl ========================================
    
    + ./parse-test
    
    + ./parse-test2
    
    + ./pp-test1
    
    + ./pp-test2
    
    + ./pp-test3
    
    + ./fc-test1
    
    Program([Declaration("n"),Assign("n",FunCall("readint",[])),Declaration("x"),Declaration("fact"),Assign("fact",Int("1")),For("x",Int("1"),Var("n"),[Assign("fact",Mul(Var("x"),Var("fact")))]),ProcCall("write",[String("\"factorial of \"")]),ProcCall("writeint",[Var("n")]),ProcCall("write",[String("\" is \"")]),ProcCall("writeint",[Var("fact")]),ProcCall("write",[String("\"\\n\"")])])
    
    + ./fc-test2
    
    + echo ok
    
    ok
    
    + ./simplify-test
    
    Program([DeclarationTyped("n",TypeName("int")),Assign("n",FunCall("string2int",[FunCall("read",[])])),DeclarationTyped("x",TypeName("int")),DeclarationTyped("fact",TypeName("int")),Assign("fact",Int("1")),Block([DeclarationTyped("a_0",TypeName("int")),Assign("x",Int("1")),Assign("a_0",Var("n")),While(Leq(Var("x"),Var("a_0")),[Assign("fact",Mul(Var("x"),Var("fact"))),Assign("x",Add(Var("x"),Int("1")))])]),ProcCall("write",[String("\"factorial of \"")]),ProcCall("write",[FunCall("int2string",[Var("n")])]),ProcCall("write",[String("\" is \"")]),ProcCall("write",[FunCall("int2string",[Var("fact")])]),ProcCall("write",[String("\"\\n\"")])])
    
    + ./run-test1
    
    + ./propconst-test2
    
    + ./copyprop-test2
    
    + ./cse-test2
    
    + ./dce-test2
    
    + ./eblock-desugar-test2
    
    #! /bin/sh -v
    
    sglri -p ../til-eblock/TIL-eblocks.tbl -i eblock-desugar-test2.til |\
    
    ../sim/til-simplify |\
    
    ../renaming/til-rename-vars |\
    
    ../til-eblock/til-eblock-desugar -o eblock-desugar-test2.des.til
    
    ast2text -p ../pp/TIL-pretty.pp \
    
    -i eblock-desugar-test2.des.til \
    
    -o eblock-desugar-test2.txt
    
    ../opt/til-copyprop-rev -i eblock-desugar-test2.des.til |\
    
    ../opt/til-forward-subst |\
    
    ../opt/til-copyprop |\
    
    ../opt/til-propconst |\
    
    ../opt/til-dce |\
    
    ast2text -p ../pp/TIL-pretty.pp -o eblock-desugar-test2.cp.txt
    
    + ./rename-test
    
    + ./typecheck-test1
    
    make examples-full.tar.gz
    
    make[2]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/src'
    
    building examples-full.tar.gz
    
    mkdir -p examples-full
    
    cp -fr til examples-full
    
    tar zcf examples-full.tar.gz examples-full
    
    make[2]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/src'
  - make[1]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/src'
- Making all in doc
- make[1]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/doc'
  - building book.xml-inc1
    xmllint --xinclude --output book.xml-inc1 book.xml
  - building book.xml-exp
    
    xsltproc --output book.xml-exp ../xslt/macros.xsl book.xml-inc1
    
    ../xslt/macros.xsl:14: validity error : xml:id : attribute value {@id} is not an NCName
    
    <figure xml:id="{@id}">
    
    ^
  - building book.xml-inc2
    xmllint --xinclude --output book.xml-inc2 book.xml-exp
  - building book.docbook
    
    jing -i /nix/store/1ly7yc1vnmn1h0marvbnffz07zqjkkm5-docbook5-5.0/xml/rng/docbook/docbook.rng/...-docbook5-5.0/xml/rng/docbook/docbook.rng book.xml-inc2
    
    cp book.xml-inc2 book.docbook
  - rm book.xml-inc1 book.xml-inc2 book.xml-exp
  - make[1]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/doc'
- Making all in svg
- make[1]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/svg'
  - make[1]: Nothing to be done for `all'.
  - make[1]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/svg'
- Making all in html
- make[1]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html'
  - building all-recursive
    
    Making all in chunk-chapter
    
    make[2]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html/chunk-chapter'
    
    building index.html
    
    if test "true" = "true"; then \� xsltproc --param html.stylesheet \'style.css\' --param use.id.as.filename \'1\' --param chunk.chapter \'1\' --param chunk.part \'1\' --param chunk.book \'1\' --param chunk.section.depth \'0\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --param keep.relative.image.uris 0 --output index.html --path /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/...-docbook-xsl-1.72.0/xml/xsl/docbook/html ../../xslt/chunk/flexchunk.xsl ../../doc/book.docbook ; \� else \� xsltproc --param html.stylesheet \'style.css\' --param use.id.as.filename \'1\' --param chunk.chapter \'1\' --param chunk.part \'1\' --param chunk.book \'1\' --param chunk.section.depth \'0\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --param keep.relative.image.uris 0 --output index.html /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl/...-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl ../../doc/book.docbook ; \� fi
    
    Stripping namespace from DocBook 5 document.
    
    WARNING: cannot add @xml:base to node set root element. Relative paths may not work.
    
    Processing stripped document.
    
    ID recommended on section: What is Software Transformation?
    
    ID recommended on section: What is Stratego/XT?
    
    ID recommended on section: Outline
    
    Writing tutorial-software-transformation-systems.html for chapter(tutorial-software-transformation-systems)
    
    ID recommended on section: What do I Need?
    
    ID recommended on section: Instructions
    
    ID recommended on section: Using Source Distributions
    
    ID recommended on section: Installation of aterm and sdf2-bundle
    
    ID recommended on section: Installation of Stratego/XT
    
    ID recommended on section: Installation of Stratego Shell, Java Fro...
    
    ID recommended on section: Using Binary RPMs
    
    ID recommended on section: Using the Nix Deployment System
    
    Writing installation.html for chapter(installation)
    
    Writing tutorial-introduction.html for part(tutorial-introduction)
    
    ID recommended on section: Tools as Transformation Components
    
    ID recommended on section: Grammar Oriented
    
    ID recommended on section: Being on Good Terms with Trees
    
    Writing xt-architecture.html for chapter(xt-architecture)
    
    ID recommended on section: Annotated Term Format
    
    ID recommended on section: Inspecting Terms
    
    ID recommended on section: Maximal Sharing (*)
    
    ID recommended on section: Exchange Format
    
    ID recommended on section: ATerm Library
    
    Writing tutorial-aterms.html for chapter(tutorial-aterms)
    
    ID recommended on section: Context-free Grammars
    
    ID recommended on section: Abstract Syntax Trees
    
    ID recommended on section: From Concepts to Practice: Generating a ...
    
    ID recommended on section: From Modules to Definition
    
    ID recommended on section: Generating a Parser
    
    ID recommended on section: Invoking the Parser
    
    Writing tutorial-parsing.html for chapter(tutorial-parsing)
    
    ID recommended on section: SDF: The Basics
    
    ID recommended on section: Modules
    
    ID recommended on section: Start Symbols
    
    ID recommended on section: Sorts
    
    ID recommended on section: Syntax
    
    ID recommended on section: Disambiguation
    
    ID recommended on section: Syntax
    
    ID recommended on section: Lexical and Context-free Syntax
    
    ID recommended on section: Productions, Sorts, and Symbols
    
    ID recommended on section: Symbols and Regular Expressions
    
    ERROR: xref linking to section-sdf-literals has no generated link text.
    
    Error: no ID for constraint linkend: section-sdf-literals.
    
    ID recommended on example: Examples of Character Classes
    
    ID recommended on section: Simple Whitespace
    
    ID recommended on section: Reserving Keywords
    
    ID recommended on section: Longest Match
    
    ID recommended on section: Keywords
    
    ID recommended on section: Integer Literals
    
    ID recommended on section: Floating-Point Literals
    
    ID recommended on section: Comments
    
    ID recommended on section: End-of-line Comment
    
    ID recommended on section: Traditional Block Comment
    
    ID recommended on section: Balanced Block Comments
    
    ID recommended on section: Examples: Defining Context-Free Syntax
    
    ID recommended on section: Expressions
    
    ID recommended on section: Constructor Attributes and Abstract Synt...
    
    ID recommended on section: Ambiguities in Expressions
    
    ID recommended on section: Associativity and Priorities
    
    ID recommended on section: Group Associativity
    
    ID recommended on section: Priorities and Hedged Symbols
    
    ID recommended on section: Array Creation and Access Ambiguity
    
    ID recommended on section: Statements
    
    ID recommended on section: Dangling Else
    
    ID recommended on section: Whitespace and Comments
    
    ID recommended on section: Usage example
    
    ID recommended on section: Syntax Definition
    
    ID recommended on section: Parse Testsuite
    
    ID recommended on section: Running the Parse Testsuite
    
    ID recommended on section: Parse Testsuite Syntax
    
    ID recommended on section: Debugging Support
    
    ID recommended on section: Invocation in Automake
    
    Writing tutorial-sdf.html for chapter(tutorial-sdf)
    
    ID recommended on chapter: Advanced Topics in Syntax Definition (*)
    
    ID recommended on section: Combining Languages
    
    ID recommended on section: Advanced Module Features
    
    ID recommended on section: Renaming Symbols
    
    ID recommended on section: Parameterized Modules
    
    ID recommended on example: Parameterized Module for Regular Express...
    
    ID recommended on section: Hiding Grammars
    
    ID recommended on section: Context-sensitive Lexical Syntax
    
    ID recommended on section: Explicit versus Implicit Ambiguities
    
    ID recommended on section: Performance Tips and Tricks
    
    Writing bk01pt02ch07.html for chapter
    
    ID recommended on section: Regular Tree Grammars
    
    ID recommended on section: Generating Code from an RTG
    
    ID recommended on section: Creating a Subset of a Regular Tree Gram...
    
    ID recommended on section: Introduction
    
    ID recommended on section: Example
    
    ID recommended on section: Signatures (todo: imported)
    
    ERROR: xref linking to Fig-Expressions.sdf has no generated link text.
    
    Error: no ID for constraint linkend: Fig-Expressions.sdf.
    
    ID recommended on section: Signature Tools (todo: imported)
    
    Writing tutorial-rtg.html for chapter(tutorial-rtg)
    
    ID recommended on section: Pretty-Print Table Generation
    
    ID recommended on section: Rule Selectors
    
    ID recommended on section: Examples
    
    ID recommended on section: Restoring Parenthesis
    
    ID recommended on section: Pretty Printing using Stratego
    
    ID recommended on section: Pretty-Printing (todo: imported)
    
    ID recommended on section: Unparsing
    
    ID recommended on section: Pretty-Printing
    
    ID recommended on figure:
    
    Pretty-printing of if-then-else s...
    
    ID recommended on section: Disambiguation
    
    ID recommended on section: Pretty-Printing and Term Visualization T...
    
    Writing generic-pretty-printing.html for chapter(generic-pretty-printing)
    
    Writing tutorial-xt.html for part(tutorial-xt)
    
    ID recommended on partintro: Introduction
    
    ID recommended on section: Annotated Term Format
    
    ID recommended on section: Exchanging Terms
    
    ID recommended on section: Inspecting Terms
    
    ID recommended on section: Signatures
    
    Writing stratego-terms.html for chapter(stratego-terms)
    
    ID recommended on section: Compiling Stratego Programs
    
    ID recommended on section: Combining Transformations
    
    ID recommended on section: Summary
    
    Writing running-stratego-programs.html for chapter(running-stratego-programs)
    
    ID recommended on section: Transformation with Rewrite Rules
    
    ID recommended on section: Adding Rules to a Rewrite System
    
    ID recommended on section: Summary
    
    Writing stratego-term-rewriting.html for chapter(stratego-term-rewriting)
    
    ID recommended on section: Limitations of Term Rewriting
    
    ID recommended on section: Attempt 1: Remodularization
    
    ID recommended on section: Attempt 2: Functionalization
    
    ID recommended on section: Programmable Rewriting Strategies
    
    ID recommended on section: Idioms of Strategic Rewriting
    
    ID recommended on section: Cascading Transformations
    
    ID recommended on section: One-pass Traversals
    
    ID recommended on section: Staged Transformations
    
    ID recommended on section: Local Transformations
    
    ID recommended on section: Summary
    
    Writing stratego-rewriting-strategies.html for chapter(stratego-rewriting-strategies)
    
    ID recommended on section: What is a Rule?
    
    ID recommended on section: What is a Strategy?
    
    ID recommended on section: Strategy Definitions
    
    ID recommended on section: Simple Strategy Definition and Call
    
    ID recommended on section: Parameterized Definitions
    
    ID recommended on section: Local Definitions
    
    ID recommended on section: Extending Definitions
    
    ID recommended on section: Calling Primitives
    
    ID recommended on section: External Definitions
    
    ID recommended on section: Dynamic Calls
    
    ID recommended on section: Summary
    
    Writing rules-and-strategies.html for chapter(rules-and-strategies)
    
    ID recommended on section: Non-deterministic Choice
    
    ID recommended on section: Recursion
    
    ID recommended on section: Summary
    
    Writing stratego-strategy-combinators.html for chapter(stratego-strategy-combinators)
    
    ID recommended on section: Implementing Rewrite Rules
    
    ID recommended on section: Anonymous Rewrite Rule
    
    ID recommended on section: Term variable scope
    
    ID recommended on section: Implicit Variable Scope
    
    ID recommended on section: Where
    
    ID recommended on section: Conditional rewrite rule
    
    ID recommended on section: Lambda Rules
    
    ID recommended on section: Apply and Match
    
    ID recommended on section: Wrap and Project
    
    ID recommended on section: Term Wrap
    
    ID recommended on section: Term Project
    
    ID recommended on section: Summary
    
    Writing stratego-creating-and-analyzing-terms.html for chapter(stratego-creating-and-analyzing-terms)
    
    ID recommended on section: Traversal Rules
    
    ID recommended on section: Congruence Operators
    
    ID recommended on section: Generic Traversal
    
    ID recommended on section: Visiting All Subterms
    
    ID recommended on section: Visiting One Subterm
    
    ID recommended on section: Visiting Some Subterms
    
    ID recommended on section: Full Traversals
    
    ID recommended on section: Cascading Transformations
    
    ID recommended on section: Mixing Generic and Specific Traversals
    
    ID recommended on section: Partial Traversals
    
    ID recommended on section: Path (*)
    
    ID recommended on section: Recursive Patterns (*)
    
    ID recommended on section: Dynamic programming (*)
    
    ID recommended on section: Summary
    
    Writing stratego-traversal-strategies.html for chapter(stratego-traversal-strategies)
    
    ID recommended on section: Type Unifying List Transformations
    
    ID recommended on section: Extending Fold to Expressions
    
    ID recommended on section: Generic Term Deconstruction
    
    ID recommended on section: Generic Term Construction
    
    ID recommended on section: Summary
    
    Writing stratego-type-unifying-strategies.html for chapter(stratego-type-unifying-strategies)
    
    ID recommended on section: Instrumenting Programs
    
    ID recommended on section: Observations about Concrete Syntax Speci...
    
    ID recommended on section: Implementation
    
    ID recommended on section: Extending the Meta Language
    
    ID recommended on section: Meta-Variables
    
    ID recommended on section: Meta-Explode
    
    ID recommended on section: Discussion
    
    ID recommended on section: Summary
    
    Writing stratego-concrete-syntax.html for chapter(stratego-concrete-syntax)
    
    Writing stratego-dynamic-rules.html for chapter(stratego-dynamic-rules)
    
    Writing stratego-language.html for part(stratego-language)
    
    ID recommended on section: Anatomy of the Stratego Library
    
    ID recommended on section: Basic Operations
    
    ID recommended on section: Number comparisons
    
    ID recommended on section: Other Operations
    
    ID recommended on section: Random Numbers
    
    ID recommended on section: Summary
    
    Writing library-arithmetic.html for chapter(library-arithmetic)
    
    ID recommended on section: Making heads and tails of it
    
    ID recommended on section:
    
    Sorting
    
    ID recommended on section:
    
    Associative Lists
    
    ID recommended on section:
    
    Pairing Lists
    
    ID recommended on section:
    
    Lightweight Sets
    
    ID recommended on section: Transforming Lists
    
    ID recommended on section: Folding from the Left and Right
    
    ID recommended on section: Summary
    
    Writing library-lists.html for chapter(library-lists)
    
    ID recommended on section: Basic String Operations
    
    ID recommended on section: Sorting Strings
    
    ID recommended on section: Strings and Terms
    
    ID recommended on section: Strings and Numbers
    
    Writing library-strings.html for chapter(library-strings)
    
    ID recommended on chapter: Hashtables and Sets
    
    ID recommended on section:
    
    Hashtables
    
    ID recommended on section:
    
    Indexed Sets
    
    Writing bk01pt04ch24.html for chapter
    
    ID recommended on section: Console I/O
    
    ID recommended on section: Path and Directory Operations
    
    ID recommended on section: File and Text I/O
    
    ID recommended on section: Term I/O
    
    ID recommended on section: Logging
    
    Writing library-io.html for chapter(library-io)
    
    ID recommended on section: Parsing Command-line Options
    
    ID recommended on section: Adding Custom Options
    
    ID recommended on section: Setting Description and About
    
    ID recommended on section: I/O-less Programs
    
    Writing library-options.html for chapter(library-options)
    
    ID recommended on section: Setting up a test suite
    
    ID recommended on section: Compare expected and actual output
    
    ID recommended on section: Check for failure
    
    ID recommended on section: Check arbitrary conditions on output
    
    ID recommended on section: Unit testing with XTC
    
    Writing stratego-unit-testing.html for chapter(stratego-unit-testing)
    
    ID recommended on section: Basic Mechanisms of XTC
    
    ID recommended on section: Registration of Programs and Data
    
    ID recommended on section: Importing other Repositories
    
    ID recommended on section: Searching Repositories
    
    ID recommended on section: Composing Tools in Stratego
    
    ID recommended on section: Making an XT component
    
    ID recommended on section: Invoking XT components
    
    ID recommended on section: Summary
    
    Writing xtc.html for chapter(xtc)
    
    ID recommended on section: Building stand-alone artifacts
    
    ID recommended on section: Static linking
    
    ID recommended on section: Setting up your Project
    
    ID recommended on section: Building Stand-alone Stratego Applicatio...
    
    ID recommended on section: Building Parse Tables, Tree Grammars and...
    
    ID recommended on section: Building Your Own Stratego Library
    
    ID recommended on section: Compiling the Library
    
    ID recommended on section: Using Your Library in Stratego Programs
    
    ID recommended on section: Package Config Support
    
    ID recommended on section: RPM Support
    
    ID recommended on section: Summary
    
    Writing library-building.html for chapter(library-building)
    
    ID recommended on section: Debugging Stratego
    
    ID recommended on section: Writing readable code
    
    ID recommended on section: Debugging Stratego code
    
    ID recommended on section: Common Pitfalls
    
    ID recommended on section: Debugging XT compositions
    
    ID recommended on section: Debugging SDF definitions
    
    Writing library-debugging.html for chapter(library-debugging)
    
    Writing stratego-library.html for part(stratego-library)
    
    Writing tutorial.html for book(tutorial)
    
    ID recommended on chapter: Introduction
    
    ID recommended on section: Software Transformations
    
    ID recommended on section: TIL: A Tiny Imperative Language
    
    ID recommended on section: BibTeX Transformations
    
    ID recommended on section: Tiger
    
    ID recommended on section: Other Applications
    
    Writing bk02ch01.html for chapter
    
    ID recommended on sect1: TIL: a Tiny Imperative Language
    
    ID recommended on sect1: Syntax Definition
    
    ID recommended on sect2: Modules
    
    ID recommended on sect3: Layout
    
    Error: no ID for constraint linkend: ref-sdf-character-classes.
    
    Error: no ID for constraint linkend: ref-sdf-follow-restriction.
    
    ID recommended on sect3: Literals
    
    Error: no ID for constraint linkend: ref-sdf-character-classes.
    
    Error: no ID for constraint linkend: ref-sdf-regular-expressions.
    
    ID recommended on sect3: Expressions
    
    Error: no ID for constraint linkend: ref-sdf-associativity.
    
    Error: no ID for constraint linkend: ref-sdf-priority.
    
    ID recommended on sect3: Statements
    
    ID recommended on sect3: Function and Procedure Calls
    
    ID recommended on sect3: Programs
    
    ID recommended on sect2: Parse Table Generation
    
    ID recommended on sect1: Term Format
    
    Error: no ID for constraint linkend: ref-aterms.
    
    ID recommended on sect2: Regular Tree Grammars
    
    ID recommended on sect2: Signatures
    
    ID recommended on sect2: Format Checking
    
    ID recommended on sect1: Pretty-Printing
    
    ID recommended on sect2: Pretty-Print Table
    
    ID recommended on sect2: Applying Pretty-Print Tables
    
    ID recommended on sect2: Adapting the Pretty-Print Table
    
    ID recommended on sect2: Restoring Parentheses
    
    ID recommended on sect1: A Complete Pipeline
    
    Writing demo-sdf.html for chapter(demo-sdf)
    
    ID recommended on sect1: Constant Folding Rules
    
    ID recommended on sect1: Desugaring Rules
    
    ID recommended on sect1: Simplying by Term Rewriting
    
    ID recommended on sect1: Compiling the Simplifier
    
    ID recommended on sect1: Applying the Simplifier
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    Writing demo-rewriting.html for chapter(demo-rewriting)
    
    ID recommended on chapter: Bound Variable Renaming (*)
    
    ID recommended on sect1: Renaming Bound Variables
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    Writing bk02pt01ch04.html for chapter
    
    ID recommended on chapter: Typechecking (*)
    
    ID recommended on sect1: Typechecking
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    Writing bk02pt01ch05.html for chapter
    
    ID recommended on chapter: Interpretation
    
    ID recommended on sect1: Evaluating Expressions
    
    ID recommended on sect1: Evaluating Variable Accesses
    
    ID recommended on sect1: Evaluating Statements
    
    ID recommended on sect1: The Complete Interpreter
    
    ID recommended on sect1: Running TIL Programs
    
    Writing bk02pt01ch06.html for chapter
    
    ID recommended on chapter: Data-flow Transformation (*)
    
    ID recommended on sect1: Preliminaries
    
    ID recommended on sect1: Constant Propagation
    
    ID recommended on table: files: til/xmpl/propconst-test2.til, til...
    
    ID recommended on sect1: Copy Propagation
    
    ID recommended on table: files: til/xmpl/copyprop-test2.til, til/...
    
    ID recommended on sect1: Reverse Copy Propagation
    
    ID recommended on sect1: Common-subexpression Elimination
    
    ID recommended on table: files: til/xmpl/cse-test2.til, til/xmpl/...
    
    ID recommended on sect1: Forward Substitution
    
    ID recommended on sect1: Dead Code Elimination
    
    ID recommended on table: files: til/xmpl/dce-test2.til, til/xmpl/...
    
    ID recommended on sect1: Compiling the Transformations
    
    Writing bk02pt01ch07.html for chapter
    
    ID recommended on chapter: Typestate Checking
    
    Writing bk02pt01ch08.html for chapter
    
    ID recommended on chapter: Expression Blocks (*)
    
    ID recommended on sect1: Syntax of Expression Blocks
    
    ID recommended on sect1: Desugaring Expression Blocks
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/eblock-desugar-test2.til...
    
    ID recommended on table: files: til/xmpl/eblock-desugar-test2.txt...
    
    Writing bk02pt01ch09.html for chapter
    
    Writing tutorial-til.html for part(tutorial-til)
    
    ID recommended on partintro: Work in Progress
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    Writing tiger-base.html for chapter(tiger-base)
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    Writing bibtex-tools.html for chapter(bibtex-tools)
    
    Writing tutorial-bibtex.html for part(tutorial-bibtex)
    
    Writing examples.html for book(examples)
    
    ID recommended on partintro: Work in Progress
    
    ID recommended on chapter: Stratego Core (*)
    
    Writing bk03pt01ch01.html for chapter
    
    ID recommended on chapter: Syntactic Abstractions (*)
    
    Writing bk03pt01ch02.html for chapter
    
    ID recommended on chapter: Dynamic Rules (*)
    
    Writing bk03pt01ch03.html for chapter
    
    Writing stratego-lang-ref.html for part(stratego-lang-ref)
    
    Writing ref-abox2text.html for refentry(ref-abox2text)
    
    Writing ref-asfix-yield.html for refentry(ref-asfix-yield)
    
    Writing ref-ast2abox.html for refentry(ref-ast2abox)
    
    Writing ref-ast2text.html for refentry(ref-ast2text)
    
    Writing ref-aterm2xml.html for refentry(ref-aterm2xml)
    
    Writing ref-autoxt.html for refentry(ref-autoxt)
    
    Writing ref-baffle.html for refentry(ref-baffle)
    
    Writing ref-format-check.html for refentry(ref-format-check)
    
    Writing ref-gen-renamed-sdf-module.html for refentry(ref-gen-renamed-sdf-module)
    
    Error: no ID for constraint linkend: asfix.
    
    Writing ref-implode-asfix.html for refentry(ref-implode-asfix)
    
    Writing ref-pack-sdf.html for refentry(ref-pack-sdf)
    
    Writing ref-parse-box.html for refentry(ref-parse-box)
    
    Writing ref-parse-cs.html for refentry(ref-parse-cs)
    
    Writing ref-parse-c.html for refentry(ref-parse-c)
    
    Writing ref-parse-pp-table.html for refentry(ref-parse-pp-table)
    
    Writing ref-parse-rtg.html for refentry(ref-parse-rtg)
    
    Writing ref-parse-sdf-definition.html for refentry(ref-parse-sdf-definition)
    
    Writing ref-parse-sdf-module.html for refentry(ref-parse-sdf-module)
    
    Writing ref-parse-stratego.html for refentry(ref-parse-stratego)
    
    Writing ref-parse-unit.html for refentry(ref-parse-unit)
    
    Writing ref-parse-xml-doc.html for refentry(ref-parse-xml-doc)
    
    Writing ref-parse-xml-info.html for refentry(ref-parse-xml-info)
    
    Writing ref-pp-aterm.html for refentry(ref-pp-aterm)
    
    Writing ref-pp-box.html for refentry(ref-pp-box)
    
    Writing ref-pp-c.html for refentry(ref-pp-c)
    
    Writing ref-ppgen.html for refentry(ref-ppgen)
    
    Writing ref-pp-pp-table.html for refentry(ref-pp-pp-table)
    
    Writing ref-pp-rtg.html for refentry(ref-pp-rtg)
    
    Writing ref-pp-sdf.html for refentry(ref-pp-sdf)
    
    Writing ref-pp-stratego.html for refentry(ref-pp-stratego)
    
    Writing ref-pptable-diff.html for refentry(ref-pptable-diff)
    
    Writing ref-pp-xml-doc.html for refentry(ref-pp-xml-doc)
    
    Writing ref-pp-xml-info.html for refentry(ref-pp-xml-info)
    
    Writing ref-pretty-stratego.html for refentry(ref-pretty-stratego)
    
    Writing ref-rtg2sig.html for refentry(ref-rtg2sig)
    
    Writing ref-rtg2typematch.html for refentry(ref-rtg2typematch)
    
    Writing ref-rtg-script.html for refentry(ref-rtg-script)
    
    Writing ref-sdf2parenthesize.html for refentry(ref-sdf2parenthesize)
    
    Writing ref-sdf2rtg.html for refentry(ref-sdf2rtg)
    
    Writing ref-sdf2table.html for refentry(ref-sdf2table)
    
    Writing ref-sglri.html for refentry(ref-sglri)
    
    Writing ref-sglr.html for refentry(ref-sglr)
    
    Writing ref-strc.html for refentry(ref-strc)
    
    Writing ref-stratego-shell.html for refentry(ref-stratego-shell)
    
    Writing ref-unpack-sdf.html for refentry(ref-unpack-sdf)
    
    Writing ref-visamb.html for refentry(ref-visamb)
    
    Writing ref-xtc.html for refentry(ref-xtc)
    
    Writing ref-xml2aterm.html for refentry(ref-xml2aterm)
    
    Writing tool-ref.html for chapter(tool-ref)
    
    ID recommended on section: The Big Picture
    
    ID recommended on section: Issue Tracker
    
    ID recommended on section: Build Farm
    
    ID recommended on section: Mailing Lists
    
    ID recommended on section: What is a baseline and why do I need it?
    
    ID recommended on section: Baseline restrictions
    
    ID recommended on section: Baseline upgrading
    
    ID recommended on section: Submitting your changes
    
    Link element has no content and no Endterm. Nothing to show in the link to installation
    
    ID recommended on section: Requirements
    
    ID recommended on section: How to checkout
    
    ID recommended on section: How to install
    
    ERROR: xref linking to bootstrap has no generated link text.
    
    Error: no ID for constraint linkend: bootstrap.
    
    ID recommended on section: Subversion Repoman
    
    ID recommended on section: Autoconf Macros: aclocal, libtool, and a...
    
    ID recommended on section: Contributing
    
    ID recommended on section: Committing your changes
    
    Writing contribute.html for chapter(contribute)
    
    Writing development.html for part(development)
    
    Writing reference-manual.html for book(reference-manual)
    
    ID recommended on section: Basics
    
    ID recommended on section: Example: Add Blocks
    
    ID recommended on section: Getting Used to Stratego
    
    ID recommended on section: The Real Job
    
    ID recommended on section: Source to Source Program
    
    ID recommended on section: Conclusion
    
    ID recommended on section: Example: Java Generation with Concrete S...
    
    ID recommended on section: Basic Concrete Syntax Skills
    
    ID recommended on section: The Structure is Out There
    
    ID recommended on section: Using Anti-Quotation
    
    ID recommended on section: More Variability
    
    ID recommended on section: Using Meta Variables
    
    Writing java-front.html for chapter(java-front)
    
    ID recommended on section: Linking with the Dryad Library
    
    ID recommended on section: Compilation in Automake Package
    
    ID recommended on section: Standalone Compilation at Command-line
    
    ID recommended on section: Explanation
    
    ID recommended on section: Dryad on Mac OS X
    
    ID recommended on section: Installing Dryad using Nix
    
    ID recommended on section: Dryad on Mac OS X 10.3
    
    Writing dryad.html for chapter(dryad)
    
    Writing java-in-stratego.html for book(java-in-stratego)
    
    Writing index.html for set
    
    make[2]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html/chunk-chapter'
    
    Making all in chunk-part
    
    make[2]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html/chunk-part'
    
    building index.html
    
    if test "true" = "true"; then \� xsltproc --param html.stylesheet \'style.css\' --param use.id.as.filename \'1\' --param chunk.chapter \'0\' --param chunk.part \'1\' --param chunk.book \'1\' --param chunk.section.depth \'0\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --param keep.relative.image.uris 0 --output index.html --path /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/...-docbook-xsl-1.72.0/xml/xsl/docbook/html ../../xslt/chunk/flexchunk.xsl ../../doc/book.docbook ; \� else \� xsltproc --param html.stylesheet \'style.css\' --param use.id.as.filename \'1\' --param chunk.chapter \'0\' --param chunk.part \'1\' --param chunk.book \'1\' --param chunk.section.depth \'0\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --param keep.relative.image.uris 0 --output index.html /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl/...-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl ../../doc/book.docbook ; \� fi
    
    Stripping namespace from DocBook 5 document.
    
    WARNING: cannot add @xml:base to node set root element. Relative paths may not work.
    
    Processing stripped document.
    
    ID recommended on section: What is Software Transformation?
    
    ID recommended on section: What is Stratego/XT?
    
    ID recommended on section: Outline
    
    ID recommended on section: What do I Need?
    
    ID recommended on section: Instructions
    
    ID recommended on section: Using Source Distributions
    
    ID recommended on section: Installation of aterm and sdf2-bundle
    
    ID recommended on section: Installation of Stratego/XT
    
    ID recommended on section: Installation of Stratego Shell, Java Fro...
    
    ID recommended on section: Using Binary RPMs
    
    ID recommended on section: Using the Nix Deployment System
    
    Writing tutorial-introduction.html for part(tutorial-introduction)
    
    ID recommended on section: Tools as Transformation Components
    
    ID recommended on section: Grammar Oriented
    
    ID recommended on section: Being on Good Terms with Trees
    
    ID recommended on section: Annotated Term Format
    
    ID recommended on section: Inspecting Terms
    
    ID recommended on section: Maximal Sharing (*)
    
    ID recommended on section: Exchange Format
    
    ID recommended on section: ATerm Library
    
    ID recommended on section: Context-free Grammars
    
    ID recommended on section: Abstract Syntax Trees
    
    ID recommended on section: From Concepts to Practice: Generating a ...
    
    ID recommended on section: From Modules to Definition
    
    ID recommended on section: Generating a Parser
    
    ID recommended on section: Invoking the Parser
    
    ID recommended on section: SDF: The Basics
    
    ID recommended on section: Modules
    
    ID recommended on section: Start Symbols
    
    ID recommended on section: Sorts
    
    ID recommended on section: Syntax
    
    ID recommended on section: Disambiguation
    
    ID recommended on section: Syntax
    
    ID recommended on section: Lexical and Context-free Syntax
    
    ID recommended on section: Productions, Sorts, and Symbols
    
    ID recommended on section: Symbols and Regular Expressions
    
    ERROR: xref linking to section-sdf-literals has no generated link text.
    
    Error: no ID for constraint linkend: section-sdf-literals.
    
    ID recommended on example: Examples of Character Classes
    
    ID recommended on section: Simple Whitespace
    
    ID recommended on section: Reserving Keywords
    
    ID recommended on section: Longest Match
    
    ID recommended on section: Keywords
    
    ID recommended on section: Integer Literals
    
    ID recommended on section: Floating-Point Literals
    
    ID recommended on section: Comments
    
    ID recommended on section: End-of-line Comment
    
    ID recommended on section: Traditional Block Comment
    
    ID recommended on section: Balanced Block Comments
    
    ID recommended on section: Examples: Defining Context-Free Syntax
    
    ID recommended on section: Expressions
    
    ID recommended on section: Constructor Attributes and Abstract Synt...
    
    ID recommended on section: Ambiguities in Expressions
    
    ID recommended on section: Associativity and Priorities
    
    ID recommended on section: Group Associativity
    
    ID recommended on section: Priorities and Hedged Symbols
    
    ID recommended on section: Array Creation and Access Ambiguity
    
    ID recommended on section: Statements
    
    ID recommended on section: Dangling Else
    
    ID recommended on section: Whitespace and Comments
    
    ID recommended on section: Usage example
    
    ID recommended on section: Syntax Definition
    
    ID recommended on section: Parse Testsuite
    
    ID recommended on section: Running the Parse Testsuite
    
    ID recommended on section: Parse Testsuite Syntax
    
    ID recommended on section: Debugging Support
    
    ID recommended on section: Invocation in Automake
    
    ID recommended on chapter: Advanced Topics in Syntax Definition (*)
    
    ID recommended on section: Combining Languages
    
    ID recommended on section: Advanced Module Features
    
    ID recommended on section: Renaming Symbols
    
    ID recommended on section: Parameterized Modules
    
    ID recommended on example: Parameterized Module for Regular Express...
    
    ID recommended on section: Hiding Grammars
    
    ID recommended on section: Context-sensitive Lexical Syntax
    
    ID recommended on section: Explicit versus Implicit Ambiguities
    
    ID recommended on section: Performance Tips and Tricks
    
    ID recommended on section: Regular Tree Grammars
    
    ID recommended on section: Generating Code from an RTG
    
    ID recommended on section: Creating a Subset of a Regular Tree Gram...
    
    ID recommended on section: Introduction
    
    ID recommended on section: Example
    
    ID recommended on section: Signatures (todo: imported)
    
    ERROR: xref linking to Fig-Expressions.sdf has no generated link text.
    
    Error: no ID for constraint linkend: Fig-Expressions.sdf.
    
    ID recommended on section: Signature Tools (todo: imported)
    
    ID recommended on section: Pretty-Print Table Generation
    
    ID recommended on section: Rule Selectors
    
    ID recommended on section: Examples
    
    ID recommended on section: Restoring Parenthesis
    
    ID recommended on section: Pretty Printing using Stratego
    
    ID recommended on section: Pretty-Printing (todo: imported)
    
    ID recommended on section: Unparsing
    
    ID recommended on section: Pretty-Printing
    
    ID recommended on figure:
    
    Pretty-printing of if-then-else s...
    
    ID recommended on section: Disambiguation
    
    ID recommended on section: Pretty-Printing and Term Visualization T...
    
    Writing tutorial-xt.html for part(tutorial-xt)
    
    ID recommended on partintro: Introduction
    
    ID recommended on section: Annotated Term Format
    
    ID recommended on section: Exchanging Terms
    
    ID recommended on section: Inspecting Terms
    
    ID recommended on section: Signatures
    
    ID recommended on section: Compiling Stratego Programs
    
    ID recommended on section: Combining Transformations
    
    ID recommended on section: Summary
    
    ID recommended on section: Transformation with Rewrite Rules
    
    ID recommended on section: Adding Rules to a Rewrite System
    
    ID recommended on section: Summary
    
    ID recommended on section: Limitations of Term Rewriting
    
    ID recommended on section: Attempt 1: Remodularization
    
    ID recommended on section: Attempt 2: Functionalization
    
    ID recommended on section: Programmable Rewriting Strategies
    
    ID recommended on section: Idioms of Strategic Rewriting
    
    ID recommended on section: Cascading Transformations
    
    ID recommended on section: One-pass Traversals
    
    ID recommended on section: Staged Transformations
    
    ID recommended on section: Local Transformations
    
    ID recommended on section: Summary
    
    ID recommended on section: What is a Rule?
    
    ID recommended on section: What is a Strategy?
    
    ID recommended on section: Strategy Definitions
    
    ID recommended on section: Simple Strategy Definition and Call
    
    ID recommended on section: Parameterized Definitions
    
    ID recommended on section: Local Definitions
    
    ID recommended on section: Extending Definitions
    
    ID recommended on section: Calling Primitives
    
    ID recommended on section: External Definitions
    
    ID recommended on section: Dynamic Calls
    
    ID recommended on section: Summary
    
    ID recommended on section: Non-deterministic Choice
    
    ID recommended on section: Recursion
    
    ID recommended on section: Summary
    
    ID recommended on section: Implementing Rewrite Rules
    
    ID recommended on section: Anonymous Rewrite Rule
    
    ID recommended on section: Term variable scope
    
    ID recommended on section: Implicit Variable Scope
    
    ID recommended on section: Where
    
    ID recommended on section: Conditional rewrite rule
    
    ID recommended on section: Lambda Rules
    
    ID recommended on section: Apply and Match
    
    ID recommended on section: Wrap and Project
    
    ID recommended on section: Term Wrap
    
    ID recommended on section: Term Project
    
    ID recommended on section: Summary
    
    ID recommended on section: Traversal Rules
    
    ID recommended on section: Congruence Operators
    
    ID recommended on section: Generic Traversal
    
    ID recommended on section: Visiting All Subterms
    
    ID recommended on section: Visiting One Subterm
    
    ID recommended on section: Visiting Some Subterms
    
    ID recommended on section: Full Traversals
    
    ID recommended on section: Cascading Transformations
    
    ID recommended on section: Mixing Generic and Specific Traversals
    
    ID recommended on section: Partial Traversals
    
    ID recommended on section: Path (*)
    
    ID recommended on section: Recursive Patterns (*)
    
    ID recommended on section: Dynamic programming (*)
    
    ID recommended on section: Summary
    
    ID recommended on section: Type Unifying List Transformations
    
    ID recommended on section: Extending Fold to Expressions
    
    ID recommended on section: Generic Term Deconstruction
    
    ID recommended on section: Generic Term Construction
    
    ID recommended on section: Summary
    
    ID recommended on section: Instrumenting Programs
    
    ID recommended on section: Observations about Concrete Syntax Speci...
    
    ID recommended on section: Implementation
    
    ID recommended on section: Extending the Meta Language
    
    ID recommended on section: Meta-Variables
    
    ID recommended on section: Meta-Explode
    
    ID recommended on section: Discussion
    
    ID recommended on section: Summary
    
    Writing stratego-language.html for part(stratego-language)
    
    ID recommended on section: Anatomy of the Stratego Library
    
    ID recommended on section: Basic Operations
    
    ID recommended on section: Number comparisons
    
    ID recommended on section: Other Operations
    
    ID recommended on section: Random Numbers
    
    ID recommended on section: Summary
    
    ID recommended on section: Making heads and tails of it
    
    ID recommended on section:
    
    Sorting
    
    ID recommended on section:
    
    Associative Lists
    
    ID recommended on section:
    
    Pairing Lists
    
    ID recommended on section:
    
    Lightweight Sets
    
    ID recommended on section: Transforming Lists
    
    ID recommended on section: Folding from the Left and Right
    
    ID recommended on section: Summary
    
    ID recommended on section: Basic String Operations
    
    ID recommended on section: Sorting Strings
    
    ID recommended on section: Strings and Terms
    
    ID recommended on section: Strings and Numbers
    
    ID recommended on chapter: Hashtables and Sets
    
    ID recommended on section:
    
    Hashtables
    
    ID recommended on section:
    
    Indexed Sets
    
    ID recommended on section: Console I/O
    
    ID recommended on section: Path and Directory Operations
    
    ID recommended on section: File and Text I/O
    
    ID recommended on section: Term I/O
    
    ID recommended on section: Logging
    
    ID recommended on section: Parsing Command-line Options
    
    ID recommended on section: Adding Custom Options
    
    ID recommended on section: Setting Description and About
    
    ID recommended on section: I/O-less Programs
    
    ID recommended on section: Setting up a test suite
    
    ID recommended on section: Compare expected and actual output
    
    ID recommended on section: Check for failure
    
    ID recommended on section: Check arbitrary conditions on output
    
    ID recommended on section: Unit testing with XTC
    
    ID recommended on section: Basic Mechanisms of XTC
    
    ID recommended on section: Registration of Programs and Data
    
    ID recommended on section: Importing other Repositories
    
    ID recommended on section: Searching Repositories
    
    ID recommended on section: Composing Tools in Stratego
    
    ID recommended on section: Making an XT component
    
    ID recommended on section: Invoking XT components
    
    ID recommended on section: Summary
    
    ID recommended on section: Building stand-alone artifacts
    
    ID recommended on section: Static linking
    
    ID recommended on section: Setting up your Project
    
    ID recommended on section: Building Stand-alone Stratego Applicatio...
    
    ID recommended on section: Building Parse Tables, Tree Grammars and...
    
    ID recommended on section: Building Your Own Stratego Library
    
    ID recommended on section: Compiling the Library
    
    ID recommended on section: Using Your Library in Stratego Programs
    
    ID recommended on section: Package Config Support
    
    ID recommended on section: RPM Support
    
    ID recommended on section: Summary
    
    ID recommended on section: Debugging Stratego
    
    ID recommended on section: Writing readable code
    
    ID recommended on section: Debugging Stratego code
    
    ID recommended on section: Common Pitfalls
    
    ID recommended on section: Debugging XT compositions
    
    ID recommended on section: Debugging SDF definitions
    
    Writing stratego-library.html for part(stratego-library)
    
    Writing tutorial.html for book(tutorial)
    
    ID recommended on chapter: Introduction
    
    ID recommended on section: Software Transformations
    
    ID recommended on section: TIL: A Tiny Imperative Language
    
    ID recommended on section: BibTeX Transformations
    
    ID recommended on section: Tiger
    
    ID recommended on section: Other Applications
    
    ID recommended on sect1: TIL: a Tiny Imperative Language
    
    ID recommended on sect1: Syntax Definition
    
    ID recommended on sect2: Modules
    
    ID recommended on sect3: Layout
    
    Error: no ID for constraint linkend: ref-sdf-character-classes.
    
    Error: no ID for constraint linkend: ref-sdf-follow-restriction.
    
    ID recommended on sect3: Literals
    
    Error: no ID for constraint linkend: ref-sdf-character-classes.
    
    Error: no ID for constraint linkend: ref-sdf-regular-expressions.
    
    ID recommended on sect3: Expressions
    
    Error: no ID for constraint linkend: ref-sdf-associativity.
    
    Error: no ID for constraint linkend: ref-sdf-priority.
    
    ID recommended on sect3: Statements
    
    ID recommended on sect3: Function and Procedure Calls
    
    ID recommended on sect3: Programs
    
    ID recommended on sect2: Parse Table Generation
    
    ID recommended on sect1: Term Format
    
    Error: no ID for constraint linkend: ref-aterms.
    
    ID recommended on sect2: Regular Tree Grammars
    
    ID recommended on sect2: Signatures
    
    ID recommended on sect2: Format Checking
    
    ID recommended on sect1: Pretty-Printing
    
    ID recommended on sect2: Pretty-Print Table
    
    ID recommended on sect2: Applying Pretty-Print Tables
    
    ID recommended on sect2: Adapting the Pretty-Print Table
    
    ID recommended on sect2: Restoring Parentheses
    
    ID recommended on sect1: A Complete Pipeline
    
    ID recommended on sect1: Constant Folding Rules
    
    ID recommended on sect1: Desugaring Rules
    
    ID recommended on sect1: Simplying by Term Rewriting
    
    ID recommended on sect1: Compiling the Simplifier
    
    ID recommended on sect1: Applying the Simplifier
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    ID recommended on chapter: Bound Variable Renaming (*)
    
    ID recommended on sect1: Renaming Bound Variables
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    ID recommended on chapter: Typechecking (*)
    
    ID recommended on sect1: Typechecking
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    ID recommended on chapter: Interpretation
    
    ID recommended on sect1: Evaluating Expressions
    
    ID recommended on sect1: Evaluating Variable Accesses
    
    ID recommended on sect1: Evaluating Statements
    
    ID recommended on sect1: The Complete Interpreter
    
    ID recommended on sect1: Running TIL Programs
    
    ID recommended on chapter: Data-flow Transformation (*)
    
    ID recommended on sect1: Preliminaries
    
    ID recommended on sect1: Constant Propagation
    
    ID recommended on table: files: til/xmpl/propconst-test2.til, til...
    
    ID recommended on sect1: Copy Propagation
    
    ID recommended on table: files: til/xmpl/copyprop-test2.til, til/...
    
    ID recommended on sect1: Reverse Copy Propagation
    
    ID recommended on sect1: Common-subexpression Elimination
    
    ID recommended on table: files: til/xmpl/cse-test2.til, til/xmpl/...
    
    ID recommended on sect1: Forward Substitution
    
    ID recommended on sect1: Dead Code Elimination
    
    ID recommended on table: files: til/xmpl/dce-test2.til, til/xmpl/...
    
    ID recommended on sect1: Compiling the Transformations
    
    ID recommended on chapter: Typestate Checking
    
    ID recommended on chapter: Expression Blocks (*)
    
    ID recommended on sect1: Syntax of Expression Blocks
    
    ID recommended on sect1: Desugaring Expression Blocks
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/eblock-desugar-test2.til...
    
    ID recommended on table: files: til/xmpl/eblock-desugar-test2.txt...
    
    Writing tutorial-til.html for part(tutorial-til)
    
    ID recommended on partintro: Work in Progress
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    Writing tutorial-bibtex.html for part(tutorial-bibtex)
    
    Writing examples.html for book(examples)
    
    ID recommended on partintro: Work in Progress
    
    ID recommended on chapter: Stratego Core (*)
    
    ID recommended on chapter: Syntactic Abstractions (*)
    
    ID recommended on chapter: Dynamic Rules (*)
    
    Writing stratego-lang-ref.html for part(stratego-lang-ref)
    
    Writing ref-abox2text.html for refentry(ref-abox2text)
    
    Writing ref-asfix-yield.html for refentry(ref-asfix-yield)
    
    Writing ref-ast2abox.html for refentry(ref-ast2abox)
    
    Writing ref-ast2text.html for refentry(ref-ast2text)
    
    Writing ref-aterm2xml.html for refentry(ref-aterm2xml)
    
    Writing ref-autoxt.html for refentry(ref-autoxt)
    
    Writing ref-baffle.html for refentry(ref-baffle)
    
    Writing ref-format-check.html for refentry(ref-format-check)
    
    Writing ref-gen-renamed-sdf-module.html for refentry(ref-gen-renamed-sdf-module)
    
    Error: no ID for constraint linkend: asfix.
    
    Writing ref-implode-asfix.html for refentry(ref-implode-asfix)
    
    Writing ref-pack-sdf.html for refentry(ref-pack-sdf)
    
    Writing ref-parse-box.html for refentry(ref-parse-box)
    
    Writing ref-parse-cs.html for refentry(ref-parse-cs)
    
    Writing ref-parse-c.html for refentry(ref-parse-c)
    
    Writing ref-parse-pp-table.html for refentry(ref-parse-pp-table)
    
    Writing ref-parse-rtg.html for refentry(ref-parse-rtg)
    
    Writing ref-parse-sdf-definition.html for refentry(ref-parse-sdf-definition)
    
    Writing ref-parse-sdf-module.html for refentry(ref-parse-sdf-module)
    
    Writing ref-parse-stratego.html for refentry(ref-parse-stratego)
    
    Writing ref-parse-unit.html for refentry(ref-parse-unit)
    
    Writing ref-parse-xml-doc.html for refentry(ref-parse-xml-doc)
    
    Writing ref-parse-xml-info.html for refentry(ref-parse-xml-info)
    
    Writing ref-pp-aterm.html for refentry(ref-pp-aterm)
    
    Writing ref-pp-box.html for refentry(ref-pp-box)
    
    Writing ref-pp-c.html for refentry(ref-pp-c)
    
    Writing ref-ppgen.html for refentry(ref-ppgen)
    
    Writing ref-pp-pp-table.html for refentry(ref-pp-pp-table)
    
    Writing ref-pp-rtg.html for refentry(ref-pp-rtg)
    
    Writing ref-pp-sdf.html for refentry(ref-pp-sdf)
    
    Writing ref-pp-stratego.html for refentry(ref-pp-stratego)
    
    Writing ref-pptable-diff.html for refentry(ref-pptable-diff)
    
    Writing ref-pp-xml-doc.html for refentry(ref-pp-xml-doc)
    
    Writing ref-pp-xml-info.html for refentry(ref-pp-xml-info)
    
    Writing ref-pretty-stratego.html for refentry(ref-pretty-stratego)
    
    Writing ref-rtg2sig.html for refentry(ref-rtg2sig)
    
    Writing ref-rtg2typematch.html for refentry(ref-rtg2typematch)
    
    Writing ref-rtg-script.html for refentry(ref-rtg-script)
    
    Writing ref-sdf2parenthesize.html for refentry(ref-sdf2parenthesize)
    
    Writing ref-sdf2rtg.html for refentry(ref-sdf2rtg)
    
    Writing ref-sdf2table.html for refentry(ref-sdf2table)
    
    Writing ref-sglri.html for refentry(ref-sglri)
    
    Writing ref-sglr.html for refentry(ref-sglr)
    
    Writing ref-strc.html for refentry(ref-strc)
    
    Writing ref-stratego-shell.html for refentry(ref-stratego-shell)
    
    Writing ref-unpack-sdf.html for refentry(ref-unpack-sdf)
    
    Writing ref-visamb.html for refentry(ref-visamb)
    
    Writing ref-xtc.html for refentry(ref-xtc)
    
    Writing ref-xml2aterm.html for refentry(ref-xml2aterm)
    
    ID recommended on section: The Big Picture
    
    ID recommended on section: Issue Tracker
    
    ID recommended on section: Build Farm
    
    ID recommended on section: Mailing Lists
    
    ID recommended on section: What is a baseline and why do I need it?
    
    ID recommended on section: Baseline restrictions
    
    ID recommended on section: Baseline upgrading
    
    ID recommended on section: Submitting your changes
    
    Link element has no content and no Endterm. Nothing to show in the link to installation
    
    ID recommended on section: Requirements
    
    ID recommended on section: How to checkout
    
    ID recommended on section: How to install
    
    ERROR: xref linking to bootstrap has no generated link text.
    
    Error: no ID for constraint linkend: bootstrap.
    
    ID recommended on section: Subversion Repoman
    
    ID recommended on section: Autoconf Macros: aclocal, libtool, and a...
    
    ID recommended on section: Contributing
    
    ID recommended on section: Committing your changes
    
    Writing development.html for part(development)
    
    Writing reference-manual.html for book(reference-manual)
    
    ID recommended on section: Basics
    
    ID recommended on section: Example: Add Blocks
    
    ID recommended on section: Getting Used to Stratego
    
    ID recommended on section: The Real Job
    
    ID recommended on section: Source to Source Program
    
    ID recommended on section: Conclusion
    
    ID recommended on section: Example: Java Generation with Concrete S...
    
    ID recommended on section: Basic Concrete Syntax Skills
    
    ID recommended on section: The Structure is Out There
    
    ID recommended on section: Using Anti-Quotation
    
    ID recommended on section: More Variability
    
    ID recommended on section: Using Meta Variables
    
    ID recommended on section: Linking with the Dryad Library
    
    ID recommended on section: Compilation in Automake Package
    
    ID recommended on section: Standalone Compilation at Command-line
    
    ID recommended on section: Explanation
    
    ID recommended on section: Dryad on Mac OS X
    
    ID recommended on section: Installing Dryad using Nix
    
    ID recommended on section: Dryad on Mac OS X 10.3
    
    Writing java-in-stratego.html for book(java-in-stratego)
    
    Writing index.html for set
    
    make[2]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html/chunk-part'
    
    Making all in one-page
    
    make[2]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html/one-page'
    
    building index.html
    
    if test "false" = "true"; then \� xsltproc --param html.stylesheet \'style.css\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --output index.html --path /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/...-docbook-xsl-1.72.0/xml/xsl/docbook/html ../../xslt/chunk/flexchunk.xsl ../../doc/book.docbook ; \� else \� xsltproc --param html.stylesheet \'style.css\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --output index.html /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl/...-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl ../../doc/book.docbook ; \� fi
    
    Stripping namespace from DocBook 5 document.
    
    WARNING: cannot add @xml:base to node set root element. Relative paths may not work.
    
    Processing stripped document.
    
    ID recommended on section: What is Software Transformation?
    
    ID recommended on section: What is Stratego/XT?
    
    ID recommended on section: Outline
    
    ID recommended on section: What do I Need?
    
    ID recommended on section: Instructions
    
    ID recommended on section: Using Source Distributions
    
    ID recommended on section: Installation of aterm and sdf2-bundle
    
    ID recommended on section: Installation of Stratego/XT
    
    ID recommended on section: Installation of Stratego Shell, Java Fro...
    
    ID recommended on section: Using Binary RPMs
    
    ID recommended on section: Using the Nix Deployment System
    
    ID recommended on section: Tools as Transformation Components
    
    ID recommended on section: Grammar Oriented
    
    ID recommended on section: Being on Good Terms with Trees
    
    ID recommended on section: Annotated Term Format
    
    ID recommended on section: Inspecting Terms
    
    ID recommended on section: Maximal Sharing (*)
    
    ID recommended on section: Exchange Format
    
    ID recommended on section: ATerm Library
    
    ID recommended on section: Context-free Grammars
    
    ID recommended on section: Abstract Syntax Trees
    
    ID recommended on section: From Concepts to Practice: Generating a ...
    
    ID recommended on section: From Modules to Definition
    
    ID recommended on section: Generating a Parser
    
    ID recommended on section: Invoking the Parser
    
    ID recommended on section: SDF: The Basics
    
    ID recommended on section: Modules
    
    ID recommended on section: Start Symbols
    
    ID recommended on section: Sorts
    
    ID recommended on section: Syntax
    
    ID recommended on section: Disambiguation
    
    ID recommended on section: Syntax
    
    ID recommended on section: Lexical and Context-free Syntax
    
    ID recommended on section: Productions, Sorts, and Symbols
    
    ID recommended on section: Symbols and Regular Expressions
    
    ERROR: xref linking to section-sdf-literals has no generated link text.
    
    Error: no ID for constraint linkend: section-sdf-literals.
    
    ID recommended on example: Examples of Character Classes
    
    ID recommended on section: Simple Whitespace
    
    ID recommended on section: Reserving Keywords
    
    ID recommended on section: Longest Match
    
    ID recommended on section: Keywords
    
    ID recommended on section: Integer Literals
    
    ID recommended on section: Floating-Point Literals
    
    ID recommended on section: Comments
    
    ID recommended on section: End-of-line Comment
    
    ID recommended on section: Traditional Block Comment
    
    ID recommended on section: Balanced Block Comments
    
    ID recommended on section: Examples: Defining Context-Free Syntax
    
    ID recommended on section: Expressions
    
    ID recommended on section: Constructor Attributes and Abstract Synt...
    
    ID recommended on section: Ambiguities in Expressions
    
    ID recommended on section: Associativity and Priorities
    
    ID recommended on section: Group Associativity
    
    ID recommended on section: Priorities and Hedged Symbols
    
    ID recommended on section: Array Creation and Access Ambiguity
    
    ID recommended on section: Statements
    
    ID recommended on section: Dangling Else
    
    ID recommended on section: Whitespace and Comments
    
    ID recommended on section: Usage example
    
    ID recommended on section: Syntax Definition
    
    ID recommended on section: Parse Testsuite
    
    ID recommended on section: Running the Parse Testsuite
    
    ID recommended on section: Parse Testsuite Syntax
    
    ID recommended on section: Debugging Support
    
    ID recommended on section: Invocation in Automake
    
    ID recommended on chapter: Advanced Topics in Syntax Definition (*)
    
    ID recommended on section: Combining Languages
    
    ID recommended on section: Advanced Module Features
    
    ID recommended on section: Renaming Symbols
    
    ID recommended on section: Parameterized Modules
    
    ID recommended on example: Parameterized Module for Regular Express...
    
    ID recommended on section: Hiding Grammars
    
    ID recommended on section: Context-sensitive Lexical Syntax
    
    ID recommended on section: Explicit versus Implicit Ambiguities
    
    ID recommended on section: Performance Tips and Tricks
    
    ID recommended on section: Regular Tree Grammars
    
    ID recommended on section: Generating Code from an RTG
    
    ID recommended on section: Creating a Subset of a Regular Tree Gram...
    
    ID recommended on section: Introduction
    
    ID recommended on section: Example
    
    ID recommended on section: Signatures (todo: imported)
    
    ERROR: xref linking to Fig-Expressions.sdf has no generated link text.
    
    Error: no ID for constraint linkend: Fig-Expressions.sdf.
    
    ID recommended on section: Signature Tools (todo: imported)
    
    ID recommended on section: Pretty-Print Table Generation
    
    ID recommended on section: Rule Selectors
    
    ID recommended on section: Examples
    
    ID recommended on section: Restoring Parenthesis
    
    ID recommended on section: Pretty Printing using Stratego
    
    ID recommended on section: Pretty-Printing (todo: imported)
    
    ID recommended on section: Unparsing
    
    ID recommended on section: Pretty-Printing
    
    ID recommended on figure:
    
    Pretty-printing of if-then-else s...
    
    ID recommended on section: Disambiguation
    
    ID recommended on section: Pretty-Printing and Term Visualization T...
    
    ID recommended on partintro: Introduction
    
    ID recommended on section: Annotated Term Format
    
    ID recommended on section: Exchanging Terms
    
    ID recommended on section: Inspecting Terms
    
    ID recommended on section: Signatures
    
    ID recommended on section: Compiling Stratego Programs
    
    ID recommended on section: Combining Transformations
    
    ID recommended on section: Summary
    
    ID recommended on section: Transformation with Rewrite Rules
    
    ID recommended on section: Adding Rules to a Rewrite System
    
    ID recommended on section: Summary
    
    ID recommended on section: Limitations of Term Rewriting
    
    ID recommended on section: Attempt 1: Remodularization
    
    ID recommended on section: Attempt 2: Functionalization
    
    ID recommended on section: Programmable Rewriting Strategies
    
    ID recommended on section: Idioms of Strategic Rewriting
    
    ID recommended on section: Cascading Transformations
    
    ID recommended on section: One-pass Traversals
    
    ID recommended on section: Staged Transformations
    
    ID recommended on section: Local Transformations
    
    ID recommended on section: Summary
    
    ID recommended on section: What is a Rule?
    
    ID recommended on section: What is a Strategy?
    
    ID recommended on section: Strategy Definitions
    
    ID recommended on section: Simple Strategy Definition and Call
    
    ID recommended on section: Parameterized Definitions
    
    ID recommended on section: Local Definitions
    
    ID recommended on section: Extending Definitions
    
    ID recommended on section: Calling Primitives
    
    ID recommended on section: External Definitions
    
    ID recommended on section: Dynamic Calls
    
    ID recommended on section: Summary
    
    ID recommended on section: Non-deterministic Choice
    
    ID recommended on section: Recursion
    
    ID recommended on section: Summary
    
    ID recommended on section: Implementing Rewrite Rules
    
    ID recommended on section: Anonymous Rewrite Rule
    
    ID recommended on section: Term variable scope
    
    ID recommended on section: Implicit Variable Scope
    
    ID recommended on section: Where
    
    ID recommended on section: Conditional rewrite rule
    
    ID recommended on section: Lambda Rules
    
    ID recommended on section: Apply and Match
    
    ID recommended on section: Wrap and Project
    
    ID recommended on section: Term Wrap
    
    ID recommended on section: Term Project
    
    ID recommended on section: Summary
    
    ID recommended on section: Traversal Rules
    
    ID recommended on section: Congruence Operators
    
    ID recommended on section: Generic Traversal
    
    ID recommended on section: Visiting All Subterms
    
    ID recommended on section: Visiting One Subterm
    
    ID recommended on section: Visiting Some Subterms
    
    ID recommended on section: Full Traversals
    
    ID recommended on section: Cascading Transformations
    
    ID recommended on section: Mixing Generic and Specific Traversals
    
    ID recommended on section: Partial Traversals
    
    ID recommended on section: Path (*)
    
    ID recommended on section: Recursive Patterns (*)
    
    ID recommended on section: Dynamic programming (*)
    
    ID recommended on section: Summary
    
    ID recommended on section: Type Unifying List Transformations
    
    ID recommended on section: Extending Fold to Expressions
    
    ID recommended on section: Generic Term Deconstruction
    
    ID recommended on section: Generic Term Construction
    
    ID recommended on section: Summary
    
    ID recommended on section: Instrumenting Programs
    
    ID recommended on section: Observations about Concrete Syntax Speci...
    
    ID recommended on section: Implementation
    
    ID recommended on section: Extending the Meta Language
    
    ID recommended on section: Meta-Variables
    
    ID recommended on section: Meta-Explode
    
    ID recommended on section: Discussion
    
    ID recommended on section: Summary
    
    ID recommended on section: Anatomy of the Stratego Library
    
    ID recommended on section: Basic Operations
    
    ID recommended on section: Number comparisons
    
    ID recommended on section: Other Operations
    
    ID recommended on section: Random Numbers
    
    ID recommended on section: Summary
    
    ID recommended on section: Making heads and tails of it
    
    ID recommended on section:
    
    Sorting
    
    ID recommended on section:
    
    Associative Lists
    
    ID recommended on section:
    
    Pairing Lists
    
    ID recommended on section:
    
    Lightweight Sets
    
    ID recommended on section: Transforming Lists
    
    ID recommended on section: Folding from the Left and Right
    
    ID recommended on section: Summary
    
    ID recommended on section: Basic String Operations
    
    ID recommended on section: Sorting Strings
    
    ID recommended on section: Strings and Terms
    
    ID recommended on section: Strings and Numbers
    
    ID recommended on chapter: Hashtables and Sets
    
    ID recommended on section:
    
    Hashtables
    
    ID recommended on section:
    
    Indexed Sets
    
    ID recommended on section: Console I/O
    
    ID recommended on section: Path and Directory Operations
    
    ID recommended on section: File and Text I/O
    
    ID recommended on section: Term I/O
    
    ID recommended on section: Logging
    
    ID recommended on section: Parsing Command-line Options
    
    ID recommended on section: Adding Custom Options
    
    ID recommended on section: Setting Description and About
    
    ID recommended on section: I/O-less Programs
    
    ID recommended on section: Setting up a test suite
    
    ID recommended on section: Compare expected and actual output
    
    ID recommended on section: Check for failure
    
    ID recommended on section: Check arbitrary conditions on output
    
    ID recommended on section: Unit testing with XTC
    
    ID recommended on section: Basic Mechanisms of XTC
    
    ID recommended on section: Registration of Programs and Data
    
    ID recommended on section: Importing other Repositories
    
    ID recommended on section: Searching Repositories
    
    ID recommended on section: Composing Tools in Stratego
    
    ID recommended on section: Making an XT component
    
    ID recommended on section: Invoking XT components
    
    ID recommended on section: Summary
    
    ID recommended on section: Building stand-alone artifacts
    
    ID recommended on section: Static linking
    
    ID recommended on section: Setting up your Project
    
    ID recommended on section: Building Stand-alone Stratego Applicatio...
    
    ID recommended on section: Building Parse Tables, Tree Grammars and...
    
    ID recommended on section: Building Your Own Stratego Library
    
    ID recommended on section: Compiling the Library
    
    ID recommended on section: Using Your Library in Stratego Programs
    
    ID recommended on section: Package Config Support
    
    ID recommended on section: RPM Support
    
    ID recommended on section: Summary
    
    ID recommended on section: Debugging Stratego
    
    ID recommended on section: Writing readable code
    
    ID recommended on section: Debugging Stratego code
    
    ID recommended on section: Common Pitfalls
    
    ID recommended on section: Debugging XT compositions
    
    ID recommended on section: Debugging SDF definitions
    
    ID recommended on chapter: Introduction
    
    ID recommended on section: Software Transformations
    
    ID recommended on section: TIL: A Tiny Imperative Language
    
    ID recommended on section: BibTeX Transformations
    
    ID recommended on section: Tiger
    
    ID recommended on section: Other Applications
    
    ID recommended on sect1: TIL: a Tiny Imperative Language
    
    ID recommended on sect1: Syntax Definition
    
    ID recommended on sect2: Modules
    
    ID recommended on sect3: Layout
    
    Error: no ID for constraint linkend: ref-sdf-character-classes.
    
    Error: no ID for constraint linkend: ref-sdf-follow-restriction.
    
    ID recommended on sect3: Literals
    
    Error: no ID for constraint linkend: ref-sdf-character-classes.
    
    Error: no ID for constraint linkend: ref-sdf-regular-expressions.
    
    ID recommended on sect3: Expressions
    
    Error: no ID for constraint linkend: ref-sdf-associativity.
    
    Error: no ID for constraint linkend: ref-sdf-priority.
    
    ID recommended on sect3: Statements
    
    ID recommended on sect3: Function and Procedure Calls
    
    ID recommended on sect3: Programs
    
    ID recommended on sect2: Parse Table Generation
    
    ID recommended on sect1: Term Format
    
    Error: no ID for constraint linkend: ref-aterms.
    
    ID recommended on sect2: Regular Tree Grammars
    
    ID recommended on sect2: Signatures
    
    ID recommended on sect2: Format Checking
    
    ID recommended on sect1: Pretty-Printing
    
    ID recommended on sect2: Pretty-Print Table
    
    ID recommended on sect2: Applying Pretty-Print Tables
    
    ID recommended on sect2: Adapting the Pretty-Print Table
    
    ID recommended on sect2: Restoring Parentheses
    
    ID recommended on sect1: A Complete Pipeline
    
    ID recommended on sect1: Constant Folding Rules
    
    ID recommended on sect1: Desugaring Rules
    
    ID recommended on sect1: Simplying by Term Rewriting
    
    ID recommended on sect1: Compiling the Simplifier
    
    ID recommended on sect1: Applying the Simplifier
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    ID recommended on chapter: Bound Variable Renaming (*)
    
    ID recommended on sect1: Renaming Bound Variables
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    ID recommended on chapter: Typechecking (*)
    
    ID recommended on sect1: Typechecking
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
    
    ID recommended on chapter: Interpretation
    
    ID recommended on sect1: Evaluating Expressions
    
    ID recommended on sect1: Evaluating Variable Accesses
    
    ID recommended on sect1: Evaluating Statements
    
    ID recommended on sect1: The Complete Interpreter
    
    ID recommended on sect1: Running TIL Programs
    
    ID recommended on chapter: Data-flow Transformation (*)
    
    ID recommended on sect1: Preliminaries
    
    ID recommended on sect1: Constant Propagation
    
    ID recommended on table: files: til/xmpl/propconst-test2.til, til...
    
    ID recommended on sect1: Copy Propagation
    
    ID recommended on table: files: til/xmpl/copyprop-test2.til, til/...
    
    ID recommended on sect1: Reverse Copy Propagation
    
    ID recommended on sect1: Common-subexpression Elimination
    
    ID recommended on table: files: til/xmpl/cse-test2.til, til/xmpl/...
    
    ID recommended on sect1: Forward Substitution
    
    ID recommended on sect1: Dead Code Elimination
    
    ID recommended on table: files: til/xmpl/dce-test2.til, til/xmpl/...
    
    ID recommended on sect1: Compiling the Transformations
    
    ID recommended on chapter: Typestate Checking
    
    ID recommended on chapter: Expression Blocks (*)
    
    ID recommended on sect1: Syntax of Expression Blocks
    
    ID recommended on sect1: Desugaring Expression Blocks
    
    ID recommended on sect1: Example
    
    ID recommended on table: files: til/xmpl/eblock-desugar-test2.til...
    
    ID recommended on table: files: til/xmpl/eblock-desugar-test2.txt...
    
    ID recommended on partintro: Work in Progress
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on section
    
    ID recommended on partintro: Work in Progress
    
    ID recommended on chapter: Stratego Core (*)
    
    ID recommended on chapter: Syntactic Abstractions (*)
    
    ID recommended on chapter: Dynamic Rules (*)
    
    Error: no ID for constraint linkend: asfix.
    
    ID recommended on section: The Big Picture
    
    ID recommended on section: Issue Tracker
    
    ID recommended on section: Build Farm
    
    ID recommended on section: Mailing Lists
    
    ID recommended on section: What is a baseline and why do I need it?
    
    ID recommended on section: Baseline restrictions
    
    ID recommended on section: Baseline upgrading
    
    ID recommended on section: Submitting your changes
    
    Link element has no content and no Endterm. Nothing to show in the link to installation
    
    ID recommended on section: Requirements
    
    ID recommended on section: How to checkout
    
    ID recommended on section: How to install
    
    ERROR: xref linking to bootstrap has no generated link text.
    
    Error: no ID for constraint linkend: bootstrap.
    
    ID recommended on section: Subversion Repoman
    
    ID recommended on section: Autoconf Macros: aclocal, libtool, and a...
    
    ID recommended on section: Contributing
    
    ID recommended on section: Committing your changes
    
    ID recommended on section: Basics
    
    ID recommended on section: Example: Add Blocks
    
    ID recommended on section: Getting Used to Stratego
    
    ID recommended on section: The Real Job
    
    ID recommended on section: Source to Source Program
    
    ID recommended on section: Conclusion
    
    ID recommended on section: Example: Java Generation with Concrete S...
    
    ID recommended on section: Basic Concrete Syntax Skills
    
    ID recommended on section: The Structure is Out There
    
    ID recommended on section: Using Anti-Quotation
    
    ID recommended on section: More Variability
    
    ID recommended on section: Using Meta Variables
    
    ID recommended on section: Linking with the Dryad Library
    
    ID recommended on section: Compilation in Automake Package
    
    ID recommended on section: Standalone Compilation at Command-line
    
    ID recommended on section: Explanation
    
    ID recommended on section: Dryad on Mac OS X
    
    ID recommended on section: Installing Dryad using Nix
    
    ID recommended on section: Dryad on Mac OS X 10.3
    
    make[2]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html/one-page'
    
    make[2]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html'
    
    make[2]: Nothing to be done for `all-am'.
    
    make[2]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html'
  - make[1]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/html'
- Making all in man
- make[1]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/man'
  - make[1]: Nothing to be done for `all'.
  - make[1]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/man'
- Making all in pdf
- make[1]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/pdf'
  - make[1]: Nothing to be done for `all'.
  - make[1]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export/pdf'
- make[1]: Entering directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export'
  - make[1]: Nothing to be done for `all-am'.
  - make[1]: Leaving directory `/tmp/nix-build-k7qkx59s3fmdlllgg328s0qz35a1jzh8-source-tarball.drv-0/5x0x55zm5dz86i2x1rjj7q5nm5m6dx0j-svn-export'