[Feature] Improve array construction. #28430
Labels
feature
A new feature.
Comments
mikebenfield
added a commit
that referenced
this issue
Apr 6, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 6, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 7, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 7, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 10, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 14, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 14, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 14, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 15, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 15, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 15, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 16, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 17, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 20, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
mikebenfield
added a commit
that referenced
this issue
Apr 22, 2025
This is supported with a new pass, `WriteTransforming`, which converts assignments to struct or array members into assignments to variables, and any time the struct or array is accessed, reconstructs it from the variables. Tests for this functionality are in `array_write.leo`. Also fixed the test `assign_fail.leo`, which seems to have been in a useless state for a long time. Fixes #28389, #28430
|
Closed by #28559 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Leo does not support assignment to arrays, which requires users to fully construct arrays when they'd like to update certain values. Furthermore, users are required to manually unroll their loops when making iterative updates to arrays.
The text was updated successfully, but these errors were encountered: