ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-22 09:41:37 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,509 Commits 54 Branches 46 Tags 340 MiB
be2a805d49
Commit Graph

1509 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
42a892480a impl definition statements 2 2020-10-16 14:39:39 -07:00
collin
1849a5ddcc impl definition statements 1 2020-10-16 14:15:53 -07:00
collin
43bcc2b210 pass type to expressions 2020-10-16 12:33:46 -07:00
collin
3acb8b9f65 pass function body to statements 2020-10-16 10:52:55 -07:00
ljedrz
4591a0eb04 refactor: use &Path instead of (&)PathBuf in tests 2020-10-16 17:23:22 +02:00
ljedrz
64774cdab6 refactor: accept &Path instead of PathBuf where sufficient 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 17:09:44 +02:00
ljedrz
d662b9a236 perf: use Cow to avoid some PathBuf allocations 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 16:51:58 +02:00
ljedrz
f59416be1b refactor: pass &Path instead of &PathBuf as arguments 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 16:18:46 +02:00
ljedrz
790f1c472a perf: don't allocate PathBufs for the purposes of PathBuf::push 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +02:00
ljedrz
69d35063f2 perf: use .to_string() instead of single-param format! 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +02:00
ljedrz
529d87bc88 perf: remove some generic unnecessary allocations 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-16 15:52:45 +02:00
collin
13d3a78659 use variable table in expressions 1 2020-10-15 22:30:05 -07:00
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