ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-21 09:11:39 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,548 Commits 54 Branches 46 Tags 340 MiB
d4b6a6d1f8
Commit Graph

1548 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
f1a692e8d5 fix resolver errors 3 final 2020-10-15 20:20:02 -07:00
collin
8f34904fdc fix resolver errors wip 2 2020-10-15 19:57:26 -07:00
collin
323992696c use typed assignee access 2020-10-15 18:11:39 -07:00
collin
3bd6d2e6b6 use simpler assignee access in leo typed 2020-10-15 18:04:58 -07:00
collin
a4dab9594d fix resolver errors wip 2020-10-15 17:58:56 -07:00
collin
5edbcf0e05 add work from resolver branch 2020-10-15 17:06:34 -07:00
ljedrz
970f808290 perf: refactor a lot of the compiler so that Spans and Strings are rarely cloned 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-15 18:19:34 +02:00
collin
5188d3b6b4 parse conditional expression types 2020-10-14 18:34:43 -07:00
collin
6e8170a58f parse expression types for operations 2020-10-14 18:11:35 -07:00
collin
0702e1f92f update type assertions for new types 2020-10-14 17:10:51 -07:00
collin
a9b16cfaa8 update symbol table tests 2020-10-14 16:37:19 -07:00
collin
3221615f51 fix stack check error naming 2020-10-14 16:27:55 -07:00
collin
de6f6ae7ae add variable table to function body 2020-10-14 15:12:55 -07:00
ljedrz
845671547f perf: don't clone the whole iterator while parsing expressions 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 14:26:11 +02:00
ljedrz
07743b2d75 bench: change the AST bench to a much more complex one 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 13:44:59 +02:00
ljedrz
88bd491684 test: add extra AST pest tests 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 12:35:04 +02:00
ljedrz
d1ee66a747 feat(ast): handle the empty tuple type 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 12:22:31 +02:00
ljedrz
e2f0848773 fix(ast): disallow single-member tuples 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 11:01:51 +02:00
ljedrz
88cdbd4fe6 refactor(ast): remove the expression_tuple indirection from access_call 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 10:50:26 +02:00
ljedrz
0ccaea86f7 test: introduce AST pest tests 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-14 10:37:39 +02:00
collin
cc6cf4e6a5 add new dynamic check protocol 2020-10-13 09:06:52 -07:00
dependabot-preview[bot]
c8ccdb9c61
Bump serde_json from 1.0.57 to 1.0.59 
Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.57 to 1.0.59.
- [Release notes](https://github.com/serde-rs/json/releases)
- [Commits](https://github.com/serde-rs/json/compare/v1.0.57...v1.0.59)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-13 10:43:22 +00:00
collin
d29d01f4ff move types into new static-check module 2020-10-12 12:32:29 -07:00
collin
e0750158f5 add type variable 2020-10-12 11:33:42 -07:00
dependabot-preview[bot]
eb17a1d489
Bump toml from 0.5.6 to 0.5.7 
Bumps [toml](https://github.com/alexcrichton/toml-rs) from 0.5.6 to 0.5.7.
- [Release notes](https://github.com/alexcrichton/toml-rs/releases)
- [Commits](https://github.com/alexcrichton/toml-rs/compare/0.5.6...0.5.7)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-12 10:24:33 +00:00
collin
a66cc3afda deprecate resolved node trait 2020-10-11 12:56:01 -07:00
collin
a5975eb5fd move types into separate module 2020-10-09 16:25:04 -07:00
dependabot-preview[bot]
de793b5356
Bump tracing-subscriber from 0.2.12 to 0.2.13 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.2.12 to 0.2.13.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.2.12...tracing-subscriber-0.2.13)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-08 10:27:40 +00:00
ljedrz
e1e22a2310 perf: vector pre-allocation and associated tweaks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-08 11:47:03 +02:00
dependabot-preview[bot]
eeb97fa390
Bump thiserror from 1.0.20 to 1.0.21 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.20 to 1.0.21.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.20...1.0.21)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-07 10:44:46 +00:00
collin
effdfc7628 add leo dynamic check module 2020-10-06 17:20:51 -07:00
ljedrz
98baae93c1 clippy: assorted fixes to tests and benches 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 15:09:03 +02:00
ljedrz
bbcafd16de clippy: fix match_ref_parts 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 13:37:51 +02:00
ljedrz
300666827e fmt: run cargo +nightly fmt on the changes 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 13:07:30 +02:00
ljedrz
87f7d748a8 clippy: fix unit_arg 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
c09b7eb3b1 clippy: fix if_same_then_else 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
fe016dc168 clippy: fix needless_range_loop 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
08afb0e604 clippy: fix redundant_pattern_matching 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
4d8a91418f clippy: fix unnecessary_unwrap 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
fc4e2ee4ab clippy: fix type_complexity 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
8c099ab8c8 clippy: fix into_iter_on_ref 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
1a3d1fb2b8 clippy: fix collapsible_if 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
b4bb39872b clippy: fix unused_unit 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
00e3885b3d clippy: fix match_single_binding 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
c4aa913c68 clippy: fix map_clone 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
e6e6e9c234 clippy: allow some instances of ptr_arg 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
ea3542b30e clippy: allow len_without_is_empty 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
bdfb6f5fb5 clippy: fix redundant_closure 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
e9b9c1f72f fix: allow a piece of own deprecated code 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
f016b972fb clippy: fix vec_box 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00