issues
search
anoma
/
juvix
A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
442
stars
54
forks
source link
Cairo: Support complex data types in program input
#2822
Closed
lukaszcz
closed
2 weeks ago
lukaszcz
commented
3 weeks ago
Types of arguments to
main
can now be field elements, numbers, booleans and (nested) records and lists.
Type of
main
result can now be a record of field elements, numbers and booleans. Lists or nested records are not allowed for the result.
Adds checks for the type of
main
in the Cairo pipeline.
Requires updating
juvix-cairo-vm
. The input can be provided in a Json file via the
--program_input
option of
juvix-cairo-vm
.
maincan now be field elements, numbers, booleans and (nested) records and lists.mainresult can now be a record of field elements, numbers and booleans. Lists or nested records are not allowed for the result.mainin the Cairo pipeline.--program_inputoption ofjuvix-cairo-vm.