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

feat: ty analysis of mini-husky in cybertron-rs #244

Merged
merged 30 commits into from
Sep 8, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
08178f5
save
xiyuzhai Sep 3, 2024
218cb00
towards cybertron type checking
xiyuzhai Sep 4, 2024
91d36a3
type signatures
xiyuzhai Sep 4, 2024
51263a2
cybertron mini-husky ty signatures
xiyuzhai Sep 4, 2024
0a83708
Merge branch 'xiyuzhai-husky-lang:main' into main
xiyuzhai Sep 4, 2024
88bb0f9
towards ty inference
xiyuzhai Sep 4, 2024
c40d6dc
initial type inference
xiyuzhai Sep 4, 2024
809fd79
fix type alias of frozen value; impl more
xiyuzhai Sep 5, 2024
89eba62
FrozenValue Clone
xiyuzhai Sep 5, 2024
c93258c
impl history var deps
xiyuzhai Sep 5, 2024
6b56bdf
incorporate history var deps into trace
xiyuzhai Sep 5, 2024
ad82991
save
xiyuzhai Sep 5, 2024
cb95ed5
`Immortal` now extends `Thawed`, #226
xiyuzhai Sep 6, 2024
19549df
save
xiyuzhai Sep 6, 2024
38f5e57
add `with_default_var_id`
xiyuzhai Sep 6, 2024
18cc33b
runtime with default var id
xiyuzhai Sep 6, 2024
6e25157
save
xiyuzhai Sep 6, 2024
09c86c2
save
xiyuzhai Sep 6, 2024
c4a7801
only val and eager call have history var deps
xiyuzhai Sep 6, 2024
ae889fd
loop frame and range trace
xiyuzhai Sep 6, 2024
09eba59
add snapshots with mutex to history
xiyuzhai Sep 6, 2024
36a85a5
intro `BitOrAssign` for `Seq`
xiyuzhai Sep 6, 2024
775d615
towards type inference
xiyuzhai Sep 7, 2024
1cb1a0f
towards type inference
xiyuzhai Sep 7, 2024
ff46ee5
feat: cybertron mini husky type inference
xiyuzhai Sep 7, 2024
4a4ca5f
towards intro genki, #239
xiyuzhai Sep 7, 2024
74007f4
towards `Genki`, #239
xiyuzhai Sep 7, 2024
1fd9d4f
towards type errors
xiyuzhai Sep 8, 2024
6a0b765
fix bug
xiyuzhai Sep 8, 2024
880f8d9
Merge branch 'xiyuzhai-husky-lang:main' into main
xiyuzhai Sep 8, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 2 additions & 0 deletions Cargo.lock

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

1 change: 1 addition & 0 deletions crates/abstractions/vec-like/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@ mod append_only;
pub mod error;
pub mod ordered_small_vec_map;
pub mod ordered_small_vec_set;
pub mod ordered_vec_map;
pub mod small_vec_map;
pub mod small_vec_set;
pub mod vec_map;
Expand Down
Loading
Loading