Alessandro Coglio

Right, it makes sense for records to be only at the top level, since they are exchanged with the external world. I'll need to add this requirement to the Leo...

The proposal looks good to me, and I agree with the explicitness of casting. But to elaborate on the latter point a bit, I believe that: - Any casting that...

@Protryon I have a few questions about the current implementation: - Are casts supported exclusively between integer types, and no other types? - Are the following true? - `-1i8 as...

I still vote for doing this, i.e. putting member functions and static member constants in separate blocks, outside of circuit type declarations, which would only have member variables. It seems...

I think you may be right about this being intentional, also given that the error is from the ASG processing. But this doesn't seem an inherent impossibility with R1CS, so...

There's nothing wrong with going that way from a technical point of view, but when was this decided? It's inconsistent with the ABNF grammar and with the Leo Reference, which...

Well, the change I'm referring to is the removal of `[constants]` section titles from input files. Neither #1739 nor #1746 removes those (i.e. they are still in the testnet3 branch)....

By "removal" I mean that a program/test with a constant input will use (according to what you say) ``` constant c: u8 = 0u8; ``` instead of ``` [constants] c:...

I created an Issue to clarify what we want: #1902.

Yes. I referenced @Protryon's proposal issue #600 in the first item. I also looked for some PRs, but didn't see any. @Protryon, is there some implementation code already?