Commit Graph

4378 Commits

Author SHA1 Message Date
collin
f53817c5f5 implement real address literal check 2022-04-13 15:21:08 -07:00
collin
b6fb3d0a36 remove unused code and dependencies 2022-04-13 14:28:01 -07:00
Mazdak Farrokhzad
b955b77ac2 parser: minor cleanup + span fix 2022-04-13 22:52:53 +02:00
Mazdak Farrokhzad
66efa91b08 simplify parse_function_parameter_mode 2022-04-13 22:27:56 +02:00
Mazdak Farrokhzad
31fcc2f216 parser: store (prev_)token 2022-04-13 22:20:48 +02:00
Alessandro Coglio
515e471c8b
[ABNF] Add a rule for function calls. (#1747)
* [ABNF] Add a rule for function calls.

This does not change the language. It just slightly reformulates the grammar for
greater clarity and to help establish a nomenclature for constructs.

Also remove a trailing space.

* [ABNF] Re-generate markdown.

Co-authored-by: collin <16715212+collinc97@users.noreply.github.com>
2022-04-13 12:22:04 -07:00
Mazdak Farrokhzad
6a81022c26 leave todo re. sizeof Span 2022-04-13 21:05:17 +02:00
Mazdak Farrokhzad
4ac64710b5 lazify lexer 2022-04-13 21:05:17 +02:00
Collin Chin
49306f6132
Merge pull request #1746 from AleoHQ/feature/rename-const-params-to-constant
[Impl] Rename const fn args to constant
2022-04-12 14:16:05 -07:00
gluax
ba993b3a83 match pattern cleanup 2022-04-12 13:13:02 -07:00
gluax
198ceee536 fix token and constant pairing 2022-04-12 12:22:52 -07:00
gluax
168080942b better match pattern for catching more error situations 2022-04-12 11:52:12 -07:00
gluax
9f79ca7169 allow const but throw a recoverable error 2022-04-12 11:46:35 -07:00
Collin Chin
8770247cba
Merge pull request #1745 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.11
Bump tracing-subscriber from 0.3.10 to 0.3.11
2022-04-11 10:44:42 -07:00
Collin Chin
5a24880ecf
Merge pull request #1744 from AleoHQ/dependabot/cargo/testnet3/tracing-0.1.33
Bump tracing from 0.1.32 to 0.1.33
2022-04-11 10:44:26 -07:00
gluax
304044546c add constant keyword to grammar, change parameter grammar 2022-04-11 10:01:54 -07:00
dependabot[bot]
32b8ab0f7f
Bump tracing-subscriber from 0.3.10 to 0.3.11
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.10 to 0.3.11.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.10...tracing-subscriber-0.3.11)

---
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-04-11 10:21:16 +00:00
dependabot[bot]
7576418c71
Bump tracing from 0.1.32 to 0.1.33
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.32 to 0.1.33.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.32...tracing-0.1.33)

---
updated-dependencies:
- dependency-name: tracing
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-11 10:21:08 +00:00
gluax
cfc5b00bad add constant keyword, only used for params 2022-04-10 23:10:55 -07:00
Collin Chin
20006958c0
Merge pull request #1743 from AleoHQ/abnf-integer-literals
[ABNF] Factor integer literals into a rule.
2022-04-08 11:51:57 -07:00
Alessandro Coglio
dc3363a858 [ABNF] Factor integer literals into a rule.
This mirrors the structure of the rules for types, where there is an
`integer-type` consisting of `unsigned-type` and `signed-type`.

There is no change to the language.
2022-04-08 19:08:47 +02:00
Collin Chin
f3fa8d91ae
Merge pull request #1742 from AleoHQ/abnf-public-keyword
[ABNF] Add `public` to keywords.
2022-04-07 14:07:42 -07:00
Alessandro Coglio
822da8009c [ABNF] Add public to keywords. 2022-04-07 22:07:37 +02:00
Collin Chin
7e6eae58c3
Merge pull request #1739 from AleoHQ/feature/add-private-public-inputs
[Impl] handle public inputs and params
2022-04-07 12:03:29 -07:00
gluax
016b669a8d make fields not public 2022-04-07 11:18:58 -07:00
gluax
8482430299 update abnf to reflect recent changes 2022-04-06 10:41:18 -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
cc5552c7ef make suggested changes 2022-04-06 10:20:43 -07:00
Collin Chin
71c87d45e4
Merge pull request #1741 from AleoHQ/feature/testnet3-cleanup
[Impl] Testnet3 Cleanup
2022-04-05 15:59:34 -07:00
Collin Chin
a4d8a29d6f
Merge branch 'testnet3' into feature/testnet3-cleanup 2022-04-05 15:00:00 -07:00
Collin Chin
643a2d269d
Merge pull request #1737 from AleoHQ/dependabot/cargo/testnet3/test_dir-0.2.0
Bump test_dir from 0.1.0 to 0.2.0
2022-04-05 14:52:14 -07:00
Collin Chin
96e7504b17
Merge pull request #1736 from AleoHQ/dependabot/cargo/testnet3/tendril-0.4.3
Bump tendril from 0.4.2 to 0.4.3
2022-04-05 14:52:04 -07:00
Collin Chin
415e32cd2c
Merge pull request #1735 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.10
Bump tracing-subscriber from 0.3.9 to 0.3.10
2022-04-05 14:51:57 -07:00
Collin Chin
7392d6e121
Merge pull request #1734 from AleoHQ/dependabot/cargo/testnet3/indexmap-1.8.1
Bump indexmap from 1.8.0 to 1.8.1
2022-04-05 14:51:49 -07:00
Collin Chin
eeff6e4027
Merge pull request #1733 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.8
Bump clap from 3.1.6 to 3.1.8
2022-04-05 14:51:33 -07:00
Collin Chin
bccc8e908d
Merge pull request #1732 from AleoHQ/dependabot/cargo/testnet3/eyre-0.6.8
Bump eyre from 0.6.7 to 0.6.8
2022-04-05 14:51:20 -07:00
Collin Chin
fff67b5394
Merge pull request #1731 from AleoHQ/abnf-numerals-must-be-tokens
[ABNF] Add numerals to tokens.
2022-04-05 14:51:06 -07:00
gluax
3a85223e22 adjust tests 2022-04-05 11:38:21 -07:00
gluax
4c7903f5c3 remove tendril dep and cmpd assignments 2022-04-05 11:24:34 -07:00
gluax
1604170adc update grammar 2022-04-05 09:38:21 -07:00
gluax
a675b81c0a change tests 2022-04-05 09:36:22 -07:00
gluax
16914e3ce8 remove private keyword 2022-04-05 09:27:39 -07:00
dependabot[bot]
9e81228ea6
Bump test_dir from 0.1.0 to 0.2.0
Bumps [test_dir](https://github.com/rpacholek/test_dir) from 0.1.0 to 0.2.0.
- [Release notes](https://github.com/rpacholek/test_dir/releases)
- [Commits](https://github.com/rpacholek/test_dir/commits)

---
updated-dependencies:
- dependency-name: test_dir
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-05 10:18:31 +00:00
dependabot[bot]
ba9ba76c7c
Bump tendril from 0.4.2 to 0.4.3
Bumps [tendril](https://github.com/servo/tendril) from 0.4.2 to 0.4.3.
- [Release notes](https://github.com/servo/tendril/releases)
- [Commits](https://github.com/servo/tendril/compare/v0.4.2...v0.4.3)

---
updated-dependencies:
- dependency-name: tendril
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-05 10:18:25 +00:00
dependabot[bot]
4b1b78b280
Bump tracing-subscriber from 0.3.9 to 0.3.10
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.9 to 0.3.10.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.9...tracing-subscriber-0.3.10)

---
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-04-05 10:18:19 +00:00
dependabot[bot]
2fe921fb42
Bump indexmap from 1.8.0 to 1.8.1
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.8.0 to 1.8.1.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Changelog](https://github.com/bluss/indexmap/blob/master/RELEASES.md)
- [Commits](https://github.com/bluss/indexmap/compare/1.8.0...1.8.1)

---
updated-dependencies:
- dependency-name: indexmap
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-05 10:18:12 +00:00
dependabot[bot]
07a2bc1484
Bump clap from 3.1.6 to 3.1.8
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.6 to 3.1.8.
- [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.6...v3.1.8)

---
updated-dependencies:
- dependency-name: clap
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-05 10:18:04 +00:00
dependabot[bot]
2a63ab7c47
Bump eyre from 0.6.7 to 0.6.8
Bumps [eyre](https://github.com/yaahc/eyre) from 0.6.7 to 0.6.8.
- [Release notes](https://github.com/yaahc/eyre/releases)
- [Changelog](https://github.com/yaahc/eyre/blob/master/CHANGELOG.md)
- [Commits](https://github.com/yaahc/eyre/compare/v0.6.7...v0.6.8)

---
updated-dependencies:
- dependency-name: eyre
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-05 10:17:54 +00:00
Alessandro Coglio
c0ffe443c1 [ABNF] Add numerals to tokens.
In the currently restricted version of Leo, this is necessary for the numerals
in affine group literals to be tokens.

No change necessary to the lexer/parser, which already handle this properly.
2022-04-04 20:47:57 -07:00