TypeTests.dfy(45,6): Error: Duplicate local-variable name: z
TypeTests.dfy(47,6): Error: Duplicate local-variable name: x
TypeTests.dfy(50,8): Error: Duplicate local-variable name: x
TypeTests.dfy(53,6): Error: Duplicate local-variable name: y
TypeTests.dfy(59,11): Error: unresolved identifier: x
TypeTests.dfy(61,28): Error: unresolved identifier: z
TypeTests.dfy(62,29): Error: unresolved identifier: w1
TypeTests.dfy(62,47): Error: unresolved identifier: w0
TypeTests.dfy(65,28): Error: unresolved identifier: e
TypeTests.dfy(80,17): Error: object initialization must denote an initializing method or constructor (F)
TypeTests.dfy(81,17): Error: a method called as an initialization method must not have any result arguments
TypeTests.dfy(90,3): Error: cannot assign to a range of array elements (try the 'forall' statement)
TypeTests.dfy(91,3): Error: cannot assign to a range of array elements (try the 'forall' statement)
TypeTests.dfy(92,3): Error: cannot assign to a range of array elements (try the 'forall' statement)
TypeTests.dfy(94,3): Error: cannot assign to a range of array elements (try the 'forall' statement)
TypeTests.dfy(95,3): Error: cannot assign to a range of array elements (try the 'forall' statement)
TypeTests.dfy(96,3): Error: cannot assign to a range of array elements (try the 'forall' statement)
TypeTests.dfy(9,14): Error: incorrect argument type at index 0 for function parameter 'c' (expected C, found D)
TypeTests.dfy(9,14): Error: incorrect argument type at index 1 for function parameter 'd' (expected D, found C)
TypeTests.dfy(10,14): Error: incorrect argument type at index 0 for function parameter 'c' (expected C, found int)
TypeTests.dfy(10,14): Error: incorrect argument type at index 1 for function parameter 'd' (expected D, found int)
TypeTests.dfy(16,16): Error: incorrect argument type for method in-parameter 'x' (expected int, found bool)
TypeTests.dfy(16,16): Error: incorrect return type at index 1 for method out-parameter 'c' (expected C, got int)
TypeTests.dfy(17,12): Error: incorrect return type at index 1 for method out-parameter 'c' (expected C, got int)
TypeTests.dfy(169,7): Error: non-ghost variable cannot be assigned a value that depends on a ghost
TypeTests.dfy(179,6): Error: cannot assign to non-ghost variable in a ghost context
TypeTests.dfy(180,9): Error: cannot assign to non-ghost variable in a ghost context
TypeTests.dfy(198,10): Error: incorrect argument type for datatype constructor parameter (expected int -> Dt<int>, found int -> int) (covariant type parameter 1 would require int <: Dt<int>)
TypeTests.dfy(204,10): Error: incorrect argument type for datatype constructor parameter (expected ? -> Dt<?>, found Dt<?> -> Dt<?>) (contravariance for type parameter at index 0 expects ? <: Dt<?>)
TypeTests.dfy(211,10): Error: incorrect argument type for function parameter 'x' (expected ?, found set<?>)
TypeTests.dfy(222,9): Error: assignment to array element is not allowed in this context, because this is a ghost method
TypeTests.dfy(229,20): Error: using the type being defined ('A') here would cause a logical inconsistency by defining a type whose cardinality exceeds itself (like the Continuum Transfunctioner, you might say its power would then be exceeded only by its mystery)
TypeTests.dfy(233,7): Error: recursive constraint dependency involving a subset type: Cyc -> Cycle -> Cyc
TypeTests.dfy(237,20): Error: using the type being defined ('A') here would cause a logical inconsistency by defining a type whose cardinality exceeds itself (like the Continuum Transfunctioner, you might say its power would then be exceeded only by its mystery)
TypeTests.dfy(238,20): Error: using the type being defined ('B') here would cause a logical inconsistency by defining a type whose cardinality exceeds itself (like the Continuum Transfunctioner, you might say its power would then be exceeded only by its mystery)
TypeTests.dfy(243,20): Error: using the type being defined ('E') here would cause a logical inconsistency by defining a type whose cardinality exceeds itself (like the Continuum Transfunctioner, you might say its power would then be exceeded only by its mystery)
TypeTests.dfy(244,20): Error: using the type being defined ('F') here would cause a logical inconsistency by defining a type whose cardinality exceeds itself (like the Continuum Transfunctioner, you might say its power would then be exceeded only by its mystery)
TypeTests.dfy(245,20): Error: using the type being defined ('G') here would cause a logical inconsistency by defining a type whose cardinality exceeds itself (like the Continuum Transfunctioner, you might say its power would then be exceeded only by its mystery)
TypeTests.dfy(251,7): Error: recursive constraint dependency involving a subset type: CycW -> W -> CycleW -> CycW
TypeTests.dfy(258,7): Error: recursive constraint dependency involving a subset type: CycW -> W -> CycleW -> CycW
TypeTests.dfy(265,7): Error: recursive constraint dependency involving a subset type: CycW -> W -> CycleW -> CycW
TypeTests.dfy(273,7): Error: recursive constraint dependency involving a subset type: CycW -> W -> CycleW -> CycW
TypeTests.dfy(278,11): Warning: because of cyclic dependencies among constructor argument types, no instances of datatype 'NeverendingList' can be constructed
TypeTests.dfy(279,11): Warning: because of cyclic dependencies among constructor argument types, no instances of datatype 'Growing' can be constructed
TypeTests.dfy(286,11): Warning: because of cyclic dependencies among constructor argument types, no instances of datatype 'C' can be constructed
TypeTests.dfy(284,20): Error: using the type being defined ('A') here would cause a logical inconsistency by defining a type whose cardinality exceeds itself (like the Continuum Transfunctioner, you might say its power would then be exceeded only by its mystery)
TypeTests.dfy(288,20): Error: using the type being defined ('E') here would cause a logical inconsistency by defining a type whose cardinality exceeds itself (like the Continuum Transfunctioner, you might say its power would then be exceeded only by its mystery)
44 resolution/type errors detected in TypeTests.dfy
