Pranav Gaddamadugu
bec00217cf
Better error for missing member on circuit init
2022-07-08 10:27:53 -07:00
Pranav Gaddamadugu
91078b5f8e
Regenerate expectations
2022-07-08 10:14:05 -07:00
Pranav Gaddamadugu
199b2b3e1f
Rename LiteralExpression to Literal; more cleanup
2022-07-08 10:12:41 -07:00
Pranav Gaddamadugu
6e3c1ad2e3
Clean up error
2022-07-08 10:07:59 -07:00
Pranav Gaddamadugu
5b54c4d6d6
Regenerate expectations
2022-07-07 20:16:37 -07:00
Pranav Gaddamadugu
b33196e52b
Fmt
2022-07-07 19:58:56 -07:00
Pranav Gaddamadugu
e9441ec94b
Cleanup; type checking for Circuit Member Access
2022-07-07 19:53:52 -07:00
Pranav Gaddamadugu
2e1594544f
Add more detailed error messages
2022-07-07 19:53:06 -07:00
Pranav Gaddamadugu
06e97d84ad
Merge remote-tracking branch 'origin/type-checker-bugs' into fix/tyc-from-improved-flattening
2022-07-07 19:46:14 -07:00
collin
906015a01d
revert hello-world changes
2022-07-07 15:22:52 -07:00
collin
4d809e82a6
cargo fmt
2022-07-07 15:18:13 -07:00
collin
b461539ae3
use refactored methods in type checking, regen tests
2022-07-07 13:22:59 -07:00
collin
f892fe1a57
refactor type checker for removal of Copy trait
2022-07-07 12:20:34 -07:00
Pranav Gaddamadugu
d8a6e713ce
Cleanup
2022-07-07 12:03:22 -07:00
Pranav Gaddamadugu
5156d2e541
Refactor emit_err; remove into invocations
2022-07-07 11:47:09 -07:00
Pranav Gaddamadugu
3136a6ccca
Remove TODO
2022-07-06 17:29:57 -07:00
Pranav Gaddamadugu
52671c9328
Documentation for SymbolTable pass
2022-07-06 17:10:18 -07:00
Pranav Gaddamadugu
9b7d9a96b7
Fmt, clippy
2022-07-06 16:16:19 -07:00
Pranav Gaddamadugu
12eafa4174
Regenerate test expectations without symbol_table
2022-07-06 16:10:59 -07:00
Pranav Gaddamadugu
e4744f2978
Change duplicate_name_context from Pass to Fail
2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
80ff280df7
Remove symbol table from OutputItem; clippy
2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
027bd24cd5
Integrate passes into compiler
2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
2a2a65b416
Make type checking pass compatible with current implementation of SymbolTable
2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
bd1b8251c2
Remove SymbolTable functionality associated with flattening
2022-07-06 16:08:03 -07:00
Pranav Gaddamadugu
24f38721d6
Pull changes to compiler/passes/symbol_table from improved-flattening; remove unused files
2022-07-06 16:08:03 -07:00
Collin Chin
6b5f9a3926
Merge pull request #1913 from AleoHQ/no-cmp-address
...
Removes <, <=, >, >= for address type
2022-07-05 21:46:31 -07:00
collin
de178522d8
impl Display for BinaryOperation, improve error message
2022-07-05 16:42:36 -07:00
Collin Chin
7c009813d2
Merge pull request #1917 from AleoHQ/abnf-logical-ops
2022-07-05 10:33:43 -07:00
Alessandro Coglio
6bfe530922
[ABNF] Improve some rule names.
...
Based on a recent discussion on Slack, and on some related slight terminological
changes in the documentation of the Aleo instructions, this commit similarly
improves the Leo nomenclature for expressions involving the logical operators.
The attribute 'bitwise' for `&` and `|` and `^` has been dropped, since the
operations also operate on booleans besides integers.
Given that the operation and method names `or` and `xor` for inclusive and
exclusive disjunctions (as opposed to `ior` and `xor`), the unqualified
'disjunction' now refers to the inclusive one.
The non-strict `&&` and `||` are now called 'conditional' (as done in other
languages), and thus the ternary one has been expanded to 'conditional ternary'.
This does not change the Leo language; it just improves the nomenclature derived
from the grammar.
2022-07-04 15:45:11 -07:00
Alessandro Coglio
884d46abe4
[ABNF] Revert previous accidentally pushed commit.
2022-07-04 15:36:43 -07:00
Alessandro Coglio
c35b977207
[ABNF] Improve some rule names.
...
Based on a recent discussion on Slack, and on some related slight terminological
changes in the documentation of the Aleo instructions, this commit similarly
improves the Leo nomenclature for expressions involving the logical operators.
The attribute 'bitwise' for `&` and `|` and `^` has been dropped, since the
operations also operate on booleans besides integers.
Given that the operation and method names `or` and `xor` for inclusive and
exclusive disjunctions (as opposed to `ior` and `xor`), the unqualified
'disjunction' now refers to the inclusive one.
The non-strict `&&` and `||` are now called 'conditional' (as done in other
languages), and thus the ternary one has been expanded to 'conditional ternary'.
This does not change the Leo language; it just improves the nomenclature derived
from the grammar.
2022-07-04 15:26:10 -07:00
Collin Chin
14db353f89
Merge pull request #1916 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.138
...
Bump serde from 1.0.137 to 1.0.138
2022-07-04 12:56:44 -07:00
Collin Chin
17eb0434c0
Merge pull request #1915 from ljedrz/license_checker_windows
...
Make the license checker work on Windows too
2022-07-04 12:55:45 -07:00
Collin Chin
176bd96c89
Merge pull request #1914 from AleoHQ/fix-abnf-return-typo
...
[abnf grammar] fix a few typos
2022-07-04 12:54:03 -07:00
dependabot[bot]
ea7e0248c5
Bump serde from 1.0.137 to 1.0.138
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.137 to 1.0.138.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.137...v1.0.138 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-07-04 10:21:10 +00:00
ljedrz
2f758bd48d
fix: make the license checker work on Windows too
...
Signed-off-by: ljedrz <ljedrz@gmail.com>
2022-07-03 12:51:10 +02:00
Eric McCarthy
71bd874b69
[abnf grammar] fix a few typos
2022-07-02 22:34:50 -07:00
collin
dd75133e22
clippy
2022-07-02 18:49:13 -07:00
collin
c16a93ab44
removes <, <=, >, >= for address type
2022-07-02 18:15:18 -07:00
Collin Chin
bf8ca5abc4
Merge pull request #1910 from AleoHQ/fix-doc
...
[ast] Fix two doc comments.
2022-07-02 17:16:37 -07:00
Collin Chin
5e82a2488e
Merge pull request #1909 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.14
...
Bump tracing-subscriber from 0.3.11 to 0.3.14
2022-07-02 17:16:22 -07:00
Collin Chin
034ed8cbeb
Merge pull request #1907 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.8
...
Bump clap from 3.2.6 to 3.2.8
2022-07-02 17:15:58 -07:00
Collin Chin
0d0a8a5364
Merge pull request #1901 from AleoHQ/record-type
...
Implement record type
2022-07-02 17:15:16 -07:00
collin
52d76b25ef
disable windows license check for now
2022-07-02 17:02:22 -07:00
collin
37a3d3dc8c
nit
2022-07-02 16:38:47 -07:00
collin
1a3b5d72f0
remove license header newline
2022-07-02 16:36:07 -07:00
Alessandro Coglio
7549640764
[ast] Fix two doc comments.
2022-07-02 14:50:19 -07:00
collin
ecc1fff7fd
cargo fmt
2022-07-02 14:08:17 -07:00
collin
0a4069fe39
merge testnet3
2022-07-02 14:08:02 -07:00
dependabot[bot]
c32e0e493c
Bump tracing-subscriber from 0.3.11 to 0.3.14
...
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing ) from 0.3.11 to 0.3.14.
- [Release notes](https://github.com/tokio-rs/tracing/releases )
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.11...tracing-subscriber-0.3.14 )
---
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-07-02 20:50:15 +00:00