ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-20 18:31:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix test

Browse Source
This commit is contained in:
gluax 2021-03-31 14:59:45 -04:00
parent 24e5d5365b
commit dc8a04e872
2 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
compiler/tests/canonicalization/compound_assignment.json
View File

@ -715,10 +715,10 @@
"Assign": {
"operation": "Assign",
"assignee": {
"identifier": "{\"name\":\"foo\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":3,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\" foo.f = foo.f + 2u8;\\\"}\"}",
"identifier": "{\"name\":\"foo\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":3,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\" foo.f += 2u8;\\\"}\"}",
"accesses": [
{
"Member": "{\"name\":\"f\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\" foo.f = foo.f + 2u8;\\\"}\"}"
"Member": "{\"name\":\"f\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\" foo.f += 2u8;\\\"}\"}"
}
],
"span": {
@ -727,7 +727,7 @@
"col_start": 3,
"col_stop": 8,
"path": "",
"content": " foo.f = foo.f + 2u8;"
"content": " foo.f += 2u8;"
}
},
"value": {
@ -735,16 +735,16 @@
"left": {
"CircuitMemberAccess": {
"circuit": {
"Identifier": "{\"name\":\"foo\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":11,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\" foo.f = foo.f + 2u8;\\\"}\"}"
"Identifier": "{\"name\":\"foo\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":3,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\" foo.f += 2u8;\\\"}\"}"
},
"name": "{\"name\":\"f\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":15,\\\"col_stop\\\":16,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\" foo.f = foo.f + 2u8;\\\"}\"}",
"name": "{\"name\":\"f\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\" foo.f += 2u8;\\\"}\"}",
"span": {
"line_start": 18,
"line_stop": 18,
"col_start": 11,
"col_stop": 16,
"col_start": 3,
"col_stop": 15,
"path": "",
"content": " foo.f = foo.f + 2u8;"
"content": " foo.f += 2u8;"
}
}
},
@ -756,10 +756,10 @@
{
"line_start": 18,
"line_stop": 18,
"col_start": 19,
"col_stop": 22,
"col_start": 12,
"col_stop": 15,
"path": "",
"content": " foo.f = foo.f + 2u8;"
"content": " foo.f += 2u8;"
}
]
}
@ -768,10 +768,10 @@
"span": {
"line_start": 18,
"line_stop": 18,
"col_start": 11,
"col_stop": 22,
"col_start": 3,
"col_stop": 15,
"path": "",
"content": " foo.f = foo.f + 2u8;"
"content": " foo.f += 2u8;"
}
}
},
@ -779,9 +779,9 @@
"line_start": 18,
"line_stop": 18,
"col_start": 3,
"col_stop": 22,
"col_stop": 15,
"path": "",
"content": " foo.f = foo.f + 2u8;"
"content": " foo.f += 2u8;"
}
}
},
@ -851,7 +851,7 @@
"col_start": 17,
"col_stop": 2,
"path": "",
"content": "function main() {\n...\n}"
"content": "function main() {\n...\n} "
}
},
"span": {
@ -860,7 +860,7 @@
"col_start": 1,
"col_stop": 2,
"path": "",
"content": "function main() {\n...\n}\n\n\n\n\n\n\n\n\n\n\n\n\n\n"
"content": "function main() {\n...\n} \n\n\n\n\n\n\n\n\n\n\n\n\n\n"
}
}
}

2
compiler/tests/canonicalization/compound_assignment.leo
View File

@ -15,6 +15,6 @@ function main() {
console.assert(z.1 == 5u8);
let foo = Foo { f: 6u8 };
foo.f = foo.f + 2u8;
foo.f += 2u8;
console.assert(foo.f == 8u8);
}