Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Validate functions #53

Merged
merged 29 commits into from
Aug 23, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
b0fdd04
Validate functions
samestep Jul 6, 2023
7734ac9
Merge branch 'main' into validate
samestep Jul 7, 2023
84724e6
Use `Ty` to simplify
samestep Jul 7, 2023
6f144ed
Validate most things
samestep Jul 7, 2023
11485b6
Merge branch 'main' into validate
samestep Jul 18, 2023
7bbc0b3
Merge branch 'main' into validate
samestep Aug 1, 2023
fbdd10b
Update for new IR
samestep Aug 1, 2023
65adf33
Check function calls
samestep Aug 1, 2023
b9c8545
Check expression argument variable indices
samestep Aug 3, 2023
21c33cb
Check expression argument variable scopes
samestep Aug 3, 2023
e5fac1d
Call in `bake`
samestep Aug 3, 2023
79bdc18
Check validator from JS
samestep Aug 3, 2023
c85e654
Check return variable scope
samestep Aug 3, 2023
352f251
Validate `For`
samestep Aug 4, 2023
4119183
Check against `Ref` nesting
samestep Aug 4, 2023
9e7c691
Check `Read` and `Accum`
samestep Aug 4, 2023
177f82e
Only get `Instr` return type when needed
samestep Aug 4, 2023
82855c2
Write a few tests
samestep Aug 4, 2023
11fcce3
Tweak
samestep Aug 4, 2023
be8855a
Test everything but specific instructions
samestep Aug 4, 2023
5b6683f
Test primitives
samestep Aug 4, 2023
1360d22
Write more tests
samestep Aug 4, 2023
e247bf9
Write more tests
samestep Aug 5, 2023
0866597
Test `Call`
samestep Aug 5, 2023
237ce8a
Merge branch 'main' into validate
samestep Aug 7, 2023
6dfaf02
Remove `index` from `For`
samestep Aug 7, 2023
1606288
Test `For`
samestep Aug 7, 2023
68398f0
Check `Read` and `Accum`
samestep Aug 7, 2023
613a5d6
Check `Ask` and `Add`
samestep Aug 7, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ wbg: rust

# run Rust tests
test-rust:
cargo test
cargo test --quiet

### JavaScript

Expand Down
10 changes: 10 additions & 0 deletions crates/validate/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
[package]
name = "rose-validate"
version = "0.0.0"
edition = "2021"

[dependencies]
enumset = "1"
indexmap = "2"
rose = { path = "../core" }
thiserror = "1"
Loading