check flags: building check-recursive Making check in . make[1]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609' building all-local /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/xtc -r /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC import /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/share/strategoxt/XTC /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/xtc -r /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC import /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front/XTC Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: dryad.m4 building all-local /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/xtc -r /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC register -l `dirname /nix/store/7z64gqr4365vzjvr6azizdwwz0a19l59-jdk-1.6.0_4/bin/java` -t java -V 1.5 /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/xtc -r /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC register -l `dirname /nix/store/7z64gqr4365vzjvr6azizdwwz0a19l59-jdk-1.6.0_4/bin/jar` -t jar -V 1.5 make[1]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609' Making check in external make[1]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/external' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/external' Making check in libraries make[1]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries' building check-recursive Making check in stratego-jvm make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries/stratego-jvm' building check-recursive Making check in lib make[3]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries/stratego-jvm/lib' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: libstratego-jvm.rtree make[3]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries/stratego-jvm/lib' make[3]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries/stratego-jvm' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries/stratego-jvm' make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries/stratego-jvm' make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries' make[1]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/libraries' Making check in classtree make[1]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree' building check-recursive Making check in java-aterm make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree/java-aterm' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree/java-aterm' Making check in bridge make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree/bridge' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: class2aterm.jar aterm2class.jar make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree/bridge' Making check in syn make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree/syn' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: ClassSignature.rtg MethodSignature.rtg FieldSignature.rtg ClassSignature.def MethodSignature.def FieldSignature.def ClassSignature.tbl MethodSignature.tbl FieldSignature.tbl make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree/syn' Making check in tests make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree/tests' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree/tests' make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: ClassTree.rtg make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree' make[1]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/classtree' Making check in lib make[1]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/lib' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: dryad/bytecode/Signature.rtree dryad/bytecode/ClassSignature.rtree dryad/bytecode/FieldSignature.rtree dryad/bytecode/MethodSignature.rtree dryad/components.rtree dryad/bytecode/Bridge.rtree dryad/bytecode/ClassSignature.rtree dryad/bytecode/FieldSignature.rtree dryad/bytecode/MethodSignature.rtree dryad/bytecode/Signature.rtree dryad/bytecode/util.rtree dryad/jls/binary/Form.rtree dryad/jls/conversions/AssignmentConversion.rtree dryad/jls/conversions/Boxing.rtree dryad/jls/conversions/CaptureConversion.rtree dryad/jls/conversions/CastingConversion.rtree dryad/jls/conversions/IdentityConversion.rtree dryad/jls/conversions/Kinds.rtree dryad/jls/conversions/MethodInvocationConversion.rtree dryad/jls/conversions/NarrowingPrimitive.rtree dryad/jls/conversions/NarrowingReference.rtree dryad/jls/conversions/NumericPromotions.rtree dryad/jls/conversions/Unboxing.rtree dryad/jls/conversions/UncheckedConversion.rtree dryad/jls/conversions/WideningPrimitive.rtree dryad/jls/conversions/WideningReference.rtree dryad/jls/names/AccessControl.rtree dryad/jls/names/Canonical.rtree dryad/jls/names/Main.rtree dryad/jls/expressions/AssignmentOperators.rtree dryad/jls/types/Erasure.rtree dryad/jls/types/Lub.rtree dryad/jls/types/Main.rtree dryad/jls/types/Parameterized.rtree dryad/jls/types/Primitive.rtree dryad/jls/types/Raw.rtree dryad/jls/types/Reference.rtree dryad/jls/types/Reifiable.rtree dryad/jls/types/Subtyping.rtree dryad/model/array-class.rtree dryad/model/bytecode-class.rtree dryad/model/bytecode-constructor.rtree dryad/model/bytecode-field.rtree dryad/model/bytecode-method.rtree dryad/model/class.rtree dryad/model/classpath.rtree dryad/model/compilation-unit.rtree dryad/model/constructor.rtree dryad/model/field.rtree dryad/model/member.rtree dryad/model/method.rtree dryad/model/package.rtree dryad/model/reference-ast.rtree dryad/model/repository.rtree dryad/model/source-class.rtree dryad/model/source-constructor.rtree dryad/model/source-field.rtree dryad/model/source-method.rtree dryad/reclassify/Body.rtree dryad/reclassify/Bytecode.rtree dryad/reclassify/Check.rtree dryad/reclassify/ClassOrInterfaceType.rtree dryad/reclassify/ContextuallyAmbName.rtree dryad/reclassify/Header.rtree dryad/reclassify/Main.rtree dryad/reclassify/MeaningOfExpressionNames.rtree dryad/reclassify/MeaningOfPackageOrTypeName.rtree dryad/reclassify/Undo.rtree dryad/reclassify/declare/ClassMembers.rtree dryad/reclassify/declare/FormalParameters.rtree dryad/reclassify/declare/FormalTypeParameters.rtree dryad/reclassify/declare/Imports.rtree dryad/reclassify/declare/LocalVariables.rtree dryad/reclassify/declare/This.rtree dryad/simplify/Sanity.rtree dryad/source/Attributes.rtree dryad/source/Extensions.rtree dryad/type-check/AdditiveOperators.rtree dryad/type-check/ArrayAccessExpressions.rtree dryad/type-check/ArrayCreationExpressions.rtree dryad/type-check/ArrayInitializers.rtree dryad/type-check/AssignmentOperators.rtree dryad/type-check/BitwiseAndLogicalOperators.rtree dryad/type-check/CastExpressions.rtree dryad/type-check/ClassInstanceCreationExpressions.rtree dryad/type-check/ConditionalAndOperator.rtree dryad/type-check/ConditionalOperator.rtree dryad/type-check/ConditionalOrOperator.rtree dryad/type-check/ConstantExpression.rtree dryad/type-check/EqualityOperators.rtree dryad/type-check/FieldAccessExpressions.rtree dryad/type-check/Main.rtree dryad/type-check/MeaningOfExpressionNames.rtree dryad/type-check/MethodInvocationExpressions.rtree dryad/type-check/MultiplicativeOperators.rtree dryad/type-check/PostfixExpressions.rtree dryad/type-check/RelationalOperators.rtree dryad/type-check/ShiftOperators.rtree dryad/type-check/UnaryOperators.rtree dryad/type-check/invoke/ConstraintReduction.rtree dryad/type-check/invoke/Constraints.rtree dryad/type-check/invoke/InferringTypeArguments.rtree dryad/type-check/invoke/StepAppropriate.rtree dryad/type-check/invoke/StepSearch.rtree dryad/type-check/invoke/StepSignature.rtree dryad/type-check/primary/ClassLiterals.rtree dryad/type-check/primary/LexicalLiterals.rtree dryad/type-check/primary/ParenthesizedExpressions.rtree dryad/type-check/primary/QualifiedThis.rtree dryad/type-check/primary/This.rtree dryad/type-check/stm/ForStatement.rtree dryad/type-check/stm/LocalVarDec.rtree dryad/errors/Main.rtree dryad/util/debug.rtree dryad/util/jtree-overlays.rtree dryad/util/jtree.rtree dryad/util/loader.rtree dryad/util/option.rtree dryad/lib-ext/common.rtree dryad/lib-ext/hash-table.rtree dryad/lib-ext/list.rtree dryad/lib-ext/log.rtree dryad/lib-ext/multi-options.rtree dryad/lib-ext/sunit.rtree dryad/lib-ext/switch-options.rtree dryad/lib-ext/wannabe-lisp.rtree dryad/lib-ext/oo/classes.rtree dryad/lib-ext/xtc/multi-options.rtree dryad/lib-ext/xtc/temp-file.rtree dryad.rtree libdryad.rtree make[1]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/lib' Making check in compiler make[1]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler' building check-recursive Making check in classpath make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler/classpath' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: structured-classpath Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: rt.classes make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler/classpath' Making check in front make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler/front' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: dryad-vis-tc-jtree dryad-simplify dryad-type-checker dryad-amb-type-checker dryad-reclassify-ambnames dryad-undo-reclassify-ambnames dryad-errors Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler/front' Making check in back make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler/back' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: dryad-emit Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler/back' Making check in main make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler/main' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: dryad-front Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler/main' make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler' make[1]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/compiler' Making check in tools make[1]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/tools' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: auto-dryad dryad-show-hierarchy class2aterm aterm2class annotate-start-line-column Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/tools' Making check in tests make[1]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests' building check-recursive Making check in nutshell make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests/nutshell' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests/nutshell' make[2]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests' building all-local Tools registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: Data registered in repository /tmp/nix-21968-0/dryad-0.2pre17609/BUILDTIME_XTC: building check-am make dryad-type-checker-tests dryad-reclassify-ambnames-tests dryad-model-tests dryad-jls-tests rt.classes make[3]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests' building dryad-type-checker-tests.c /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/strc -I /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front-syntax -I /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front -la /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/share -la /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-type-checker-tests --format-check 0 -O 0 -i dryad-type-checker-tests.str -o dryad-type-checker-tests.c -c [ strc | info ] Compiling 'dryad-type-checker-tests.str' [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor Public used without parentheses [ strc | warning ] Nullary constructor Final used without parentheses [ strc | warning ] Nullary constructor Int used without parentheses [ strc | warning ] Nullary constructor TypeCloneable used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] Nullary constructor TempFiles used without parentheses [ strc | warning ] Nullary constructor Plus used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] multiple external definitions with same signature [ExtSDef("FILE",[VarDec("c_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("FILE",[VarDec("u_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("DIR",[VarDec("d_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("DIR",[VarDec("v_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TEMP",[],[]),ExtSDef("TEMP",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TempFiles",[],[]),ExtSDef("TempFiles",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TempDirs",[],[]),ExtSDef("TempDirs",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Tool",[VarDec("e_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Tool",[VarDec("w_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Repository",[],[]),ExtSDef("Repository",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Import",[],[]),ExtSDef("Import",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Imported",[VarDec("f_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Imported",[VarDec("x_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("XTC",[],[]),ExtSDef("XTC",[],[])] [ strc | info ] Front-end succeeded : [user/system] = [3.74s/0.61s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [1.85s/0.03s] [ strc | info ] Compilation succeeded : [user/system] = [5.59s/0.65s] building dryad-type-checker-tests.o gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17609\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17609\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17609\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17609\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"17609\" -I. -I. -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/include -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/include -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -c dryad-type-checker-tests.c building dryad-type-checker-tests /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -o dryad-type-checker-tests dryad-type-checker-tests.o -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\" -g -O2 -o .libs/dryad-type-checker-tests dryad-type-checker-tests.o -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/nix/store/7z64gqr4365vzjvr6azizdwwz0a19l59-jdk-1.6.0_4/jre/lib/i386/server -ljvm /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-sglr.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-xtc.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libjustsglr.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-lib.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-lib-native.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-runtime.so -lm /nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib -Wl,--rpath -Wl,/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -Wl,--rpath -Wl,/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/lib -Wl,--rpath -Wl,/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib creating dryad-type-checker-tests building dryad-reclassify-ambnames-tests.c /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/strc -I /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front-syntax -I /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front -la /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/share -la /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-reclassify-ambnames-tests --format-check 0 -O 0 -i dryad-reclassify-ambnames-tests.str -o dryad-reclassify-ambnames-tests.c -c [ strc | info ] Compiling 'dryad-reclassify-ambnames-tests.str' [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor Public used without parentheses [ strc | warning ] Nullary constructor Final used without parentheses [ strc | warning ] Nullary constructor Int used without parentheses [ strc | warning ] Nullary constructor TypeCloneable used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] Nullary constructor TempFiles used without parentheses [ strc | warning ] Nullary constructor Plus used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] multiple external definitions with same signature [ExtSDef("FILE",[VarDec("u_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("FILE",[VarDec("c_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("DIR",[VarDec("v_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("DIR",[VarDec("d_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TEMP",[],[]),ExtSDef("TEMP",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TempFiles",[],[]),ExtSDef("TempFiles",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TempDirs",[],[]),ExtSDef("TempDirs",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Tool",[VarDec("w_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Tool",[VarDec("e_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Repository",[],[]),ExtSDef("Repository",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Import",[],[]),ExtSDef("Import",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Imported",[VarDec("x_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Imported",[VarDec("f_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("XTC",[],[]),ExtSDef("XTC",[],[])] [ strc | info ] Front-end succeeded : [user/system] = [2.66s/0.59s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.36s/0.03s] [ strc | info ] Compilation succeeded : [user/system] = [3.02s/0.62s] building dryad-reclassify-ambnames-tests.o gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17609\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17609\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17609\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17609\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"17609\" -I. -I. -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/include -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/include -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -c dryad-reclassify-ambnames-tests.c building dryad-reclassify-ambnames-tests /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -o dryad-reclassify-ambnames-tests dryad-reclassify-ambnames-tests.o -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\" -g -O2 -o .libs/dryad-reclassify-ambnames-tests dryad-reclassify-ambnames-tests.o -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/nix/store/7z64gqr4365vzjvr6azizdwwz0a19l59-jdk-1.6.0_4/jre/lib/i386/server -ljvm /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-sglr.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-xtc.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libjustsglr.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-lib.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-lib-native.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-runtime.so -lm /nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib -Wl,--rpath -Wl,/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -Wl,--rpath -Wl,/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/lib -Wl,--rpath -Wl,/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib creating dryad-reclassify-ambnames-tests building dryad-model-tests.c /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/strc -I /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front-syntax -I /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front -la /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/share -la /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-model-tests --format-check 0 -O 0 -i dryad-model-tests.str -o dryad-model-tests.c -c [ strc | info ] Compiling 'dryad-model-tests.str' [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses [ strc | warning ] Nullary constructor TypeString used without parentheses [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] Nullary constructor RefTypeBoolean used without parentheses [ strc | warning ] Nullary constructor TypeNumber used without parentheses [ strc | warning ] Nullary constructor Plus used without parentheses [ strc | warning ] Nullary constructor Public used without parentheses [ strc | warning ] Nullary constructor Final used without parentheses [ strc | warning ] Nullary constructor Int used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] Nullary constructor TypeCloneable used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] Nullary constructor TempFiles used without parentheses [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor TypeString used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] multiple external definitions with same signature [ExtSDef("FILE",[VarDec("c_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("FILE",[VarDec("u_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("DIR",[VarDec("d_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("DIR",[VarDec("v_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TEMP",[],[]),ExtSDef("TEMP",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TempFiles",[],[]),ExtSDef("TempFiles",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TempDirs",[],[]),ExtSDef("TempDirs",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Tool",[VarDec("e_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Tool",[VarDec("w_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Repository",[],[]),ExtSDef("Repository",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Import",[],[]),ExtSDef("Import",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Imported",[VarDec("f_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Imported",[VarDec("x_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("XTC",[],[]),ExtSDef("XTC",[],[])] [ strc | info ] Front-end succeeded : [user/system] = [4.08s/0.56s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [1.56s/0.04s] [ strc | info ] Compilation succeeded : [user/system] = [5.64s/0.61s] building dryad-model-tests.o gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17609\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17609\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17609\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17609\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"17609\" -I. -I. -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/include -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/include -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -c dryad-model-tests.c building dryad-model-tests /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -o dryad-model-tests dryad-model-tests.o -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\" -g -O2 -o .libs/dryad-model-tests dryad-model-tests.o -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/nix/store/7z64gqr4365vzjvr6azizdwwz0a19l59-jdk-1.6.0_4/jre/lib/i386/server -ljvm /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-sglr.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-xtc.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libjustsglr.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-lib.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-lib-native.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-runtime.so -lm /nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib -Wl,--rpath -Wl,/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -Wl,--rpath -Wl,/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/lib -Wl,--rpath -Wl,/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib creating dryad-model-tests building dryad-jls-tests.c /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/strc -I /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front-syntax -I /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/share/java-front -la /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/share -la /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-jls-tests --format-check 0 -O 0 -i dryad-jls-tests.str -o dryad-jls-tests.c -c [ strc | info ] Compiling 'dryad-jls-tests.str' [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor RefTypeString used without parentheses [ strc | warning ] Nullary constructor Short used without parentheses [ strc | warning ] Nullary constructor Double used without parentheses [ strc | warning ] Nullary constructor Long used without parentheses [ strc | warning ] Nullary constructor Float used without parentheses [ strc | warning ] Nullary constructor Double used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] Nullary constructor TypeString used without parentheses [ strc | warning ] Nullary constructor Int used without parentheses [ strc | warning ] Nullary constructor Long used without parentheses [ strc | warning ] Nullary constructor Int used without parentheses [ strc | warning ] Nullary constructor Double used without parentheses [ strc | warning ] Nullary constructor Float used without parentheses [ strc | warning ] Nullary constructor TypeListString used without parentheses [ strc | warning ] Nullary constructor TypeListObject used without parentheses [ strc | warning ] Nullary constructor TypeRawList used without parentheses [ strc | warning ] Nullary constructor Null used without parentheses [ strc | warning ] Nullary constructor Null used without parentheses [ strc | warning ] Nullary constructor Null used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor None used without parentheses [ strc | warning ] Nullary constructor Public used without parentheses [ strc | warning ] Nullary constructor Final used without parentheses [ strc | warning ] Nullary constructor Int used without parentheses [ strc | warning ] Nullary constructor Plus used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] Nullary constructor TempFiles used without parentheses [ strc | warning ] Nullary constructor TypeCloneable used without parentheses [ strc | warning ] Nullary constructor TypeObject used without parentheses [ strc | warning ] multiple external definitions with same signature [ExtSDef("FILE",[VarDec("u_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("FILE",[VarDec("c_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("DIR",[VarDec("v_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("DIR",[VarDec("d_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TEMP",[],[]),ExtSDef("TEMP",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TempFiles",[],[]),ExtSDef("TempFiles",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("TempDirs",[],[]),ExtSDef("TempDirs",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Tool",[VarDec("w_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Tool",[VarDec("e_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Repository",[],[]),ExtSDef("Repository",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Import",[],[]),ExtSDef("Import",[],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("Imported",[VarDec("x_104",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[]),ExtSDef("Imported",[VarDec("f_14",FunType([ConstType(Sort("ATerm",[]))],ConstType(Sort("ATerm",[]))))],[])] [ strc | warning ] multiple external definitions with same signature [ExtSDef("XTC",[],[]),ExtSDef("XTC",[],[])] [ strc | info ] Front-end succeeded : [user/system] = [2.88s/0.57s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] * warning (MkClosure) expects more than one frame: SDefT("lifted112"{Offsets(0,0),Closure("lifted112_cl"),ClosureAlloc},[],[],CallT(SVar("p_122"{Frames(["lifted112"])}),[],[])) [ strc | info ] Back-end succeeded : [user/system] = [1.78s/0.02s] [ strc | info ] Compilation succeeded : [user/system] = [4.66s/0.59s] building dryad-jls-tests.o gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17609\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17609\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17609\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17609\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"17609\" -I. -I. -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/include -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/include -I/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -c dryad-jls-tests.c building dryad-jls-tests /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -o dryad-jls-tests dryad-jls-tests.o -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-runtime -lm -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/share/dryad/XTC\" -g -O2 -o .libs/dryad-jls-tests dryad-jls-tests.o -L/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib -L/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib /nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib/libjava-front.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/nix/store/7z64gqr4365vzjvr6azizdwwz0a19l59-jdk-1.6.0_4/jre/lib/i386/server -ljvm /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-sglr.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-xtc.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libjustsglr.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-lib.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-lib-native.so /nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib/libstratego-runtime.so -lm /nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/cbz77zjqf9klc77bs68s1mcrshi37808-java-front-0.9pre1750317503-w39y99xd/lib -Wl,--rpath -Wl,/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/lib -Wl,--rpath -Wl,/nix/store/66qjz5ikqpm5nhwvx7x8c6cf43z695z4-dryad-0.2pre1760917609/lib -Wl,--rpath -Wl,/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib creating dryad-jls-tests building rt.classes ln -s ../compiler/classpath/rt.classes make[3]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests' make check-TESTS make[3]: Entering directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests' building check-TESTS ======================================================================= test suite: Dryad -- Type Checker ======================================================================= ======================================================================= Primary Expressions Integer literal 1 Integer literal 2 Integer literal 3 Integer literal 4 Integer literal 5 Integer literal 6 Integer literal 7 Integer literal 8 Integer literal 9 Integer literal 10 Integer literal 11 Integer literal 12 Double literal 1 Double literal 2 Double literal 3 Float literal 1 Float literal 2 Boolean literal 1 Boolean literal 2 Void class literal Int class literal Integer class literal Simple this Simple qualified this Simple qualified this Qualified this in member class Qualified this in member class ======================================================================= Class Instance Creation Expressions new Integer(1) new java.awt.Point(2, 3) new java.util.ArrayList() No constructor with 0 arguments in Integer class Invocation of 0-arg source constructor Invocation of 1-arg source constructor Incorrect invocation of 0-arg source constructor Incorrect invocation of 0-arg source constructor Invocation of default constructor Incorrect invocation of 1-arg source constructor Constructor where formal parameter includes a type parameter of the class. Invocation of constructor with int[] argument - 1 Invocation of constructor with int xs[] argument - 2 Invocation of constructor with int xs[] argument - 3 Invocation of constructor with int xs[] argument - 4 ======================================================================= Array Creation Expressions new int[3] new int[(short) 4] new int[(byte) 4] new int['a'] new int[3][3] new int[3][3][3] new int[3][] new int[3][][] new float[3] new float[3][3] new int[true] new int[3l] new int[2][3l] new int[3.0f] new int[3.0d] new String[3] new String[3][3] new String[3][3][3] new String[3][] new String[3][][] new String[true] new String[3l] new String[2][3l] new String[3.0f] new String[3.0d] ======================================================================= Field Access Expressions Simple bytecode field access Simple bytecode field access 2 Simple field access Simple field access (reversed) Simple field access of array field Simple field access of array field Simple field access of array field Field access qualified with a this Local variable hides field Local variable hides field, but field can still be qualified Length field access of array Super field access in super source class Super field access in super bytecode class Super field access should not consider field in this class Outer instance field access Shadowed instance field access Qualified outer instance field access Qualified super field access in super bytecode class Qualified super field access should not consider field in this class Field access should prefer field in subclass over field in superclass Access of static field in interface. Access of static field in interface. Ambiguous access of static field. Non ambiguous access of static field. Access to private field is forbidden. Super field access cannot access private field. Super field access cannot access private field and should not fall back. Access to protected field in a different package is forbidden. Access to protected field in same package is ok. Declaring class of simple bytecode field access Declaring class for field access visible in different ways. Declaring class of super field access in super source class ======================================================================= Method Invocation Expressions Simple static method invocation Boolean method in bytecode Invocation on super class Invocation on interface Invocation on super interface Invocation on abstract method Method applicable by subtyping Method applicable by proper subtyping Method applicable by proper subtyping Overloaded abs method Overloaded abs method Overloaded abs method Overloaded abs method Simple method invocation in source code Simple method invocation in source code Simple method invocation in source code Simple method invocation in source code Overload method invocation in source code Overloaded method invocation in source code (reversed) Overload method invocation in source code Overloaded method invocation in source code (reversed) Method invocation on field Invocation of static method in source class Invocation of method in super source class of this Invocation of method in super bytecode class of this Invocation of abstract method declared an abstract sourceclass. Invocation of method declared in a source interface. Invocation of method declared in an interface implemented by an abstract sourceclass. Invocation of method declared in an interface extended by another interface. Invocation of method declared in an interface implemented by an abstract sourceclass. Invocation of method with array argument. Explicit super method invocation Just a random method invocation that failed - 1 Just a random method invocation that failed - 2 Just a random method invocation that failed - 3 Just a random method invocation that failed - 4 Just a random method invocation that failed - 5 Just a random method invocation that failed - 6 Just a random method invocation that failed - 6b Just a random method invocation that failed - 7 Just a random method invocation that failed - 8 Just a random method invocation that failed - 9 Just a random method invocation that failed - 10 Method invocation on instance of member class. Invocation of method in enclosing class. Invocation of method inherited by enclosing class. Invocation of method in member class that shadows method in enclosing class. Method invocation on qualified this. Simple Qualified super method invocation. Invocation of method that has a formal parameter that is a type variable. Invocation of method with int[] argument - 1 Invocation of method with int xs[] argument - 2 Invocation of method with int xs[] argument - 3 Invocation of method with int xs[] argument - 4 Invocation with boxing conversion Invocation with null (not a method invocation conversion) Invocation with null cannot be unboxed Invocation requiring boxing conversion and widening reference. DRY-248: Invocation requiring boxing conversion and widening reference. DRY-248: Invocation requiring boxing conversion and widening reference. Invocation with unboxing conversion Invocation with unboxing conversion and widening primitive Invocation requiring an unchecked conversion DRY-234: Invocation requiring an unchecked conversion DRY-234: Invocation requiring an unchecked conversion Invocation requiring an unchecked conversion -> erase return type Invocation requiring an unchecked conversion -> erase return type Invocation requiring an unchecked conversion -> erase return type Invocation requiring an unchecked conversion -> erase return type Invocation of private method in superclass. Invocation of private method is not allowed. Non-generic method invocation must have not actual type args attribute. Generic method invocation with explicit type param Generic method invocation with explicit type param Generic method invocation with explicit type param Generic method invocation with explicit type param Generic method invocation with explicit type param Generic method invocation with more general explicit type param Generic method invocation with more general explicit type param Generic method invocation with illegal explicit type param Generic method invocation with two explicit type params Generic method invocation with incorrect number of explicit type param Generic method invocation, infer type param 1 Generic method invocation, infer type param 1, check presence of type arguments attribute. Generic method invocation, infer type param 2 Generic method invocation, infer type param 3 Generic method invocation, infer two type param 1 Generic method invocation, infer two type param 2 Generic method invocation, infer two type param 3 Generic method invocation in bytecode, infer type param 1 Generic method invocation in bytecode, infer type param 2 ======================================================================= Array Access Expressions int[] xs = new int[10]; xs[0] float[] xs = new float[10]; xs[0] String[] xs = new String[10]; xs[0] int[][] xs = new int[10][10]; xs[0][0] int[][] xs = new int[10][10]; xs[0] int[] xs = new int[10]; xs[1l] int[] xs = new int[10]; xs[1.0d] int[] xs = new int[10]; xs[1.0f] int x = 0; x[0] int[] xs = new int[10]; xs[0][0] ======================================================================= Postfix Expressions int x = 0 ; x; int x ; x; String s ; s; int x,y ; x; int x,y ; y; int x,y = 0 ; x; int x,y = 0 ; y; int x = 0,y = 0 ; x; int x = 0,y = 0 ; y; Variable does not exist. System.out java.beans.BeanInfo.ICON_COLOR_32x32 Byte.MAX_VALUE Short.MAX_VALUE Integer.MAX_VALUE Long.MAX_VALUE Instance variable used as class variable java.awt.Point p = new java.awt.Point(2, 3); p.x; Use of a field declared in a superclass Loop variable Loop variable is no longer in scope after for loop. Formal catch parameter. Invocation of method on formal catch parameter. Integer.TYPE byte x; x++; short x; x++; char x; x++; int x; x++; long x; x++; float x; x++; double x; x++; Byte x; x++; Short x; x++; Character x; x++; Integer x; x++; Long x; x++; Float x; x++; Double x; x++; boolean x; x++; Boolean x; x++; int x; x--; long x; x--; ======================================================================= Unary Expressions byte x; ++x; short x; ++x; char x; ++x; int x; ++x; long x; ++x; float x; ++x; double x; ++x; Byte x; ++x; Short x; ++x; Character x; ++x; Integer x; ++x; Long x; ++x; Float x; ++x; Double x; ++x; boolean x; ++x; Boolean x; ++x; int x; --x; long x; --x; + int literal + long literal + float literal + float literal + cannot be applied to boolean - int literal - long literal - long literal - float literal - float literal - char literal - cannot be applied to boolean - Byte - Short - Character - Character - Long - Float - Double - cannot be applied to boolean ~ int literal ~ long literal ~ char literal ~ cannot be applied to boolean ~ cannot be applied to float ~ cannot be applied to double ~ Byte ~ Short ~ Character ~ Integer ~ Long ~ cannot be applied to Float ~ cannot be applied to Double !boolean literal !boolean literal !!!boolean literal ! cannot be applied to int ! cannot be applied to float ! cannot be applied to double ======================================================================= Cast Expressions null can be cast to Integer null cannot be cast to int null cannot be cast to long int can be cast to Integer int cannot be cast to Long long can be cast to Long long cannot be cast to Integer boolean can be cast to a boolean boolean can be cast to Boolean boolean cannot be cast to an int boolean cannot be cast to an Integer Cast from a source type to an extended source type Cast from a source type to an implemented source type Cast from a source type to an implemented bytecode type Cast from an interface source type to an implemented source type ======================================================================= Multiplicative Operators 1 * 1 1 / 1 1 % 1 (short) 1 % (short) 1 1.0 * 1 1 * 1.0 1.0 / 1 1 / 1.0 1.0 % 1 1 % 1.0 1.0f * 1 1l * 1 1l * 1f 1l * 1.0 1 * true true * 1 true * true ======================================================================= Additive Operators "" + 1 1 + "" 1.0f + "" null + "" true + "" false + "" 1 + 1 1 - 1 1.0 + 1 1 + 1.0 1.0 - 1 1 - 1.0 1.0f + 1 1l + 1 1l + 1f 1l + 1.0 1 + true true + 1 true + true ======================================================================= Shift Operators 1 << 1 1L << 1 'a' << 1 'a' << 1L 1 << 1L 1.0 << 1 1 << 1.0 true << 1 1 << true ======================================================================= For Statements for(int i : new java.util.ArrayList()) { i = i; } for(Object raw : new java.util.ArrayList()) { raw = raw; } for(long l : new long[3]) { l = l; } for(Object o : new Object[3]) { o = o; } ======================================================================= Relational Operators 1 < 2 1 > 2 1 <= 2 1 >= 2 'a' < 'b' 1 < true true < 1 true < false ======================================================================= Equational Operators 1 == 2 1 != 2 1.0f != 1 1.0d != 1 true != false true == false 1 == true 1 != true null == null "" == null "" == 1 "" == true ======================================================================= Bitwise Operators 1 & 2 'a' & 'b' 'a' & 1 1L & 2L 1 & 2L 1L & 2 true & false 1 & false 'a' & false "1" & 2 ======================================================================= Conditional Operators true && false true || false true && 0 1 && 0 true || 0 1 || 0 true ? 1 : 1 true ? 1.0 : 1.0 true ? 1.0f : 1.0f true ? 1l : 1l true ? 'a' : 'b' true ? "" : "" true ? true : true true ? true : (Boolean) null true ? (Boolean) null : true true ? "" : null true ? null : "" true ? (byte) 1 : (short) 1 true ? (byte) 1 : 1 true ? 1 : (byte) 1 true ? (short) 1 : 1 true ? 1 : (short) 1 true ? 'a' : 1 true ? 1 : 'a' true ? 1.0 : 1 true ? 1 : 1.0 true ? 1.0f : 1 true ? 1l : 1 true ? 1l : 1f true ? 1l : 1.0 1 ? 1 : 1 ======================================================================= Assignment Operators int x; x = 3; boolean b; b = true; int x; x += 3; int x; x *= 3; int x; x /= 3; int x; x %= 3; int x; x >>= 3; String s; s += "foo"; Integer x; x += 3; String s; s = null; Object o; o = null; Integer i; i = null; String s; s *= "foo"; boolean b; b += false; int x; x = 1.0d; int x; x = 1.0f; int x; x = null; long x; x = null; short x; x = null; double x; x = null; boolean x; x = null; java.util.List foo; foo = new java.util.ArrayList(); java.util.List foo; foo = new java.util.ArrayList(); Comparable foo; foo = new Integer(5); Comparable foo; foo = new Integer(5); Comparable foo; foo = 5; java.util.ArrayList array; java.util.List list; array = list; java.util.List list1; java.util.List list2; list1 = list2; java.util.List list1; java.util.List list2; list2 = list1; ======================================================================= Method Parameters int plus() { int x = 5; return x + x; } Method parameter Constructor parameter Constructor parameter ======================================================================= successes: 457 failures: 0 ======================================================================= PASS: dryad-type-checker-tests ======================================================================= test suite: Dryad -- Reclassification of Contextually Ambiguous Names ======================================================================= localvar 1: Simple method parameter localvar 2: Local variable declaration localvar 3: Local variable declaration localvar 4: Local variable declaration localvar 5: Missing variable [ lt-dryad-front | error ] Ambiguous construct cannot be reclassified: AmbName(Id("s")) localvar 6: Variable must be declared before it is used. [ lt-dryad-front | error ] Ambiguous construct cannot be reclassified: AmbName(Id("s")) localvar 7: Variable in local block is not visible outside this block. [ lt-dryad-front | error ] Ambiguous construct cannot be reclassified: AmbName(Id("s")) localvar 8: Variable in for loop. localvar 9: Variable in for loop. localvar 10: Formal parameter of catch block localvar 11: Local variable declaration localvar 12: Local array variable declaration localvar 13: Local array variable declaration localvar 14: Local array variable declaration localvar 15: Local array variable declaration localvar 16: Local array variable declaration localvar 17: Local array variable declaration localvar 18: Local array variable declaration fields 1: Field declaration fields: Multiple Field declarations fields 2: Field declaration fields 3: Field declaration fields 4: Field declaration in different source class (interface) fields 5: Field declaration in different source class (interface) DRY-211: Field declaration in super class as subject of method invocation (AmbName) DRY-211: Field declaration in super class as subject of method invocation (AmbName) DRY-211: Field declaration in super class as subject of method invocation (AmbName) DRY-211: Field declaration in super class as subject of method invocation (AmbName) DRY-211: Field declaration in super class as subject of method invocation (AmbName) Static field Field in other source class Do not rewrite ExprName to Field by default. DRY-240 reclassification of field of field DRY-240 reclassification of field of field DRY-242: reclassification of field of field of local variable Simple method invocation Method invocation on local variable Method invocation on field Static method invocation Static method invocation on member class Qualified this Qualified this Qualified this Field access in member classes (tests qualified AmbName -> TypeName) Field access in member classes (tests qualified AmbName -> TypeName) Construction of static member class (tests PackageOrTypeName -> TypeName) Construction of static member class (tests PackageOrTypeName -> TypeName) PackageOrTypeName of imported typed 1: Member class shadow top level class. 2: Member class shadow top level class. 3: Member class shadow top level class. 4: Member class shadow top level class. 4: Member class shadow top level class. 1: Check scope of member of member class. [ lt-dryad-front | error ] Ambiguous construct cannot be reclassified: ClassOrInterfaceType(TypeName(Id("Fred")),None) 2: Check scope of member of member class. [ lt-dryad-front | error ] Ambiguous construct cannot be reclassified: ClassOrInterfaceType(TypeName(Id("Fred")),None) DRY-228: worklist problem with member classes. DRY-228: worklist problem with member classes. DRY-229: Reclassification: support inherited member classes DRY-232: Inherited member types used as ambnames are not reclassified. Automatic import of java.lang.* (7.5.5, page 165) 1: java.lang is imported on demand, so a class with the same name in this compilation unit is preferred 2: java.lang is imported on demand, so a class with the same name in this compilation unit is preferred 3: java.lang is imported on demand, so a class with the same name in this compilation unit is preferred 4: java.lang is imported on demand, so a class with the same name in this compilation unit is preferred 5: java.lang is imported on demand, so a class with the same name in this package is preferred 1: for imported on demand, a class with the same name in this package is preferred For single type imports, a class with the same name in this package is *not* preferred 22: Single-type imports shadow on-demand type imports 23: Single-type imports shadow on-demand type imports Check for issue DRY-222: Scoping problem in new reclassifier [ lt-dryad-front | error ] Ambiguous construct cannot be reclassified: ClassOrInterfaceType(TypeName(Id("ArrayList")),None) 33: Qualification and disambiguation in interface. 34: Qualification and disambiguation in class. 28: Interface type declared in a source file 29: Interface type declared in same compilation unit. 30: Class type declared in a source file 31: Interface declared in bytecode Top level package bar is obscured by the type declaration bar in this compilation unit. [ lt-dryad-front | error ] Ambiguous construct cannot be reclassified: ClassOrInterfaceType(TypeName(PackageOrTypeName(TypeName(PackageName([Id("org"),Id("foo")]),Id("bar")),Id("Foo")),Id("Fred")),None) Top level package bar is obscured by the type declaration bar in this compilation unit. Cyclic dependency in the inheritance graph. [ lt-dryad-front | error ] Cyclic dependency involving TypeName(PackageName([]),Id("Foo")) /tmp/nix-21968-0/dryad-0.2pre17609/compiler/main/.libs/lt-dryad-front: rewriting failed, trace: main_0_0 main_dryad_front_0_0 xtc_multi_io_wrap_4_0 option_wrap_5_0 lifted590 xtc_multi_input_1_0 xtc_temp_files_1_0 restore_always_2_0 Cyclic dependency in the inheritance graph. [ lt-dryad-front | error ] Cyclic dependency involving TypeName(PackageName([]),Id("Foo")) /tmp/nix-21968-0/dryad-0.2pre17609/compiler/main/.libs/lt-dryad-front: rewriting failed, trace: main_0_0 main_dryad_front_0_0 xtc_multi_io_wrap_4_0 option_wrap_5_0 lifted590 xtc_multi_input_1_0 xtc_temp_files_1_0 restore_always_2_0 Simple formal type parameter of class Simple formal type parameter of interface Simple type type parameter of method Simple type type parameter of constructor Member type shadows type variable 1: Scope of type parameter includes the type parameter section 2: Scope of type parameter includes the type parameter section Shadowing of the type parameter of the class Shadowing of the type parameter of the enclosing class 9a: Type declaration 9b: Type declaration 9c: Type declaration 11: Imported type on demand 12: Imported type on demand [ lt-dryad-front | error ] Ambiguous construct cannot be reclassified: AmbName(Id("DoesNotExist")) 13: Expression name qualified by package name. [ lt-dryad-front | error ] Qualifier of expression name cannot be a package: ExprName(PackageName([Id("java"),Id("lang")]),Id("Foo")) 14: qualified type name 16: package and qualified type name 17: package and multiple type declarations 18: package and multiple type declarations 19: package and multiple type declarations 21: Bug report Jerome 25: Two separate source files 26: Two separate source files 27: Two separate source files 32: Minimal interface declaration. ======================================================================= successes: 105 failures: 0 ======================================================================= PASS: dryad-reclassify-ambnames-tests ======================================================================= test suite: Dryad -- Model ======================================================================= Check that return type of String.length() is Int Check if source class is registered correctly Check if source interface is registered correctly Check canonical name of a package. Check fully qualified name of a package. Check canonical name of root package. Check the canonical name of a class in the root package Check the canonical name of a class in a package Check the modifiers of a source class Check the modifiers of a source class Check the modifiers of a source interface Check the modifiers of a source interface get-declared-methods returns empty list for non-existing name methods are not part of the methods of the Integer class methods are not part of the methods of the Integer class methods of source interfaces are available. methods of source interfaces are available. methods of source interfaces are available. Private methods are not inherited. Protected methods are inherited. Private methods are not inherited (has-method). Default access methods are inherited. Default access methods are not inherited into different package. Protected methods are inherited into different package. Default access methods are not inherited into different package, not even indirectly. Default access methods are not inherited into different package. Mixed access inheritance. Mixed access inheritance. canonical name of method. lookup method by its canonical name. Formal parameter types of a method in a parameterized type. Formal parameter types of a method in a raw type type. Source method without access modifier has default access. Source method in interface without access modifier has public access. Source method with public access modifier. Source method with private access modifier. Source method with protected access modifier. method a.A.a is not accessible in b.B. method p.A.a is accessible in p.B. public method a.A.a is accessible in b.B. public method a.A.a with default access A is not accessible in b.B. protected method p.A.a is accessible in p.B. protected method a.A.a is not accessible in b.B. protected method a.A.a is accessible in b.B extends A. public java.awt.Component.getWidth is accessible in A extends Component. protected java.awt.Component.requestFocus is accessible in A extends Component. Method in member class is accessible in outer class - 1. Method in member class is accessible in outer class - 2. Private method in member class is accessible in outer class. Private method in member class is accessible in other member class. Private method in member class is accessible in outer class. Default access of a source class. Default access of a source interface. Public access of a source class. class A is not accessible in b.B. public class A is accessible in b.B. class p.A is accessible in p.B. class a.A.A is not accessible in c.C. class p.A.A is accessible in p.B. public class a.A.B is accessible in c.C. public method a.A.B with default access A is not accessible in c.C. protected class p.A.B is accessible in p.C. protected class a.A.B is not accessible in c.C. protected class a.A.B is accessible in c.C extends A. Class in member class is accessible in outer class - 1. Private class in member class is accessible in outer class. Private method in member class is accessible in other member class. Source field without access modifier has default access. Source field in interface without access modifier has default access. Source field with public access modifier. Source field with private access modifier. Source field with protected access modifier. Bytecode field java.lang.System.out is public field a.A.a is not accessible in b.B. field p.A.a is accessible in p.B. public field a.A.a is accessible in b.B. public field a.A.a with default access A is not accessible in b.B. protected field p.A.a is accessible in p.B. private field A.a is not accessible in B. private field p.A.a is not accessible in p.B. protected field a.A.a is not accessible in b.B. Protected field a.A.a is accessible in b.B extends A if applied to C extends B. Protected field a.A.a is not accessible in b.B extends A if applied to c.C extends a.A. Protected static field a.A.a is accessible in b.B extends A if applied to c.C extends a.A. Protected field a.A.a is accessible in b.B extends A if applied to B. Protected field a.A.a is not accessible in b.B extends A if applied to A. Protected static field a.A.a is accessible in b.B extends A if applied to A. Field in member class is accessible in outer class - 1. Field in member class is accessible in outer class - 2. Private field in member class is accessible in outer class. Private field in member class is accessible in other member class. Private field in member class is accessible in outer class. Source constructor without access modifier has default access. Source constructor with public access modifier. Source constructor with private access modifier. Source constructor with protected access modifier. Bytecode constructor java.lang.Number is public Access of default constructor. Access of default constructor. Access of default constructor. Access of default constructor. Constructor a.A is not accessible in b.B. Constructor p.A is accessible in p.B. Public constructor a.A is accessible in b.B. Public constructor a.A with default access A is not accessible in b.B. Protected constructor p.A is accessible in p.B. Private constructor A is not accessible in B. Private constructor p.A is not accessible in p.B. Protected constructor a.A is not accessible in b.B. Protected constructor a.A is accessible in b.B extends A. Constructor in member class is accessible in outer class - 1. Constructor in member class is accessible in outer class - 2. Private constructor in member class is accessible in outer class. Private constructor in member class is accessible in other member class. Private constructor in member class is accessible in outer class. Source member type without access modifier has default access. Source member type in interface without access modifier has default access. Source member type with public access modifier. Source member type with private access modifier. Source member type with protected access modifier. Member type a.A.a is not accessible in b.B. Member type p.A.a is accessible in p.B. Public member type a.A.a is accessible in b.B. Public member type a.A.a with default access A is not accessible in b.B. protected member type p.A.a is accessible in p.B. private member type A.a is not accessible in B. private member type p.A.a is not accessible in p.B. protected member type a.A.a is not accessible in b.B. Protected member type a.A.a is accessible in b.B extends A. Member type in member class is accessible in outer class - 1. Member type in member class is accessible in outer class - 2. Private member type field in member class is accessible in outer class. Private member type in member class is accessible in other member class. Private member type in member class is accessible in outer class. Source class without formal type parameters. Source interface without formal type parameters. Source class with a formal type parameter. Source interface with a formal type parameter. Source method declared in class declares formal type parameter. Source method declared in class declares two formal type parameters. Source method declared in interface declares formal type parameter. Source method declared in interface declares two formal type parameters. Bytecode class java.util.List has one formal type parameter. Bytecode class java.util.Map has two formal type parameters. Bytecode method String.length has no type parameters. Bytecode method Collections.sort has one formal type parameter. Bytecode method Collections.singletonMap has two formal type parameters. Check that List.get returns a type variable Check that List.iterator returns Iterator Check that List.get returns a String for invocation in List Foo.get returns a String in Foo. Foo.get returns a String in Foo. Pair.getFirst returns String in Foo. Pair.getSecond returns Integer in Foo. Method returning typevar in parameterized super class 1. Method returning typevar in parameterized super class 2. Method returning typevar in parameterized super class 3. Method returning typevar in parameterized super class 4. Check that java.lang.System has a single constructor Check that java.lang.Integer has two constructors Check that this source class declares no constructors Check that this source class declares 1 constructor Check the declaring class of the default constructor. Check that source constructor throws no exception Check that source constructor throws exception Check that bytecode constructor java.lang.Integer(String) throws NumberFormatException Canonical name of constructor. Lookup constructor by its canonical name. a ---- Instance(Class(JavaSourceConstructor),"e_120") Check component type of array class. Check element type of array class. Check fully qualified name of array class. Check component type of array class. Check element type of array class. Check component type of array class. Check shared array classes. Check shared array classes. Check the length field of the array class. Check that java.lang.System declares a field 'out' Check that java.lang.System does not declare a field of a non-existing name Check that java.lang.Integer.MAX_VALUE has name MAX_VALUE Check that java.lang.Integer.MAX_VALUE has type int Check that java.lang.Integer.MAX_VALUE is a static field Check that java.lang.Integer.TYPE is parameterized Check the declaring class of the lock field. Check that this source class declares no fields Check that this source class declares 1 field Check that this source class declares 1 field with name x Check that this source class declares 2 field Check that this source class declares 2 field Source class declares a field with type int Source class declares a field with type int Source class declares a static field Source class declares an instance field Source interface declares a static field Source class declares a field with type int[] Source class declares a field with type int[] Source class declares a field with type int[][] Source class declares a field with type int[] Source class declares a field with type int[] Source class declares a field with type int[][] Source class declares a field with type int[][] Source class declares a field with type int[][][][] Source class declares a field with type int[] Source class declares a field with type int Source class declares a field with type int Implemented source interface declares a static field Implemented source interface declares a static field Class field hides field in implemented interface. get-fields does not return hidden fields get-fields does not return hidden fields (interface) get-fields does not return hidden fields (declaring class). get-fields returns ambiguous field access 1. get-fields returns ambiguous field access 2. get-fields returns ambiguous field access 3. Field declared in member class. Private fields are not inherited. Protected fields are inherited. Default access fields are inherited. Default access fields are not inherited into different package. Protected fields are inherited into different package. Default access fields are not inherited into different package, not even indirectly. Mixed access inheritance of fields. Mixed access inheritance of fields. Same field visible in different ways is returned once. java.lang.Object has no superclass Get the superclass of a source file Get the superinterfaces of a source file Get the superinterfaces of a source interface Check the package property of a bytecode class Check the package property of source class Check the package property of source class Generic superclass of bytecode class java.util.Properties. Generic interface Comparable of Boolean. Generic superinterface Collection of List. Integer is a subclass of Number. Integer is a subclass of Number. Number is not a subclass of Integer. Source method declared in class throws no exceptions. Source method declared in interface throws no exceptions. Source method declared in abstract class throws no exceptions. Source method declared in class throws exception. Source method declared in interface throws exception. Source method declared in abstract class throws exception. Bytecode method java.lang.Integer.parseInt throws NumberFormatException java.lang.Character declares a member class Subset Declaring class of bytecode member class Character.Subset Canonical name of bytecode member class Character.Subset java.util.Map declares a member interface Entry Member class must have package. Source class declares no member classes Source class declares 1 member class Source class declares 1 member class with name Bar Source class declares 2 member classes Name of the declaring class is Foo Name of the declaring class is Bar Name of the enclosing class is Foo Name of the enclosing class is Bar Source class inherits a member class with name Bar Source class does not inherit private member classes Source class does not inherit hidden member classes Source class declares member class Source class declares member class Source class inherits member classes Source class inherits member classes Source class inherits member classes Source class does not inherit hidden member classes Source class does not inherit private member classes Check that a compilation unit uses references to classes DRY-247: Check compilation unit with semicolons Check that a class uses references to member classes Check that a class uses references to field declarations Check that a class uses references to field declarations Check that a class uses references to field declarations Check that a class uses references to method declarations ======================================================================= successes: 274 failures: 0 ======================================================================= PASS: dryad-model-tests ======================================================================= test suite: Dryad -- Java Language Specification Tests ======================================================================= Supertypes of type Byte: [Short,Int,Long,Float,Double] Supertypes of type Double: [] Supertypes of type Float: [Double] Supertypes of type Int: [Long,Float,Double] Supertypes: java.lang.Object has no supertypes Supertypes: class with just a superclass Supertypes: mix of superclass and implemented interfaces Supertypes of primitive array type Supertypes of object array type Supertypes: class with just a superclass Supertypes: Comparable is supertype of String Subtype: Int of Double Not a subtype: Long of Int Not a subtype: Double of Float Not a subtype: Null of Int Subtype: Null of ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) Subtype: ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Not a subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)]))) Not a subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([InterfaceType(TypeName(PackageName([Id("java"),Id("lang")]),Id("CharSequence")),None)]))) Subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("Collection")),None) Subtype: ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("Collection")),None) Subtype: ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) Not a subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) of ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) Subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) Subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) Not a subtype: InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Binary name Foo parses to [TopLevel("Foo")] Binary name Foo$Bar parses to [TopLevel("Foo"),Member("Bar")] Binary name Foo$Bar$Fred parses to [TopLevel("Foo"),Member("Bar"),Member("Fred")] Binary name Foo$1Bar parses to [TopLevel("Foo"),Local("Bar")] Binary name Foo$12Bar parses to [TopLevel("Foo"),Local("Bar")] Binary name Foo$1 parses to [TopLevel("Foo"),Anonymous] Binary name Foo$12 parses to [TopLevel("Foo"),Anonymous] Binary name Foo$Bar$1 parses to [TopLevel("Foo"),Member("Bar"),Anonymous] Bytecode type ObjectType("java.lang.Character$Subset") is source type ClassType(TypeName(TypeName(PackageName([Id("java"),Id("lang")]),Id("Character")),Id("Subset")),None) Type Int is assignment convertable to Double Type Double is not assignment convertable to Int Assignment conversion from Null to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) Assignment conversion from Null to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) Type ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) is not assignment convertable to Int Type Int is assignment convertable to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) Assignment conversion from Int to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) Assignment conversion from ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) to Int Assignment conversion from Int to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Number")),None) Type ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) is assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Assignment conversion from ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is not assignment convertable to ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) is not assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Comparable")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is not assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)]))) Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)]))) is not assignment convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type Int is method-invocation convertable to Double Type Double is not method-invocation convertable to Int Type ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) is not method-invocation convertable to Int Type Int is method-invocation convertable to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) Method-invocation conversion from Int to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) Method-invocation conversion from ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) to Int Method-invocation conversion from Int to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Number")),None) Type ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) is method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Method-invocation conversion from ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),None) to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is not method-invocation convertable to ClassType(TypeName(PackageName([Id("java"),Id("util")]),Id("ArrayList")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) is not method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Comparable")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) is not method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)]))) Type InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None)]))) is not method-invocation convertable to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) Widening reference conversion from ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) to InterfaceType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Comparable")),None) Widening reference conversion from Null to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) Widening reference conversion from Null to ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Integer")),None) No widening reference conversion from Null to Int Capture conversion is identity for Int ArrayList must be captured to a fresh type variable. List must be captured to a fresh type variable. Upper bound of fresh type variable after capture conversion of List. Lower bound of fresh type variable after capture conversion of List. Upper bound of fresh type variable after capture conversion of Enum. Test for substitution in upper bound of fresh type variable after capture conversion of Enum. Reduce simple constraint Reduce simple constraint by boxing (int) Reduce simple constraint by boxing (double) Reduce to no constraint if F does not involve a type parameter. Reduce to no constraint for null argument type Reduce to no constraint constraint if formal parameter type does not contain typevar Reduce constraint for array type of reference type. Reduce to no constraint for array type of primitive type. Reduce constraint for simple parameterized formal parameter (List). Reduce constraint for simple parameterized formal parameter (Map). Reduce constraint for simple parameterized formal parameter (Map). Reduce constraint just ignores invalid aspects of a constraint. Reduce constraint for simple parameterized formal parameter (proper supertype). Reduce constraint for parameterized parameterized formal parameter. Reduce constraint for array parameterized formal parameter. Resolve simple equality constraint Resolve conflicting equality constraint Resolve two equality constraint Resolve single supertype constraint Resolve two equivalent supertype constraint Resolve two equivalent supertype constraint Infer type from single argument Infer two types from two arguments Infer one type from two arguments Infer two types from Map Erasure of InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) parses to InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) ======================================================================= Lub of * Int * Float is * Float ======================================================================= Lub of * Char * Short is * Int ======================================================================= Lub of * Boolean * Int fails. ======================================================================= Lub of * Boolean * Long fails. ======================================================================= Lub of * ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None) * ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) is * ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None) ======================================================================= Lub of * InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) * InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)]))) is * InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([Wildcard(None)]))) ======================================================================= MEC of * InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("String")),None)]))) * InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),Some(TypeArgs([ClassType(TypeName(PackageName([Id("java"),Id("lang")]),Id("Object")),None)]))) is * InterfaceType(TypeName(PackageName([Id("java"),Id("util")]),Id("List")),None) successes: 111 failures: 0 ======================================================================= PASS: dryad-jls-tests ================== All 4 tests passed ================== make[3]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests' make[2]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests' make[1]: Leaving directory `/tmp/nix-21968-0/dryad-0.2pre17609/tests'