AUTO : Forward from cleaning_7 to alpha

Cargo.toml

@@ -18,7 +18,8 @@ exclude = [
   "module/move/refiner",
   "module/move/wplot",
   "module/move/plot_interface",
-  "module/move/unilang",
+  # "module/move/unilang_parser", # Explicitly exclude unilang_parser
+  # "module/alias/unilang_instruction_parser", # Explicitly exclude unilang_instruction_parser
   "module/core/program_tools",
   "module/move/graphs_tools",
   "module/alias/fundamental_data_type",
@@ -48,39 +49,39 @@ discord_url = "https://discord.gg/m3YfbXpUUY"
 # [metadata.cargo-suppress-warnings]
 # unused-manifest-key = true
 
-
 [workspace.lints.rust]
-# Source :: https://github.com/obox-systems/conventions/blob/master/code_style.md#lints-and-warnings
-
 # Denies non-idiomatic code for Rust 2018 edition.
-rust_2018_idioms = { level = "deny", priority = -1 }
+rust_2018_idioms = { level = "warn", priority = -1 }
 # Denies using features that may break in future Rust versions.
-future_incompatible = { level = "deny", priority = -1 }
+future_incompatible = { level = "warn", priority = -1 }
 # Warns if public items lack documentation.
 missing_docs = "warn"
 # Warns for public types not implementing Debug.
 missing_debug_implementations = "warn"
 # Denies all unsafe code usage.
-unsafe-code = "warn"
+unsafe-code = "deny"
 
 [workspace.lints.clippy]
 # Denies restrictive lints, limiting certain language features/patterns.
-#restriction = { level = "deny", priority = -1 }
+restriction = { level = "allow", priority = -1 } # xxx : make it warn
 # Denies pedantic lints, enforcing strict coding styles and conventions.
 pedantic = { level = "warn", priority = -1 }
 # Denies undocumented unsafe blocks.
 undocumented_unsafe_blocks = "deny"
-# xxx : check
-# Warns if core could be used instead of std, but didn't
-std_instead_of_core = "warn"
-# Warns if alloc could be used instead of std, but didn't
-std_instead_of_alloc = "warn"
-# xxx : document
+# Allows functions that are only called once.
 single_call_fn = "allow"
+# Allows forcing a function to always be inlined.
 inline_always = "allow"
+# Allows item names that repeat the module name (e.g., `mod user { struct User; }`).
 module_name_repetitions = "allow"
+# Allows using fully qualified paths instead of `use` statements.
 absolute_paths = "allow"
+# Allows wildcard imports (e.g., `use std::io::*;`).
 wildcard_imports = "allow"
+# Warns to prefer `core` over `std` when available, for `no_std` compatibility.
+std_instead_of_core = "warn"
+# Warns to prefer `alloc` over `std` when available, for `no_std` compatibility.
+std_instead_of_alloc = "allow"
 
 ## top level
 
@@ -102,8 +103,9 @@ version = "~0.1.4"
 path = "module/alias/std_x"
 
 [workspace.dependencies.unilang_parser]
-version = "~0.2.0"
-path = "module/move/unilang_parser"
+version = "~0.4.0"
+path = "module/move/unilang_parser" # Point to original unilang_parser
+
 
 ## data_type
 
@@ -126,7 +128,7 @@ version = "~0.1.0"
 path = "module/core/type_constructor_derive_pair_meta"
 
 [workspace.dependencies.interval_adapter]
-version = "~0.29.0"
+version = "~0.31.0"
 path = "module/core/interval_adapter"
 default-features = false
 # features = [ "enabled" ]
@@ -138,21 +140,21 @@ default-features = false
 # features = [ "enabled" ]
 
 [workspace.dependencies.collection_tools]
-version = "~0.18.0"
+version = "~0.20.0"
 path = "module/core/collection_tools"
 default-features = false
 
 
 ## derive
 
 [workspace.dependencies.derive_tools]
-version = "~0.37.0"
+version = "~0.39.0"
 path = "module/core/derive_tools"
 default-features = false
 # features = [ "enabled" ]
 
 [workspace.dependencies.derive_tools_meta]
-version = "~0.37.0"
+version = "~0.39.0"
 path = "module/core/derive_tools_meta"
 default-features = false
 # features = [ "enabled" ]
@@ -194,30 +196,30 @@ path = "module/alias/fundamental_data_type"
 default-features = false
 
 [workspace.dependencies.variadic_from]
-version = "~0.32.0"
+version = "~0.34.0"
 path = "module/core/variadic_from"
 default-features = false
 # features = [ "enabled" ]
 
 [workspace.dependencies.variadic_from_meta]
-version = "~0.3.0"
+version = "~0.5.0"
 path = "module/core/variadic_from_meta"
 default-features = false
 # features = [ "enabled" ]
 
 [workspace.dependencies.clone_dyn]
-version = "~0.34.0"
+version = "~0.36.0"
 path = "module/core/clone_dyn"
 default-features = false
 # features = [ "enabled" ]
 
 [workspace.dependencies.clone_dyn_meta]
-version = "~0.32.0"
+version = "~0.34.0"
 path = "module/core/clone_dyn_meta"
 # features = [ "enabled" ]
 
 [workspace.dependencies.clone_dyn_types]
-version = "~0.32.0"
+version = "~0.34.0"
 path = "module/core/clone_dyn_types"
 default-features = false
 # features = [ "enabled" ]
@@ -242,7 +244,7 @@ default-features = false
 ## iter
 
 [workspace.dependencies.iter_tools]
-version = "~0.30.0"
+version = "~0.32.0"
 path = "module/core/iter_tools"
 default-features = false
 
@@ -260,17 +262,17 @@ path = "module/core/for_each"
 default-features = false
 
 [workspace.dependencies.former]
-version = "~2.19.0"
+version = "~2.21.0"
 path = "module/core/former"
 default-features = false
 
 [workspace.dependencies.former_meta]
-version = "~2.19.0"
+version = "~2.21.0"
 path = "module/core/former_meta"
 default-features = false
 
 [workspace.dependencies.former_types]
-version = "~2.17.0"
+version = "~2.19.0"
 path = "module/core/former_types"
 default-features = false
 
@@ -285,7 +287,7 @@ path = "module/core/component_model_meta"
 default-features = false
 
 [workspace.dependencies.component_model_types]
-version = "~0.3.0"
+version = "~0.5.0"
 path = "module/core/component_model_types"
 default-features = false
 
@@ -299,12 +301,12 @@ version = "~0.13.0"
 path = "module/core/impls_index_meta"
 
 [workspace.dependencies.mod_interface]
-version = "~0.35.0"
+version = "~0.37.0"
 path = "module/core/mod_interface"
 default-features = false
 
 [workspace.dependencies.mod_interface_meta]
-version = "~0.33.0"
+version = "~0.35.0"
 path = "module/core/mod_interface_meta"
 default-features = false
 
@@ -330,7 +332,7 @@ default-features = false
 ## macro tools
 
 [workspace.dependencies.macro_tools]
-version = "~0.57.0"
+version = "~0.59.0"
 path = "module/core/macro_tools"
 default-features = false
 
@@ -389,7 +391,7 @@ default-features = false
 ## error
 
 [workspace.dependencies.error_tools]
-version = "~0.23.0"
+version = "~0.26.0"
 path = "module/core/error_tools"
 default-features = false
 
@@ -401,7 +403,7 @@ path = "module/alias/werror"
 ## string tools
 
 [workspace.dependencies.strs_tools]
-version = "~0.21.0"
+version = "~0.23.0"
 path = "module/core/strs_tools"
 default-features = false
 
@@ -497,7 +499,7 @@ default-features = false
 ## ca
 
 [workspace.dependencies.wca]
-version = "~0.26.0"
+version = "~0.27.0"
 path = "module/move/wca"
 
 ## censor
@@ -694,7 +696,7 @@ default-features = false
 # proc-macro2 = { version = "~1.0.78", default-features = false, features = [] }
 # quote = { version = "~1.0.35", default-features = false, features = [] }
 # syn = { version = "~2.0.52", default-features = false, features = [ "full", "extra-traits" ] } # qqq : xxx : optimize set of features
-# const_format = { version = "0.2.32", default-features = false, features = [] }
 
-# [replace]
-# "macro_tools:0.56.0" = { path = "temp_crates/macro_tools_patched" }
+[patch.crates-io]
+former_meta = { path = "module/core/former_meta" }
+# const_format = { version = "0.2.32", default-features = false, features = [] }

Cargo.toml.debug

@@ -0,0 +1,13 @@
+[package]
+name = "debug_decompose"
+version = "0.1.0"
+edition = "2021"
+
+[[bin]]
+name = "debug_decompose_test"
+path = "debug_decompose_test.rs"
+
+[dependencies]
+syn = { version = "2.0", features = ["full", "parsing", "quote"] }
+quote = "1.0"
+macro_tools = { path = "module/core/macro_tools" }

debug_decompose_test.rs

@@ -0,0 +1,62 @@
+use syn::{parse_quote, Generics};
+use macro_tools::generic_params;
+
+fn main() {
+    println!("Testing decompose function with lifetime parameters...");
+
+    // Test case 1: Simple lifetime parameter
+    let generics1: Generics = parse_quote! { <'a> };
+    let (with_defaults, impl_gen, ty_gen, where_gen) = generic_params::decompose(&generics1);
+
+    println!("Test 1 - Single lifetime:");
+    println!("  with_defaults: {}", quote::quote! { #with_defaults });
+    println!("  impl_gen: {}", quote::quote! { #impl_gen });
+    println!("  ty_gen: {}", quote::quote! { #ty_gen });
+    println!("  where_gen: {}", quote::quote! { #where_gen });
+
+    // Test case 2: Multiple lifetime parameters
+    let generics2: Generics = parse_quote! { <'a, 'b> };
+    let (with_defaults2, impl_gen2, ty_gen2, where_gen2) = generic_params::decompose(&generics2);
+
+    println!("\nTest 2 - Multiple lifetimes:");
+    println!("  with_defaults: {}", quote::quote! { #with_defaults2 });
+    println!("  impl_gen: {}", quote::quote! { #impl_gen2 });
+    println!("  ty_gen: {}", quote::quote! { #ty_gen2 });
+    println!("  where_gen: {}", quote::quote! { #where_gen2 });
+
+    // Test case 3: Mixed generics with lifetimes first
+    let generics3: Generics = parse_quote! { <'a, T> };
+    let (with_defaults3, impl_gen3, ty_gen3, where_gen3) = generic_params::decompose(&generics3);
+
+    println!("\nTest 3 - Mixed (lifetime first):");
+    println!("  with_defaults: {}", quote::quote! { #with_defaults3 });
+    println!("  impl_gen: {}", quote::quote! { #impl_gen3 });
+    println!("  ty_gen: {}", quote::quote! { #ty_gen3 });
+    println!("  where_gen: {}", quote::quote! { #where_gen3 });
+
+    // Test case 4: Mixed generics with types first
+    let generics4: Generics = parse_quote! { <T, 'a> };
+    let (with_defaults4, impl_gen4, ty_gen4, where_gen4) = generic_params::decompose(&generics4);
+
+    println!("\nTest 4 - Mixed (type first):");
+    println!("  with_defaults: {}", quote::quote! { #with_defaults4 });
+    println!("  impl_gen: {}", quote::quote! { #impl_gen4 });
+    println!("  ty_gen: {}", quote::quote! { #ty_gen4 });
+    println!("  where_gen: {}", quote::quote! { #where_gen4 });
+
+    // Test if generated code can be parsed back
+    println!("\nTesting if generated code is valid Rust syntax:");
+
+    // Test parsing the impl_gen output
+    let impl_gen_str = format!("<{}>", quote::quote! { #impl_gen });
+    match syn::parse_str::<Generics>(&impl_gen_str) {
+        Ok(_) => println!("  impl_gen is valid: {}", impl_gen_str),
+        Err(e) => println!("  impl_gen is INVALID: {} - Error: {}", impl_gen_str, e),
+    }
+
+    let ty_gen_str = format!("<{}>", quote::quote! { #ty_gen });
+    match syn::parse_str::<Generics>(&ty_gen_str) {
+        Ok(_) => println!("  ty_gen is valid: {}", ty_gen_str),
+        Err(e) => println!("  ty_gen is INVALID: {} - Error: {}", ty_gen_str, e),
+    }
+}

module/alias/cargo_will/Cargo.toml

@@ -7,7 +7,7 @@ authors = [
   "Dmytro Kryvoruchko <[email protected]>",
 ]
 license = "MIT"
-readme = "Readme.md"
+readme = "readme.md"
 documentation = "https://docs.rs/cargo-will"
 repository = "https://github.com/Wandalen/wTools/tree/master/module/alias/cargo-will"
 homepage = "https://github.com/Wandalen/wTools/tree/master/module/alias/cargo-will"

module/alias/cargo_will/src/bin/cargo-will.rs

@@ -1,7 +1,7 @@
 #![ doc( html_logo_url = "https://raw.githubusercontent.com/Wandalen/wTools/master/asset/img/logo_v3_trans_square.png" ) ]
 #![ doc( html_favicon_url = "https://raw.githubusercontent.com/Wandalen/wTools/alpha/asset/img/logo_v3_trans_square_icon_small_v2.ico" ) ]
 #![ doc( html_root_url = "https://docs.rs/{{template_blank}}/latest/{{template_blank}}/" ) ]
-#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "Readme.md" ) ) ]
+#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "readme.md" ) ) ]
 
 #[ allow( unused_imports ) ]
 use::willbe::*;

module/alias/cargo_will/src/bin/will.rs

@@ -5,7 +5,7 @@
 #![ doc( html_logo_url = "https://raw.githubusercontent.com/Wandalen/wTools/master/asset/img/logo_v3_trans_square.png" ) ]
 #![ doc( html_favicon_url = "https://raw.githubusercontent.com/Wandalen/wTools/alpha/asset/img/logo_v3_trans_square_icon_small_v2.ico" ) ]
 #![ doc( html_root_url = "https://docs.rs/{{template_blank}}/latest/{{template_blank}}/" ) ]
-#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "Readme.md" ) ) ]
+#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "readme.md" ) ) ]
 
 #[ allow( unused_imports ) ]
 use::willbe::*;

module/alias/cargo_will/src/bin/willbe.rs

@@ -1,7 +1,7 @@
 #![ doc( html_logo_url = "https://raw.githubusercontent.com/Wandalen/wTools/master/asset/img/logo_v3_trans_square.png" ) ]
 #![ doc( html_favicon_url = "https://raw.githubusercontent.com/Wandalen/wTools/alpha/asset/img/logo_v3_trans_square_icon_small_v2.ico" ) ]
 #![ doc( html_root_url = "https://docs.rs/{{template_blank}}/latest/{{template_blank}}/" ) ]
-#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "Readme.md" ) ) ]
+#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "readme.md" ) ) ]
 
 #[ allow( unused_imports ) ]
 use::willbe::*;

module/alias/cargo_will/src/lib.rs

@@ -2,7 +2,7 @@
 #![ doc( html_logo_url = "https://raw.githubusercontent.com/Wandalen/wTools/master/asset/img/logo_v3_trans_square.png" ) ]
 #![ doc( html_favicon_url = "https://raw.githubusercontent.com/Wandalen/wTools/alpha/asset/img/logo_v3_trans_square_icon_small_v2.ico" ) ]
 #![ doc( html_root_url = "https://docs.rs/{{template_blank}}/latest/{{template_blank}}/" ) ]
-#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "Readme.md" ) ) ]
+#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "readme.md" ) ) ]
 
 #[ doc( inline ) ]
 #[ allow( unused_imports ) ]

module/alias/file_tools/Cargo.toml

@@ -6,7 +6,7 @@ authors = [
   "Kostiantyn Wandalen <[email protected]>",
 ]
 license = "MIT"
-readme = "Readme.md"
+readme = "readme.md"
 documentation = "https://docs.rs/file_tools"
 repository = "https://github.com/Wandalen/wTools/tree/master/module/core/file_tools"
 homepage = "https://github.com/Wandalen/wTools/tree/master/module/core/file_tools"

module/alias/file_tools/src/lib.rs

@@ -1,11 +1,11 @@
-#![ cfg_attr( feature = "no_std", no_std ) ]
-#![ doc( html_logo_url = "https://raw.githubusercontent.com/Wandalen/wTools/master/asset/img/logo_v3_trans_square.png" ) ]
-#![ doc( html_favicon_url = "https://raw.githubusercontent.com/Wandalen/wTools/alpha/asset/img/logo_v3_trans_square_icon_small_v2.ico" ) ]
-#![ doc( html_root_url = "https://docs.rs/file_tools/latest/file_tools/" ) ]
-#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "Readme.md" ) ) ]
+#![cfg_attr(feature = "no_std", no_std)]
+#![doc(html_logo_url = "https://raw.githubusercontent.com/Wandalen/wTools/master/asset/img/logo_v3_trans_square.png")]
+#![doc(
+  html_favicon_url = "https://raw.githubusercontent.com/Wandalen/wTools/alpha/asset/img/logo_v3_trans_square_icon_small_v2.ico"
+)]
+#![doc(html_root_url = "https://docs.rs/file_tools/latest/file_tools/")]
+#![ doc = include_str!( concat!( env!( "CARGO_MANIFEST_DIR" ), "/", "readme.md" ) ) ]
 
 /// Function description.
-#[ cfg( feature = "enabled" ) ]
-pub fn f1()
-{
-}
+#[cfg(feature = "enabled")]
+pub fn f1() {}