Skip to content

Commit

Permalink
bump v0.0.27
Browse files Browse the repository at this point in the history
  • Loading branch information
memoryleak47 committed Nov 20, 2024
1 parent 75e1b48 commit a5df7f4
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 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.26"
version = "0.0.27"
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.1"
fnv = "1.0.7"
tracing = { version = "0.1", features = ["attributes"], optional = true }

Expand Down
3 changes: 2 additions & 1 deletion src/lang.rs
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,8 @@ impl Language for Slot {
fn num_children_hint() -> Option<usize> { Some(1) }
}

/// Implements [Language] for payload types that are independent of Slots. For example u32, String etc.
#[macro_export]
macro_rules! impl_slotless_lang {
($id:ident) => {
impl Language for $id {
Expand All @@ -44,7 +46,6 @@ macro_rules! impl_slotless_lang {

impl_slotless_lang!(u32);


impl<L: Language> Language for Bind<L> {
fn all_slot_occurences_mut(&mut self) -> Vec<&mut Slot> {
let mut v = vec![&mut self.slot];
Expand Down

0 comments on commit a5df7f4

Please sign in to comment.