diff --git a/Cargo.toml b/Cargo.toml index f97eb9d..b9d2c13 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "slotted-egraphs" -version = "0.0.28" +version = "0.0.29" edition = "2021" description = "E-Graphs with name binding" license = "Apache-2.0 OR MIT" @@ -15,7 +15,7 @@ trace = ["tracing/max_level_trace", "tracing/release_max_level_trace", "tracing" features = ["explanations"] [dependencies] -slotted-egraphs-derive = { path = "slotted-egraphs-derive" } +slotted-egraphs-derive = "=0.0.3" fnv = "1.0.7" tracing = { version = "0.1", features = ["attributes"], optional = true } symbol_table = { version = "0.3", features = ["global"] } diff --git a/slotted-egraphs-derive/Cargo.toml b/slotted-egraphs-derive/Cargo.toml index 8edc139..6c61504 100644 --- a/slotted-egraphs-derive/Cargo.toml +++ b/slotted-egraphs-derive/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "slotted-egraphs-derive" description = "proc macros to implement slotted Languages" -version = "0.0.2" +version = "0.0.3" edition = "2021" license = "Apache-2.0 OR MIT" repository = "https://github.com/memoryleak47/slotted-egraphs/" diff --git a/slotted-egraphs-derive/src/lib.rs b/slotted-egraphs-derive/src/lib.rs index f520d76..c39c2fe 100644 --- a/slotted-egraphs-derive/src/lib.rs +++ b/slotted-egraphs-derive/src/lib.rs @@ -1,6 +1,6 @@ use proc_macro::TokenStream as TokenStream1; use proc_macro2::TokenStream as TokenStream2; -use quote::{format_ident, quote, ToTokens}; +use quote::{quote, ToTokens}; use syn::*; // We allow the user to use tuples, Slot, Bind<_>, AppliedId and "user-defined types" in their enum variants. @@ -16,7 +16,6 @@ pub fn define_language(input: TokenStream1) -> TokenStream1 { x.discriminant.take().map(|(_, e)| e) }).collect(); - let ident_names: Vec = ie.variants.iter().map(|x| x.ident.clone()).collect(); let all_slot_occurrences_mut_arms: Vec = ie.variants.iter().map(|x| produce_all_slot_occurrences_mut(&name, x)).collect(); let public_slot_occurrences_mut_arms: Vec = ie.variants.iter().map(|x| produce_public_slot_occurrences_mut(&name, x)).collect(); let applied_id_occurrences_mut_arms: Vec = ie.variants.iter().map(|x| produce_applied_id_occurrences_mut(&name, x)).collect();