feat: sem static mut deps

xiyuzhai-husky-lang · Jun 24, 2024 · bf7b2e8 · bf7b2e8
1 parent ffc9110
commit bf7b2e8
Show file tree

Hide file tree

Showing 260 changed files with 1,969 additions and 77 deletions.
diff --git a/crates/hir/husky-hir-eager-expr/src/stmt/loop_stmt.rs b/crates/hir/husky-hir-eager-expr/src/stmt/loop_stmt.rs
@@ -73,7 +73,7 @@ impl ToHirEager for SemaForextParticulars {
     fn to_hir_eager(&self, builder: &mut HirEagerExprBuilder) -> Self::Output {
         HirEagerForExtParticulars {
             forext_loop_var_ident: self.forext_loop_var_ident,
-            bound_expr_hir_eager_expr_idx: self.bound_expr_sem_expr_idx.to_hir_eager(builder),
+            bound_expr_hir_eager_expr_idx: self.bound_expr.to_hir_eager(builder),
             boundary_kind: self.boundary_kind,
         }
     }

diff --git a/crates/semantics/husky-sem-expr/src/helpers/visitor.rs b/crates/semantics/husky-sem-expr/src/helpers/visitor.rs
@@ -322,7 +322,7 @@ impl SemStmtIdx {
                     stmts,
                 } => {
                     // ad hoc
-                    particulars.bound_expr_sem_expr_idx.simulate(visitor);
+                    particulars.bound_expr.simulate(visitor);
                     stmts.simulate(visitor);
                 }
                 SemStmtData::While {

diff --git a/crates/semantics/husky-sem-expr/src/stmt/loop_stmt.rs b/crates/semantics/husky-sem-expr/src/stmt/loop_stmt.rs
@@ -141,7 +141,7 @@ pub struct SemaForextParticulars {
     pub forext_loop_var_regional_token_idx: RegionalTokenIdx,
     pub forext_loop_var_ident: Ident,
     pub forext_loop_var_sem_expr_idx: SemExprIdx,
-    pub bound_expr_sem_expr_idx: SemExprIdx,
+    pub bound_expr: SemExprIdx,
     pub boundary_kind: LoopBoundaryKind,
 }
 
@@ -172,7 +172,7 @@ impl<'a> SemExprBuilder<'a> {
             forext_loop_var_regional_token_idx: particulars.forext_loop_var_regional_token_idx,
             forext_loop_var_ident: particulars.forext_loop_var_ident,
             forext_loop_var_sem_expr_idx,
-            bound_expr_sem_expr_idx,
+            bound_expr: bound_expr_sem_expr_idx,
             boundary_kind: particulars.boundary_kind,
         }
     }

diff --git a/crates/semantics/husky-sem-place-contract/src/stmt.rs b/crates/semantics/husky-sem-place-contract/src/stmt.rs
@@ -66,7 +66,7 @@ impl<'a> PlaceContractEngine<'a> {
                 ..
             } => {
                 self.infer_expr(
-                    particulars.bound_expr_sem_expr_idx,
+                    particulars.bound_expr,
                     Contract::Pure,
                     Default::default(),
                 );

diff --git a/...ut_deps/src/connected_component/(ConnectedComponent-as-Visualize)--visualize.md b/...ut_deps/src/connected_component/(ConnectedComponent-as-Visualize)--visualize.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...sem_static_mut_deps/src/connected_component/ConnectedComponent--distribution.md b/...sem_static_mut_deps/src/connected_component/ConnectedComponent--distribution.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...em_sem_static_mut_deps/src/connected_component/ConnectedComponent--eff_holes.md b/...em_sem_static_mut_deps/src/connected_component/ConnectedComponent--eff_holes.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...m_sem_static_mut_deps/src/connected_component/ConnectedComponent--lower_mass.md b/...m_sem_static_mut_deps/src/connected_component/ConnectedComponent--lower_mass.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...em_static_mut_deps/src/connected_component/ConnectedComponent--max_hole_ilen.md b/...em_static_mut_deps/src/connected_component/ConnectedComponent--max_hole_ilen.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...sem_static_mut_deps/src/connected_component/ConnectedComponent--max_row_span.md b/...sem_static_mut_deps/src/connected_component/ConnectedComponent--max_row_span.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...sem_static_mut_deps/src/connected_component/ConnectedComponent--raw_contours.md b/...sem_static_mut_deps/src/connected_component/ConnectedComponent--raw_contours.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...sem_static_mut_deps/src/connected_component/ConnectedComponent--row_span_sum.md b/...sem_static_mut_deps/src/connected_component/ConnectedComponent--row_span_sum.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...ut_deps/src/connected_component/ConnectedComponent--top_k_row_right_mass_sum.md b/...ut_deps/src/connected_component/ConnectedComponent--top_k_row_right_mass_sum.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...atic_mut_deps/src/connected_component/ConnectedComponent--top_k_row_span_sum.md b/...atic_mut_deps/src/connected_component/ConnectedComponent--top_k_row_span_sum.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...m_sem_static_mut_deps/src/connected_component/ConnectedComponent--upper_mass.md b/...m_sem_static_mut_deps/src/connected_component/ConnectedComponent--upper_mass.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...assifier/item_sem_static_mut_deps/src/connected_component/ConnectedComponent.md b/...assifier/item_sem_static_mut_deps/src/connected_component/ConnectedComponent.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...m_sem_static_mut_deps/src/connected_component/ConnectedComponentDistribution.md b/...m_sem_static_mut_deps/src/connected_component/ConnectedComponentDistribution.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...s/mnist-classifier/item_sem_static_mut_deps/src/connected_component/EffHoles.md b/...s/mnist-classifier/item_sem_static_mut_deps/src/connected_component/EffHoles.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...r/item_sem_static_mut_deps/src/connected_component/find_connected_components.md b/...r/item_sem_static_mut_deps/src/connected_component/find_connected_components.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/.../mnist-classifier/item_sem_static_mut_deps/src/connected_component/hole_tmpl.md b/.../mnist-classifier/item_sem_static_mut_deps/src/connected_component/hole_tmpl.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...lassifier/item_sem_static_mut_deps/src/connected_component/horizontal_extend.md b/...lassifier/item_sem_static_mut_deps/src/connected_component/horizontal_extend.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...ier/item_sem_static_mut_deps/src/connected_component/impl-ConnectedComponent.md b/...ier/item_sem_static_mut_deps/src/connected_component/impl-ConnectedComponent.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...tatic_mut_deps/src/connected_component/impl-Visualize-for-ConnectedComponent.md b/...tatic_mut_deps/src/connected_component/impl-Visualize-for-ConnectedComponent.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...ct-files/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/eight.md b/...ct-files/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/eight.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...xamples/mnist-classifier/item_sem_static_mut_deps/src/digits/eight/big_mouth.md b/...xamples/mnist-classifier/item_sem_static_mut_deps/src/digits/eight/big_mouth.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...examples/mnist-classifier/item_sem_static_mut_deps/src/digits/eight/is_eight.md b/...examples/mnist-classifier/item_sem_static_mut_deps/src/digits/eight/is_eight.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...mnist-classifier/item_sem_static_mut_deps/src/digits/eight/upper_mouth_match.md b/...mnist-classifier/item_sem_static_mut_deps/src/digits/eight/upper_mouth_match.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...ect-files/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/five.md b/...ect-files/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/five.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...s/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/five/is_five.md b/...s/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/five/is_five.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...ect-files/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/four.md b/...ect-files/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/four.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...les/mnist-classifier/item_sem_static_mut_deps/src/digits/four/cc_box_heights.md b/...les/mnist-classifier/item_sem_static_mut_deps/src/digits/four/cc_box_heights.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...classifier/item_sem_static_mut_deps/src/digits/four/components_max_downwards.md b/...classifier/item_sem_static_mut_deps/src/digits/four/components_max_downwards.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...t-classifier/item_sem_static_mut_deps/src/digits/four/components_max_heights.md b/...t-classifier/item_sem_static_mut_deps/src/digits/four/components_max_heights.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...t-classifier/item_sem_static_mut_deps/src/digits/four/displacement_downwards.md b/...t-classifier/item_sem_static_mut_deps/src/digits/four/displacement_downwards.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...s/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/four/is_four.md b/...s/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/four/is_four.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...es/mnist-classifier/item_sem_static_mut_deps/src/digits/four/left_components.md b/...es/mnist-classifier/item_sem_static_mut_deps/src/digits/four/left_components.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...nist-classifier/item_sem_static_mut_deps/src/digits/four/left_coordinate_max.md b/...nist-classifier/item_sem_static_mut_deps/src/digits/four/left_coordinate_max.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...ect-files/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine.md b/...ect-files/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...es/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine/big_cc.md b/...es/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine/big_cc.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/.../examples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine/downmost.md b/.../examples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine/downmost.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...s/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine/is_nine.md b/...s/examples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine/is_nine.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/...xamples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine/nine_match.md b/...xamples/mnist-classifier/item_sem_static_mut_deps/src/digits/nine/nine_match.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```
diff --git a/.../mnist-classifier/item_sem_static_mut_deps/src/digits/nine/nine_match_refine.md b/.../mnist-classifier/item_sem_static_mut_deps/src/digits/nine/nine_match_refine.md
@@ -0,0 +1,7 @@
+```rust
+Some(
+    SemStaticMutDeps(
+        [],
+    ),
+)
+```