bendns' repos / treaty
Diffstat (limited to 'src/walk/walkers/core/bool.rs')
-rw-r--r--src/walk/walkers/core/bool.rs13
1 files changed, 7 insertions, 6 deletions
diff --git a/src/walk/walkers/core/bool.rs b/src/walk/walkers/core/bool.rs
index 669978e..c6e7652 100644
--- a/src/walk/walkers/core/bool.rs
+++ b/src/walk/walkers/core/bool.rs
@@ -1,16 +1,17 @@
-use effectful::environment::{Environment, NativeForm};
-
-use crate::{
- Walk,
+use effectful::{
+ effective::Effective,
+ environment::{Environment, NativeForm},
};
+use crate::Walk;
+
use super::value::ValueWalker;
impl<'ctx, M, E: Environment> Walk<'ctx, M, E> for bool {
type Walker = ValueWalker<bool>;
fn into_walker<'e>(self) -> NativeForm<'e, Self::Walker, E> {
- E::ready(ValueWalker::new(self))
+ E::value(ValueWalker::new(self)).cast()
}
}
@@ -18,6 +19,6 @@ impl<'ctx, M, E: Environment> Walk<'ctx, M, E> for &'ctx bool {
type Walker = ValueWalker<bool>;
fn into_walker<'e>(self) -> NativeForm<'e, Self::Walker, E> {
- E::ready(ValueWalker::new(*self))
+ E::value(ValueWalker::new(*self)).cast()
}
}