Eric McCarthy
ffa8200d92
[ABNF] update some documentation
2022-03-14 12:29:19 -07:00
gluax
2381e2e20f
scoop update fix
2022-03-14 08:55:11 -07:00
gluax
e484d5124f
comment fixes
2022-03-14 08:16:58 -07:00
gluax
8e0a59dc5d
fmt
2022-03-14 08:12:29 -07:00
gluax
ef8d0415e7
change parens around variable into recoverable error
2022-03-14 08:12:03 -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
Alessandro Coglio
3f6b17646c
[ABNF] Add a clarification to the documentation.
...
No grammar change in this commit.
2022-03-10 15:31:31 -08:00
Alessandro Coglio
ca3ae89a3e
[ABNF] Rename 'natural' to 'numeral'.
...
This applies both to the rule name and to the terminology used for that, namely
for a non-empty sequence of decimal digits.
While 'natural' was meant to describe a natural number (i.e. a non-negative
integer: 0, 1, 2, ...), it is perhaps not a familiar term to many users.
On the other hand, 'integer', while often used in programming languages for this
kind of thing, is not ideal as integers may be negative.
Also, assuming type inference, a lone numeral like `17` may actually not denote
an integer number at all, because it may actually denote a group element if type
inference turns it into `17group`, and group elements are not integers.
All in all, 'numeral' seems like a good term, also according to its dictionary
definition. It is used in the Java grammar to denote this kind of thing, for
instance.
If, in the future, we want to allow hexadecimal, octal, or binary notation, we
could rename this to `decimal-numeral`, introduce `hexadecimal-numeral`,
`octal-numeral`, and `binary-numeral`, and `numeral` as the union of these.
2022-03-10 15:23:58 -08:00
Collin Chin
4dd70474f5
Merge pull request #1669 from AleoHQ/abnf-integer-fix
...
[ABNF] Fix use of integers in literals.
2022-03-10 12:02:10 -08:00
0rphon
3c258bf3a4
code cleanup, added tests, marked dangerous code for review
2022-03-09 15:16:52 -08:00
Collin Chin
da6c48bc6d
Merge pull request #1673 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.9
...
Bump tracing-subscriber from 0.3.7 to 0.3.9
2022-03-09 13:19:18 -08:00
Collin Chin
19201a7a69
Merge pull request #1672 from AleoHQ/dependabot/cargo/testnet3/regex-1.5.5
...
Bump regex from 1.5.4 to 1.5.5
2022-03-09 13:18:56 -08:00
Collin Chin
9151188803
Merge pull request #1670 from AleoHQ/abnf-doc-fix
...
[ABNF] Update some documentation.
2022-03-09 13:18:19 -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
gluax
91c0f5ae9d
resolve some error messages panicing
2022-03-09 09:46:07 -08:00
dependabot[bot]
e534cbb0df
Bump tracing-subscriber from 0.3.7 to 0.3.9
...
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing ) from 0.3.7 to 0.3.9.
- [Release notes](https://github.com/tokio-rs/tracing/releases )
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.7...tracing-subscriber-0.3.9 )
---
updated-dependencies:
- dependency-name: tracing-subscriber
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-03-09 10:18:25 +00:00
dependabot[bot]
bd68eefb45
Bump regex from 1.5.4 to 1.5.5
...
Bumps [regex](https://github.com/rust-lang/regex ) from 1.5.4 to 1.5.5.
- [Release notes](https://github.com/rust-lang/regex/releases )
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md )
- [Commits](https://github.com/rust-lang/regex/compare/1.5.4...1.5.5 )
---
updated-dependencies:
- dependency-name: regex
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-03-09 10:18:18 +00:00
Alessandro Coglio
f735ca8864
[ABNF] Update some documentation.
...
This does not change the grammar. It merely updates some text in the comments,
which shows a rule that was changed at some point but its copy in the comments
was not properly updated.
Thanks to @bendyarm for noticing this.
2022-03-08 23:23:38 -08:00
Alessandro Coglio
7e930d8670
[ABNF] Fix use of integers in literals.
...
This removes the rule for `integer` and uses `natural` for all numeric literals.
Otherwise, lexing would be context-dependent for no good reason.
This is consistent with the lexer and parser of the Leo compiler.
Note that, for instance, `-1field` is not a literal, but rather a unary
expression where `-` is applied to the literal `1field`. This is consistent with
other languages too.
2022-03-08 21:08:59 -08:00
0rphon
874edd8fcc
Merge branch 'testnet3' into improve-parser-tests
2022-03-08 18:25:43 -08:00
Collin Chin
646c5eb697
Merge pull request #1665 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.6
...
Bump clap from 3.1.5 to 3.1.6
2022-03-08 11:42:48 -08:00
Collin Chin
db60376204
Merge pull request #1664 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.56
...
Bump anyhow from 1.0.55 to 1.0.56
2022-03-08 11:42:35 -08:00
dependabot[bot]
343da2071c
Bump clap from 3.1.5 to 3.1.6
...
Bumps [clap](https://github.com/clap-rs/clap ) from 3.1.5 to 3.1.6.
- [Release notes](https://github.com/clap-rs/clap/releases )
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md )
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.5...v3.1.6 )
---
updated-dependencies:
- dependency-name: clap
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-03-08 10:18:16 +00:00
dependabot[bot]
bf7b646b31
Bump anyhow from 1.0.55 to 1.0.56
...
Bumps [anyhow](https://github.com/dtolnay/anyhow ) from 1.0.55 to 1.0.56.
- [Release notes](https://github.com/dtolnay/anyhow/releases )
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.55...1.0.56 )
---
updated-dependencies:
- dependency-name: anyhow
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-03-08 10:18:01 +00:00
0rphon
9afee5e328
updated tests
2022-03-08 01:01:30 -08:00
0rphon
39ea7a3ceb
Merge branch 'testnet3' into improve-parser-tests
2022-03-08 00:57:32 -08:00
Collin Chin
5e2ba78750
Merge pull request #1656 from AleoHQ/remove/unsized-array
...
Remove/unsized array
2022-03-07 17:14:03 -08:00
collin
ac016822c3
Merge branch 'remove/unsized-array' of https://github.com/AleoHQ/leo into remove/unsized-array
2022-03-07 15:01:19 -08:00
collin
6a33035257
remove unsized array parser tests
2022-03-07 14:50:53 -08:00
Collin Chin
ec3a265b80
Merge pull request #1660 from AleoHQ/abnf-require-types
...
[ABNF] Require types to avoid type inference.
2022-03-07 12:22:36 -08:00
Collin Chin
181fc2dc6a
Merge pull request #1659 from AleoHQ/remove/unsized-array-abnf
...
[ABNF] Adapt ABNF to removal of unsized arrays.
2022-03-07 12:21:56 -08:00
Collin Chin
11b4a2702a
Merge pull request #1655 from AleoHQ/bug/misc-parser-discrep-bugs
...
[Fix] Mix Parser bugs & discreps
2022-03-07 12:19:09 -08:00
Alessandro Coglio
6cbf206f86
[ABNF] Require types to avoid type inference.
...
Types are now required in variable and constant declarations (including for loop
variables), and for literals (i.e. there are no longer untyped literals).
2022-03-05 23:52:34 -08:00
Alessandro Coglio
6aca970b88
[ABNF] Re-generate markdown.
...
(Forgot to do this in the previous commit.)
2022-03-04 19:51:14 -08:00
Alessandro Coglio
c30df925ef
[ABNF] Adapt ABNF to removal of unsized arrays.
...
This "merges" the two previous slightly different notions of array type
dimensions and array expression dimension(s) into one notion of array
dimensions, in which the dimensions have to be natural numbers. (Previously,
array type dimensions were allowed to be unspecified (via underscores), while
array expression dimensions had to be specified.)
2022-03-04 19:42:42 -08:00
Collin Chin
8398b3181e
Merge pull request #1653 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.5
...
Bump clap from 3.1.3 to 3.1.5
2022-03-04 13:08:38 -08:00
collin
1a45295372
remove redundant array dimension struct
2022-03-04 13:06:22 -08:00
collin
1f7b1b57cc
remove unsized array tests
2022-03-04 12:27:17 -08:00
collin
10bea676a8
remove unsized arrays
2022-03-04 12:23:46 -08:00
gluax
060c13dd8d
clippy fix
2022-03-04 11:21:42 -08:00
gluax
789862103e
another char bug fix
2022-03-04 11:18:28 -08:00
gluax
308512fab9
add tests
2022-03-04 10:26:34 -08:00
gluax
85764aa394
fix self discrep
2022-03-04 10:03:42 -08:00
gluax
bd1d602f6d
fix annotation error msg
2022-03-04 09:28:29 -08:00
dependabot[bot]
1d01e6ada6
Bump clap from 3.1.3 to 3.1.5
...
Bumps [clap](https://github.com/clap-rs/clap ) from 3.1.3 to 3.1.5.
- [Release notes](https://github.com/clap-rs/clap/releases )
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md )
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.3...v3.1.5 )
---
updated-dependencies:
- dependency-name: clap
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-03-03 10:18:43 +00:00
0rphon
7d2cbb2ec2
done with coverage
...
finished coverage tests. adding case by case tests from the parser fuzzer next
2022-03-02 14:13:37 -08:00
Collin Chin
f2c4d8d078
Merge pull request #1650 from AleoHQ/fix/ast-file-spelling
...
Fix ast file spelling
2022-03-02 12:48:04 -08:00
collin
54beb505c3
fix spelling typo
2022-03-02 12:19:22 -08:00