On Thu May 18 21:23:00 2023 +0000, Giovanni Mascellani wrote:
Is it allowed to have a `BLOCKINFO` inside a block it describes? If so, I guess this would be wrong, because it computes the global abbreviations only at the beginning of the block, so it doesn't take into consideration whatever might be added inside the block itself.
I guess you should walk the parent chain up to the root block, though. Or maybe I am overthinking this too. I don't know, my philosophy with parsers is that by default they should be very strict, and even more when the specification is not precise in every details. This way you minimize the risk to accept but misinterpret edge-case inputs, which can result into seemingly unrelated and hard-to-debug bugs.
I'll approve and leave the final judgement to Henri.