Alessandro Coglio
21616fe167
[parser] Remove the input keyword.
...
This is also not in the current grammar, and it does not look like it is going
to be re-added.
2022-05-13 23:50:33 -07:00
Alessandro Coglio
2fbaf759db
[parser] Remove mut and type keywords.
...
As discussed, these are no longer in the grammar. If and when we need them, we
will re-add them.
This also removes some extra code that gives a specific error when mut is
used. However, that is in fact another bug, because `mut` is a valid identifier
in the current grammar, and thus this extra code unjustly rejects code that uses
`mut` as an identifier.
Adjust some tests and expectations.
2022-05-13 23:36:08 -07:00
Collin Chin
0e24e670bb
Merge pull request #1816 from AleoHQ/test-comment-into-yaml
...
[tests] move comment from body to yaml header
2022-05-13 09:48:50 -07:00
Collin Chin
98cd7e91aa
Merge pull request #1813 from AleoHQ/move-field-test
...
[tests] Move failing test to new fail.
2022-05-13 09:41:59 -07:00
Eric McCarthy
c3f59bbb66
[tests] move comment from body to yaml header
2022-05-13 00:10:39 -07:00
Alessandro Coglio
f502b9c5e9
[tests] Move failing test to new fail.
...
Instead of commenting out this failing test, it seem better to add to a new file
for failing tests. If and when we change Leo to accept field literals in hex, we
can move the test from the Fail file to the Pass fail.
This also helps the ACL2 tester, which is currently not handling comment-out
tests of this form.
2022-05-12 14:04:22 -07:00
Alessandro Coglio
20a081da37
[tests] Fix format and expectation of a test.
...
This was apparently disabled, but it did not start with a block comment.
This commit fixes it to start with a block comment as required.
This commit also makes it a failing test, which is appropriate because in the
current version of Leo we do not allow untyped literals (i.e. lone numerals as
expressions), and it is thus a good negative test for the current version of
Leo. When we extend Leo to allow untyped literals, we can simply flip the
expectation of this test from Fail to Pass.
2022-05-11 21:16:41 -07:00
Alessandro Coglio
62f2267c2b
[parser] Fix parsing of ordering expressions.
...
Follow the grammar rule. The ordering operators are not associative.
Split previous tests into succeeding and failing ones.
Refresh expectations of old test files.
Add expectations of new test files.
2022-05-10 23:32:46 -07:00
collin
1a569eb655
regen tests
2022-05-10 11:59:34 -07:00
collin
cca3c84ef4
remove unused imports code and tests
2022-05-10 11:22:30 -07:00
gluax
a7c3696e90
merge testnet3 into required types, also remove identifier type
2022-05-02 19:43:46 -07:00
gluax
8c86407b91
cleaning up tests, fixed compiler bug, found input parse bug
2022-04-27 11:44:05 -07:00
Eric McCarthy
344cc61d0c
[lexer] add "_fail" suffix on test file names for tests that are supposed to fail ( #1770 )
2022-04-25 08:58:41 -07:00
collin
f89966fe32
merge testnet3
2022-04-21 14:37:33 -07:00
Collin Chin
23fca6af47
Merge pull request #1751 from AleoHQ/abnf-bidi-overrides
...
[ABNF] disallow bidi override codepoints
2022-04-20 09:34:00 -07:00
Eric McCarthy
8eecca1af7
[tests] fix missing file extension on test file and remove vestigial dollar sign
2022-04-19 14:19:55 -07:00
Eric McCarthy
3227930df9
[lexer] add fail tests for bidi overrides
2022-04-19 13:16:09 -07:00
gluax
98c7ced6fe
merge upstream testnet3
2022-04-19 12:58:28 -07:00
Collin Chin
645b5a2be7
Merge pull request #1750 from AleoHQ/address-check
...
Address check
2022-04-19 12:56:27 -07:00
gluax
54c936cc61
leo warnings, disable unused errors for now
2022-04-18 14:06:28 -07:00
collin
f53817c5f5
implement real address literal check
2022-04-13 15:21:08 -07:00
Mazdak Farrokhzad
31fcc2f216
parser: store (prev_)token
2022-04-13 22:20:48 +02:00
gluax
9f79ca7169
allow const but throw a recoverable error
2022-04-12 11:46:35 -07:00
gluax
cfc5b00bad
add constant keyword, only used for params
2022-04-10 23:10:55 -07:00
gluax
a5b692a765
merge upstream testnet3
2022-04-06 10:25:26 -07:00
gluax
3936e6c202
doc new fn, test updates
2022-04-06 10:23:20 -07:00
gluax
3a85223e22
adjust tests
2022-04-05 11:38:21 -07:00
gluax
a675b81c0a
change tests
2022-04-05 09:36:22 -07:00
gluax
80d97416cb
fixes and correct tests
2022-04-04 15:31:08 -07:00
gluax
27921a61e6
tuples removed
2022-03-28 10:35:36 -07:00
gluax
95d508566f
remove circuit access
2022-03-28 07:54:29 -07:00
gluax
877674230a
remove aliases and gcs
2022-03-28 07:47:05 -07:00
gluax
78b04ff000
remove as and imports
2022-03-28 07:42:23 -07:00
gluax
ef4b3787a9
remove arrays
2022-03-28 07:31:53 -07:00
gluax
401c6a6d4d
remove annotation and static access
2022-03-28 07:04:29 -07:00
gluax
7ad500b344
remove uneeded circuit syms
2022-03-28 06:53:22 -07:00
gluax
d37f9f29c2
remove circuits
2022-03-28 06:32:55 -07:00
gluax
398e6f5469
merge upstream testnet3
2022-03-28 06:21:17 -07:00
gluax
4f62c86b39
test open bugs, they all pass :)
2022-03-17 10:46:42 -07:00
0rphon
d25eb79594
improved test runner
2022-03-15 16:56:54 -07:00
0rphon
0e1d1a43e9
removed tools/failing tests
2022-03-15 15:38:06 -07:00
0rphon
310944acc5
excluded failing tests, added new ones
2022-03-14 17:37:15 -07:00
0rphon
a9ed6dcc81
Update char.leo
2022-03-14 16:36:36 -07:00
0rphon
7c049177cb
Merge branch 'testnet3' into improve-parser-tests
2022-03-14 16:36:16 -07:00
0rphon
1604f10115
re-enabled tests, removed fuzzing hooks
2022-03-14 16:29:34 -07:00
gluax
9a45c2ae99
fix array around 1 element array dim size
2022-03-14 08:07:01 -07:00
gluax
2c30cba70f
remove parened field
2022-03-14 07:58:51 -07:00
0rphon
3c258bf3a4
code cleanup, added tests, marked dangerous code for review
2022-03-09 15:16:52 -08:00
gluax
377c65be21
fix issues from fixing a panic
2022-03-09 12:08:15 -08:00
gluax
a227e7c113
add tests, fix namespaces on older tests, fix another bug
2022-03-09 11:11:30 -08:00
