Question about bound checking in rows display

[Kanishka Solanki]

Hi,

I am working on implementing the bound checking for row displays, and I
think I understand the overall algorithm. The loop in
a68_lower_collateral_clause iterates over each sub multiple, and the // XXX
comment is where the bounds checks are intended to be added.

I have one question about the interpretation of the row display. In your
previous email you mentioned that it depends on whether the target is a row
row or a row of rows. By the time execution reaches the // XXX block,
should that distinction already have been resolved by the frontend (i.e.
this code is only handling one of those cases), or is this where the
lowering code is expected to distinguish between them?

Thanks,
Kanishka
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://gcc.gnu.org/pipermail/algol68/attachments/20260701/e5f9fdf5/attachment.htm>