Memory banking out-of-bounds about dahlia HOT 2 CLOSED

Just a random thought: a bit of information that might help narrow down the bug is knowing whether the error occurs (a) without lowering and (b) when targeting a C++ backend. (I'm guessing no and yes?)

from dahlia.

Got it. This original post was mostly me confirming that this is actually a bug.

With fuse a.fuse -b=futil:

[Type error] [Line 4, Column 10] Bank 0 for physical resource `A' already consumed.
let x1 = A[2];
         ^

`A' originally had 1 resource(s).

Previous locations that consumed bank 0:

[3.10] Required 1 resource(s):
let x0 = A[0];
         ^

Last gadget trace was:
[{0}]
[{0}]

I also tried it by changing the last line of the program to let x1 = A[3];, and got a completely different error:

[Impossible] [Enclosing(fuselang.backend.futil.FutilBackendHelper#emitArrayDecl):Line(96)] Banked memories should be lowered. Did you pass the `--lower` flag to the compiler?.. This should never trigger. Please report this as a bug.

I'm pretty deep into NTT land right now; I'm going to come back to this at a later point.

from dahlia.