Subnostr

I have now implemented all of this and made the relevant parser changes, next up is dependency processing of the generated `ArrayAssignment` parser node, so far we have the following handler setup for it (which is being reached successfully):

```

[INFO] expressionPass(Exp): Context coming in Context [ContPtr(valid?): true, InitScope: STATIC]

[INFO] generalPass(): Processing entity: ArrayAssignment [leftHand: ArrayIndex [to: [varExp: myArray], idx: [varExp: i]], assignmentExpr: [BinOpExp: Op: ADD, Lhs: ArrayIndex [to: [varExp: myArray], idx: [integerLiteral: 1 (SIGNED_INTEGER)]], Rhs: [integerLiteral: 1 (SIGNED_INTEGER)]]]

[ERROR] Please implement array assignment dependency generation

core.exception.AssertError@source/tlang/compiler/typecheck/dependency/core.d(1379): Assertion failure

```

We are making mooves! 💸️

Tristan Brice Velloza Kildaire 2y ago

Will cotninue with this tomorrow, depenendecy pricessing and generation, specifically the former need some care.

Reply to this note

Please Login to reply.

Discussion

Tristan Brice Velloza Kildaire 2y ago

Would appear that I may need to re-order the, well, order in which I generate the dependencies.

Gievn something like `myArray[]`, we should ensure that we push the `` first such that the later processed `myArray` may pop it from the code-queue, consume it and embed it in the instruction production.

Tristan Brice Velloza Kildaire 2y ago

What was missing, and resulting in a segmentation fault, was the result of a mismatched codequeue/codestack. This was fixed by adding the missing handling code for `ArrayIndex` inside the `expressionPass(, Context)` method. Now the corretc dependency tree is generated and we can continue working on the type checking and code generation which traverses the linearized/DFS'd dependency graph/tree.

So far so good, it seems to be progressing.

Tristan Brice Velloza Kildaire 2y ago

We have also had to check the type of the array being accessed such that we can copy accross the correct type to he resultant `ArrayIndexInstruction`:

```

/* Array type `[]` */

if(cast(Pointer)indexToType)

{

gprintln("ArrayIndex: Pointer access");

Pointer pointer = cast(Pointer)indexToType;

accessType = pointer.getReferredType();

}

/* Stack-array type `[]` */

else if(cast(StackArray)indexToType)

{

gprintln("ArrayIndex: Stack-array access");

// TODO: Set `accessType` here

}

else

{

// TODO: Throw an error here

// throw new TypeMismatchException()

gprintln("Indexing to an entity other than a stack array or pointer!", DebugType.ERROR);

assert(false);

}

```

Tristan Brice Velloza Kildaire 2y ago

This seemed to work :), we have now progressed to dependency processing of ArrayAssignment's now... this is next on the chopping block

Tristan Brice Velloza Kildaire 2y ago

This weekend I shall continue on this work

Tristan Brice Velloza Kildaire 2y ago

Well, that was a lie - let's say this WEEK

Tristan Brice Velloza Kildaire 2y ago

MIght not be this week, I need to finish up some other libraries of mine which have been on the backburner.

This will probably be a slower month for #tlang as I have to catch up some other work, however I hope that by the end of march (or sooner!) things pick up again as I will ahve more free time seeing that I will be done working on these othe rprojects of mine (for now - they needed some TLC)