Alessandro Coglio
b1baf90719
[parser] Adhere to style.
2022-05-16 21:27:29 -07:00
Alessandro Coglio
1761b80578
[parser] Fix to disallow including loop ending bound.
...
This is not part of the current version of Leo (cf. ABNF grammar and Leo
Reference).
Adapt tests.
2022-05-16 21:24:42 -07:00
collin
bacc0d7510
merge testnet3
2022-05-12 13:18:43 -07:00
collin
c8de6826c2
preserve char scalar nonscalar
2022-05-12 13:16:25 -07:00
Mazdak Farrokhzad
8d915339a0
span refactor: fix build + simplify &span
2022-05-12 16:24:17 +02:00
Mazdak Farrokhzad
0e5402773a
span refactor: fix rebase fallout
2022-05-12 16:17:53 +02:00
Mazdak Farrokhzad
508a95b2ba
span refactor: improve comment
2022-05-12 16:12:32 +02:00
Mazdak Farrokhzad
8bf06ed872
add remark re. parser benchmarks
2022-05-12 16:12:32 +02:00
Mazdak Farrokhzad
2d6e737f7e
span refactor: fix bench
2022-05-12 16:12:32 +02:00
Mazdak Farrokhzad
01a23f6e6e
cargo clippy + similar
2022-05-12 16:12:31 +02:00
Mazdak Farrokhzad
a5ad874ffb
spans: use source map backing
2022-05-12 16:09:18 +02:00
collin
8f17d6294a
rename scalar -> primitive
2022-05-11 14:09:12 -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
c1d36ee62e
remove const function code
2022-05-10 11:57:23 -07:00
collin
cca3c84ef4
remove unused imports code and tests
2022-05-10 11:22:30 -07:00
Collin Chin
80ca99a2f1
Merge pull request #1785 from AleoHQ/dependabot/cargo/testnet3/serde_yaml-0.8.24
...
Bump serde_yaml from 0.8.23 to 0.8.24
2022-05-10 11:17:55 -07:00
Collin Chin
be9fa96d9e
Merge pull request #1786 from AleoHQ/feature/type-checking
...
[Impl] type-checking
2022-05-10 11:17:44 -07:00
collin
45056ec27b
spelling
2022-05-10 11:06:59 -07:00
gluax
ab57ea1d34
fmt compiler test
2022-05-05 15:49:08 -07:00
gluax
d33e69bac8
re-introduce some disabled tests, fix some
2022-05-05 15:38:55 -07:00
collin
214f6bf5d7
make comments consistent
2022-05-04 15:44:41 -07:00
gluax
e03af95ff6
change output format, st doesn't change bc of input file
2022-05-04 15:43:07 -07:00
gluax
b97bf4c9bc
started going through deprecated tests, noticed parts of testframework were broken
2022-05-04 15:37:59 -07:00
gluax
67fd130c0c
had to handle negation of signed integers
2022-05-04 14:50:33 -07:00
gluax
2c252f7878
all current compiler tests pass, need to add more
2022-05-04 13:37:53 -07:00
gluax
9c8ac64871
expressions so far, and clean up, need to appropiately handle binary exprs
2022-05-04 09:27:00 -07:00
dependabot[bot]
4ad5c9892c
Bump serde_yaml from 0.8.23 to 0.8.24
...
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml ) from 0.8.23 to 0.8.24.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases )
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.23...0.8.24 )
---
updated-dependencies:
- dependency-name: serde_yaml
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-05-04 10:28:55 +00:00
gluax
5cb4a5d8c0
run tests so far, fix statements so far
2022-05-03 19:32:59 -07:00
gluax
db6292609d
refactor symbol variable to variable scope, create new symbol variable
2022-05-03 18:39:28 -07:00
gluax
d39ee31933
statements almost done, iteration statements causing issues
2022-05-03 17:33:46 -07:00
gluax
039a71359c
merge upstream testnet3, update grammar readme
2022-05-03 15:20:45 -07:00
gluax
4612602807
type checking errors so far
2022-05-03 14:00:40 -07:00
Collin Chin
a1335f56e8
Merge pull request #1780 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.137
...
Bump serde from 1.0.136 to 1.0.137
2022-05-03 13:28:24 -07:00
gluax
1a25db8e23
start on type checking statements
2022-05-03 13:16:13 -07:00
gluax
4fb95d1195
initial commit for tc, adds get_type to Node
2022-05-03 11:26:56 -07:00
gluax
46bd62870d
remove missed access file
2022-05-03 09:53:46 -07:00
gluax
a7c3696e90
merge testnet3 into required types, also remove identifier type
2022-05-02 19:43:46 -07:00
Collin Chin
4617c3ba35
Merge pull request #1777 from AleoHQ/fix-spelling
...
Fix typos uncovered by spell checker in VS Code.
2022-05-02 09:29:59 -07:00
dependabot[bot]
de791e0742
Bump serde from 1.0.136 to 1.0.137
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.136 to 1.0.137.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.136...v1.0.137 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-05-02 16:24:16 +00:00
Alessandro Coglio
653cc4a2a4
Fix typos uncovered by spell checker in VS Code.
2022-04-30 23:39:38 -07:00
collin
3da1ac802e
reorder dependencies
2022-04-29 13:09:27 -07:00
gluax
f57396cf5f
resolve pr comments
2022-04-29 10:50:33 -07:00
gluax
7e6cc65d54
change back to parse_input to reflect what we do for parse_program
2022-04-28 12:44:54 -07:00
gluax
8cb8c153fc
call appropiate input parse function, make suggested changes
2022-04-28 12:26:05 -07:00
gluax
7524a325bf
fix grabbing last error
2022-04-27 12:31:24 -07:00
gluax
8c7fe53ff6
fix leo input parser bug
2022-04-27 11:52:06 -07:00
gluax
8c86407b91
cleaning up tests, fixed compiler bug, found input parse bug
2022-04-27 11:44:05 -07:00
gluax
8275b63e57
display for symbol table
2022-04-27 09:14:59 -07:00
gluax
0fc6d17289
some clean up to compiler to be able to better test
2022-04-27 09:14:59 -07:00
gluax
bd356e1f31
need to handle input differently than we used to
2022-04-27 09:14:59 -07:00
