I just checked I can write this without an error, mixing numbers and names for record labels:
@{0=int, a=char}
It this intended? I don’t want to comment on the choice, this is just to know if it’s intended.
With arrays, I noticed I can write this:
@[char][] // No dimensions
@[char][3, 2] // Multiple dimensions
For the first one, I don’t understand what it means, but it does not trigger any error and the JSON produced just contains no dimensions. Is this intended? The second is clear, but I wonder if it is intended too, since I did not find a confirmation in the introduction and tutorial PDF.