check flags:
[pbuilding check-recursive
Making check in .
[pmake[1]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609'
[pbuilding all-local
/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/xtc -r /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-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-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-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-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: dryad.m4
[q[pbuilding all-local
[3s[a/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/xtc -r /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC register -l `dirname /nix/store/7z64gqr4365vzjvr6azizdwwz0a19l59-jdk-1.6.0_4/bin/java` -t java -V 1.5[b
[3s[a/nix/store/y8igy408yk5hmabdfnckafs50mgql73y-strategoxt-0.17M3pre17632-f440vxhd/bin/xtc -r /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC register -l `dirname /nix/store/7z64gqr4365vzjvr6azizdwwz0a19l59-jdk-1.6.0_4/bin/jar` -t jar -V 1.5[b
[qmake[1]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609'
[qMaking check in external
[pmake[1]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/external'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[1]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/external'
[qMaking check in libraries
[pmake[1]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries'
[pbuilding check-recursive
Making check in stratego-jvm
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries/stratego-jvm'
[pbuilding check-recursive
Making check in lib
[pmake[3]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries/stratego-jvm/lib'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: libstratego-jvm.rtree
[qmake[3]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries/stratego-jvm/lib'
[q[pmake[3]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries/stratego-jvm'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[3]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries/stratego-jvm'
[q[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries/stratego-jvm'
[q[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries'
[q[qmake[1]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/libraries'
[qMaking check in classtree
[pmake[1]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree'
[pbuilding check-recursive
Making check in java-aterm
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree/java-aterm'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree/java-aterm'
[qMaking check in bridge
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree/bridge'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: class2aterm.jar aterm2class.jar
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree/bridge'
[qMaking check in syn
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree/syn'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: ClassSignature.rtg MethodSignature.rtg FieldSignature.rtg ClassSignature.def MethodSignature.def FieldSignature.def ClassSignature.tbl MethodSignature.tbl FieldSignature.tbl
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree/syn'
[qMaking check in tests
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree/tests'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree/tests'
[q[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: ClassTree.rtg
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree'
[q[qmake[1]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/classtree'
[qMaking check in lib
[pmake[1]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/lib'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-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
[qmake[1]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/lib'
[qMaking check in compiler
[pmake[1]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler'
[pbuilding check-recursive
Making check in classpath
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler/classpath'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: structured-classpath
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: rt.classes
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler/classpath'
[qMaking check in front
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler/front'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-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-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler/front'
[qMaking check in back
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler/back'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: dryad-emit
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler/back'
[qMaking check in main
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler/main'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: dryad-front
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler/main'
[q[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler'
[q[qmake[1]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/compiler'
[qMaking check in tools
[pmake[1]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tools'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC: auto-dryad dryad-show-hierarchy class2aterm aterm2class annotate-start-line-column
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[qmake[1]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tools'
[qMaking check in tests
[pmake[1]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests'
[pbuilding check-recursive
Making check in nutshell
[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests/nutshell'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests/nutshell'
[q[pmake[2]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests'
[pbuilding all-local
Tools registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
Data registered in repository /tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/BUILDTIME_XTC:
[q[pbuilding check-am
[3s[amake dryad-type-checker-tests dryad-reclassify-ambnames-tests dryad-model-tests dryad-jls-tests rt.classes[b
[pmake[3]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests'
[pbuilding dryad-type-checker-tests.c
[3s[a/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[b
[ 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.49s/0.62s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded : [user/system] = [1.82s/0.02s]
[ strc | info ] Compilation succeeded : [user/system] = [5.31s/0.65s]
[q[pbuilding dryad-type-checker-tests.o
[3s[agcc -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/rn10lpr881qn3cds784pfyra50cg6k4b-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -c dryad-type-checker-tests.c[b
[q[pbuilding dryad-type-checker-tests
[3s[a/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/rn10lpr881qn3cds784pfyra50cg6k4b-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 [b
mkdir .libs
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/rn10lpr881qn3cds784pfyra50cg6k4b-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/rn10lpr881qn3cds784pfyra50cg6k4b-dryad-0.2pre1760917609/lib -Wl,--rpath -Wl,/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib
creating dryad-type-checker-tests
[q[pbuilding dryad-reclassify-ambnames-tests.c
[3s[a/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[b
[ 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.90s/0.66s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded : [user/system] = [0.37s/0.02s]
[ strc | info ] Compilation succeeded : [user/system] = [3.27s/0.69s]
[q[pbuilding dryad-reclassify-ambnames-tests.o
[3s[agcc -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/rn10lpr881qn3cds784pfyra50cg6k4b-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -c dryad-reclassify-ambnames-tests.c[b
[q[pbuilding dryad-reclassify-ambnames-tests
[3s[a/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/rn10lpr881qn3cds784pfyra50cg6k4b-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 [b
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/rn10lpr881qn3cds784pfyra50cg6k4b-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/rn10lpr881qn3cds784pfyra50cg6k4b-dryad-0.2pre1760917609/lib -Wl,--rpath -Wl,/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib
creating dryad-reclassify-ambnames-tests
[q[pbuilding dryad-model-tests.c
[3s[a/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[b
[ 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.16s/0.55s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded : [user/system] = [1.59s/0.02s]
[ strc | info ] Compilation succeeded : [user/system] = [5.75s/0.58s]
[q[pbuilding dryad-model-tests.o
[3s[agcc -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/rn10lpr881qn3cds784pfyra50cg6k4b-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -c dryad-model-tests.c[b
[q[pbuilding dryad-model-tests
[3s[a/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/rn10lpr881qn3cds784pfyra50cg6k4b-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 [b
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/rn10lpr881qn3cds784pfyra50cg6k4b-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/rn10lpr881qn3cds784pfyra50cg6k4b-dryad-0.2pre1760917609/lib -Wl,--rpath -Wl,/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib
creating dryad-model-tests
[q[pbuilding dryad-jls-tests.c
[3s[a/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[b
[ 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.93s/0.56s]
[ 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.76s/0.03s]
[ strc | info ] Compilation succeeded : [user/system] = [4.69s/0.60s]
[q[pbuilding dryad-jls-tests.o
[3s[agcc -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/rn10lpr881qn3cds784pfyra50cg6k4b-dryad-0.2pre1760917609/share/dryad/XTC\"" -g -O2 -c dryad-jls-tests.c[b
[q[pbuilding dryad-jls-tests
[3s[a/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/rn10lpr881qn3cds784pfyra50cg6k4b-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 [b
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/rn10lpr881qn3cds784pfyra50cg6k4b-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/rn10lpr881qn3cds784pfyra50cg6k4b-dryad-0.2pre1760917609/lib -Wl,--rpath -Wl,/nix/store/fghmhi2kd54zyb2wpgz0kc2zkpn8rxjb-aterm-2.5pre21238-l2q7rg38/lib
creating dryad-jls-tests
[q[pbuilding rt.classes
[3s[aln -s ../compiler/classpath/rt.classes[b
[qmake[3]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests'
[q[3s[amake check-TESTS[b
[pmake[3]: Entering directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests'
[pbuilding 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<String>()
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<Integer>()) { 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<String> foo; foo = new java.util.ArrayList<String>();
java.util.List<String> foo;
foo = new java.util.ArrayList();
Comparable<Integer> foo;
foo = new Integer(5);
Comparable foo;
foo = new Integer(5);
Comparable<Integer> foo;
foo = 5;
java.util.ArrayList<String> array;
java.util.List<String> list;
array = list;
java.util.List<Integer> list1;
java.util.List<String> list2;
list1 = list2;
java.util.List<Integer> list1;
java.util.List<String> 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-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-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-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-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
<init> methods are not part of the methods of the Integer class
<clinit> 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<E>
Check that List.get returns a String for invocation in List<String>
Foo.get returns a String in Foo<String>.
Foo.get returns a String in Foo<String>.
Pair.getFirst returns String in Foo<String, Integer>.
Pair.getSecond returns Integer in Foo<String, Integer>.
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<String> 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<K, V>
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
==================
[qmake[3]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests'
[q[qmake[2]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests'
[q[qmake[1]: Leaving directory `/tmp/nix-build-104mh9p5n91x08ws7dkms9bmfdq7rlpg-dryad-0.2pre1760917609.drv-0/dryad-0.2pre17609/tests'
[q[q