Compiler crash with recursive typedef tuple

When I define a recursive tuple type like this:

typedef SerializedBreadCrumb as [Number, Array<SerializedBreadCrumb> or Null ];

The compiler crashes with the following error. The stack trace recursively shows the same entries up to the beginning of the visible terminal in VS Code.

        at com.garmin.monkeybrains.compiler2.ir.types.CollectionType.instanceOfCollection(CollectionType.java:252)
        at com.garmin.monkeybrains.compiler2.ir.types.CollectionType.instanceOf(CollectionType.java:175)
        at com.garmin.monkeybrains.compiler2.ir.types.PolyType.instanceOf(PolyType.java:300)
        at com.garmin.monkeybrains.compiler2.ir.types.PolyType.instanceOf(PolyType.java:249)
        at com.garmin.monkeybrains.compiler2.ir.types.CollectionType.instanceOfTuple(CollectionType.java:286)
        at com.garmin.monkeybrains.compiler2.ir.types.CollectionType.instanceOf(CollectionType.java:207)
        at com.garmin.monkeybrains.compiler2.ir.types.PolyType.instanceOf(PolyType.java:300)
        at com.garmin.monkeybrains.compiler2.ir.types.PolyType.instanceOf(PolyType.java:249)
        at com.garmin.monkeybrains.compiler2.ir.types.CollectionType.instanceOfCollection(CollectionType.java:252)
        at com.garmin.monkeybrains.compiler2.ir.types.CollectionType.instanceOf(CollectionType.java:175)
        at com.garmin.monkeybrains.compiler2.ir.types.PolyType.instanceOf(PolyType.java:300)
        at com.garmin.monkeybrains.compiler2.ir.types.PolyType.instanceOf(PolyType.java:249)
        at com.garmin.monkeybrains.compiler2.ir.types.CollectionType.instanceOfTuple(CollectionType.java:286)
        at com.garmin.monkeybrains.compiler2.ir.types.CollectionType.instanceOf(CollectionType.java:207)
        at com.garmin.monkeybrains.compiler2.ir.types.PolyType.instanceOf(PolyType.java:300)
        at com.garmin.monkeybrains.compiler2.ir.types.PolyType.instanceOf(PolyType.java:249)

 *  The terminal process terminated with exit code: 1. 
 *  Terminal will be reused by tasks, press any key to close it.

the-ninth

the-ninth 7 months ago in reply to 9811827

I think that is what I may also be circumventing with passing the array "as Array<PropertyValueType>" into setValue.
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel
9811827 7 months ago in reply to the-ninth

"Storage.setValue()" has its own bugs: forums.garmin.com/.../sdk-7-2-0-strict-typechecker-regression
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel
the-ninth 7 months ago in reply to 9811827

Yes, I have also found a way to build this without the crash and without compiler warnings, see above.
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel
the-ninth 7 months ago

I think the issue occurs in conjunction with a Storage.setValue call:

Storage.setValue( EvccConstants.STORAGE_BREAD_CRUMBS, self.serialize() );

self.serialize returns SerializedBreadCrumb. If I explicitly declare the return of self.serialize as the

Storage.setValue( EvccConstants.STORAGE_BREAD_CRUMBS, self.serialize() as Array<PropertyValueType> );

Btw, the function to embed code here in the forum seems to swallow everything between < and >.
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel
9811827 7 months ago
Duplicate of https://forums.garmin.com/developer/connect-iq/i/bug-reports/stackoverflowerror-during-build-for-tuple-with-self-reference. There I have a self-sufficient test case.

In my case this error occurs only for that specific code. For example, the source below builds without errors.
```
import Toybox.Lang;

typedef TupleWithArraySelfReference as [Number, Array<TupleWithArraySelfReference>?];

const ARRAY_INDEX_IN_TUPLE = 1;

function getArrayFromTuple(tuple as TupleWithArraySelfReference) as Array<TupleWithArraySelfReference>? {
    return tuple[ARRAY_INDEX_IN_TUPLE] as Array<TupleWithArraySelfReference>?;
}
```
- Cancel
- Vote Up 0 Vote Down
- More
- Cancel