Diffstat (limited to 'src/walk/walkers/core/int.rs')
-rw-r--r--src/walk/walkers/core/int.rs8
1 files changed, 3 insertions, 5 deletions
diff --git a/src/walk/walkers/core/int.rs b/src/walk/walkers/core/int.rs
index bef10d8..bf6b8c8 100644
--- a/src/walk/walkers/core/int.rs
+++ b/src/walk/walkers/core/int.rs
@@ -1,7 +1,7 @@
use effectful::effective::Effective;
use effectful::environment::{DynBind, Environment, NativeForm};
-use effectful::forward_send_sync;
use effectful::higher_ranked::Mut;
+use effectful::SendSync;
use crate::{
any::OwnedStatic,
@@ -18,13 +18,12 @@ use crate::{
Flow, Walker,
};
+#[derive(SendSync)]
pub struct IntegerWalker<T, E> {
value: T,
_marker: Marker<E>,
}
-forward_send_sync!({T} {} {E} IntegerWalker<T, E>);
-
pub trait Integer:
'static
+ Copy
@@ -58,12 +57,11 @@ impl<'ctx, T, E> IntegerWalker<T, E> {
}
}
+#[derive(SendSync)]
pub struct IntegerWalkerError<T> {
value: T,
}
-forward_send_sync!({T} {} IntegerWalkerError<T>);
-
impl<T: Integer> ::core::fmt::Debug for IntegerWalkerError<T> {
fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
f.debug_struct("IntegerWalkerError")