Alessandro Coglio
Alessandro Coglio
As possibly related, does it work with `-1` or `-12345` or `-`? I wonder if it's checking that the integer is in `[0, prime)`.
[Copying here some text from a discussion with @gluax.] The possible values of the field type are from 0 (inclusive) to the prime p (exclusive), but as far as field...
If we do this, we may also want to prohibit isolated CR, i.e. CR not followed by LF. In the grammar, this can be done by re-arranging a few rules...
There have been discussions on whether calls of circuit functions with `mut self` should be restricted to expressions that are "assignees", i.e. the kind of expressions that can appear as...
I believe that this is still relevant (as discussed with @collinc97).
@howardwu Do you think that this can be merged?
This may be already obvious, but, just to confirm, according to the documentation at https://developer.aleo.org/developer/language/arrays_and_tuples/#array-indexing, array indices are `u8/16/32`, so the example in this Issue ``` const y = x[1...
Right, constants (i.e. things introduced with `const`) can only depend on literals and other constants. This includes `const` function parameters: so, in the example, if `x` were `const`, the example...
Our messages crossed, anyways it looks like we are on the same page. There has been a bit of back and forth on the design of `const` vs. `let` vs....
@gluax My vote, as discussed in similar occasions, is to extend the type inference algorithm with a Hindley-Milner approach (used in languages like SML, and I believe also Rust) that...