misc

plaans · Nov 28, 2023 · 0c9dc91 · 0c9dc91
1 parent 8566099
commit 0c9dc91
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 11 deletions.
diff --git a/acting/apps/src/bin/flow_graph.rs b/acting/apps/src/bin/flow_graph.rs
@@ -103,10 +103,10 @@ pub async fn __convert(lv: LValue, mut p_env: PLEnv) -> Result<ActingModel, LRun
     //debug_println!("annotate =>\n{}", lv_om.format(0));
 
     let pp_lv = lambda_expansion(&lv_om, &p_env).await?;
-    let pp_lv = pre_processing(&pp_lv, &p_env).await?;
+    let pp_lv = pre_processing(&pp_lv, &p_env)?;
     //debug_println!("pre_processing =>\n{}", pp_lv.format(0));
 
-    let chronicle = match _convert(None, &pp_lv, &mut p_env, st).await {
+    let chronicle = match _convert(None, &pp_lv, &mut p_env, st) {
         Ok(ch) => Some(ch),
         Err(e) => {
             println!("{}", e);

diff --git a/acting/apps/src/bin/type_network.rs b/acting/apps/src/bin/type_network.rs
@@ -59,6 +59,7 @@ fn test_meet(tn: &TypeLattice, ta: DomainTest, tb: DomainTest) {
     println!("{} ^ {} = {}", ta, tb, r2)
 }
 
+#[allow(dead_code)]
 fn test_union(tn: &TypeLattice, ta: DomainTest, tb: DomainTest) {
     let r = tn.union(&ta.into_domain(tn), &tb.into_domain(tn));
     let r = DomainTest::from_domain(tn, &r);

diff --git a/resources/playground/src/bin/command.rs b/resources/playground/src/bin/command.rs
@@ -11,20 +11,22 @@ pub async fn main() {
     //
     let mut command = Command::new("ompas");
     command.args(["-d","/home/jeremy/ompas_output/benchmark/gripper/problems/gripper_medium_0_random_satisfactory.lisp"]);
-    command.env("OMPAS_WORKING_DIR", "/home/jeremy/ompas_output/benchmark/gripper");
+    command.env(
+        "OMPAS_WORKING_DIR",
+        "/home/jeremy/ompas_output/benchmark/gripper",
+    );
 
     if let Ok(mut c) = command.spawn() {
         tokio::select! {
             _ = tokio::time::sleep(Duration::from_secs(40)) => {
-                c.kill().await;
+                let  _ = c.kill().await;
                 println!("command killed!")
             }
-            r = c.wait() => {
+            _ = c.wait() => {
                 println!("command ok!")
             }
         }
     } else {
         panic!("panic");
     }
-
-}
+}
diff --git a/scheme/apps/src/bin/bench_eval.rs b/scheme/apps/src/bin/bench_eval.rs
@@ -7,8 +7,8 @@ use std::time::SystemTime;
 #[tokio::main]
 pub async fn main() {
     //let env = get_root_env().await;
-    test_fact(100).await;
-    test_lisp_integration().await;
+    let _ = test_fact(100).await;
+    let _ = test_lisp_integration().await;
 }
 
 fn create_list_test() -> Vec<(&'static str, LValue)> {
@@ -77,11 +77,11 @@ async fn test_fact(n: i64) -> lruntimeerror::Result<()> {
         &mut env,
     )
     .await?;
-    let r = eval(&lv, &mut env, None).await?;
+    let _ = eval(&lv, &mut env, None).await?;
     let time = SystemTime::now();
     let lv = parse(format!("(fact {n})").as_str(), &mut env).await?;
     let parse = time.elapsed().unwrap().as_secs_f64();
-    let r = eval(&lv, &mut env, None).await?;
+    let _ = eval(&lv, &mut env, None).await?;
     let end = time.elapsed().unwrap().as_secs_f64();
     println!(
         "eval({lv}) took {:.3} µs ({:.1} % to parse)",