Skip to content

Commit

Permalink
bump v0.0.29
Browse files Browse the repository at this point in the history
  • Loading branch information
memoryleak47 committed Nov 22, 2024
1 parent 6913f25 commit 2d4ac76
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 5 deletions.
4 changes: 2 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
@@ -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"
Expand All @@ -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"] }
Expand Down
2 changes: 1 addition & 1 deletion slotted-egraphs-derive/Cargo.toml
Original file line number Diff line number Diff line change
@@ -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/"
Expand Down
3 changes: 1 addition & 2 deletions slotted-egraphs-derive/src/lib.rs
Original file line number Diff line number Diff line change
@@ -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.
Expand All @@ -16,7 +16,6 @@ pub fn define_language(input: TokenStream1) -> TokenStream1 {
x.discriminant.take().map(|(_, e)| e)
}).collect();

let ident_names: Vec<Ident> = ie.variants.iter().map(|x| x.ident.clone()).collect();
let all_slot_occurrences_mut_arms: Vec<TokenStream2> = ie.variants.iter().map(|x| produce_all_slot_occurrences_mut(&name, x)).collect();
let public_slot_occurrences_mut_arms: Vec<TokenStream2> = ie.variants.iter().map(|x| produce_public_slot_occurrences_mut(&name, x)).collect();
let applied_id_occurrences_mut_arms: Vec<TokenStream2> = ie.variants.iter().map(|x| produce_applied_id_occurrences_mut(&name, x)).collect();
Expand Down

0 comments on commit 2d4ac76

Please sign in to comment.