Diffstat (limited to 'src/build/builders/core.rs')
| -rw-r--r-- | src/build/builders/core.rs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/build/builders/core.rs b/src/build/builders/core.rs index a865c25..1231eae 100644 --- a/src/build/builders/core.rs +++ b/src/build/builders/core.rs @@ -1,6 +1,6 @@ use effectful::{ - effective::Effective, - environment::{Environment, NativeForm}, + effective::{Canonical, Effective}, + environment::Environment, SendSync, }; @@ -17,7 +17,7 @@ pub mod value; // pub mod variant; pub mod r#enum; -pub mod r#struct; +// pub mod r#struct; pub mod tag_name; #[derive(Default, SendSync)] @@ -30,14 +30,14 @@ impl NoopVisitor { } } -impl<'ctx> AnyTrait<'ctx> for NoopVisitor {} +impl<'lt, 'ctx: 'lt> AnyTrait<'lt, 'ctx> for NoopVisitor {} impl NoopVisitor { - pub fn walk_dyn<'ctx: 'e, 'walker: 'e, 'e, E: Environment>( - walker: DynWalkerObjSafe<'walker, 'ctx, E>, - ) -> NativeForm<'e, VisitResult, E> { + pub fn walk_dyn<'ctx: 'd, 'walker: 'e, 'd: 'walker, 'e, E: Environment>( + walker: DynWalkerObjSafe<'walker, 'd, 'ctx, E>, + ) -> Canonical<'e, VisitResult, E> { E::value(NoopVisitor::new()) - .update(walker, |walker, noop| { + .update_map(walker, |walker, noop| { walker .walk(DynVisitor(noop)) .map((), |_, x| x.to_continue().into()) |