ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-24 18:52:58 +03:00
Code Issues Packages Projects Releases Wiki Activity

add comma to circuit member field def

Browse Source
This commit is contained in:
collin 2020-06-29 13:05:41 -07:00
parent b8292e3fd9
commit 457a1b26bc
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ast/src/leo.pest
View File

@ -183,13 +183,13 @@ circuit = { "circuit " ~ identifier ~ "{" ~ NEWLINE* ~ circuit_member* ~ NEWLINE
circuit_field = { identifier ~ ":" ~ expression } circuit_field = { identifier ~ ":" ~ expression }
// Declared in circuits/circuit_field_definition.rs // Declared in circuits/circuit_field_definition.rs
circuit_field_definition = { identifier ~ ":" ~ type_ ~ NEWLINE* } circuit_field_definition = { identifier ~ ":" ~ type_ ~ ","?}
// Declared in circuits/circuit_function.rs // Declared in circuits/circuit_function.rs
circuit_function = { static_? ~ function_definition } circuit_function = { static_? ~ function_definition }
// Declared in circuits/circuit_member.rs // Declared in circuits/circuit_member.rs
circuit_member = { circuit_function | circuit_field_definition } circuit_member = { circuit_function | circuit_field_definition ~ NEWLINE*}
/// Conditionals /// Conditionals

2
compiler/tests/circuits/member_field.leo
View File

@ -1,5 +1,5 @@
circuit Circ { circuit Circ {
x: u32 x: u32,
} }
function main() -> u32 { function main() -> u32 {

2
compiler/tests/circuits/member_field_and_function.leo
View File

@ -1,5 +1,5 @@
circuit Foo { circuit Foo {
foo: u32 foo: u32,
static function bar() -> u32 { static function bar() -> u32 {
return 0 return 0