diff --git a/nested/src/editors/list/ctx.rs b/nested/src/editors/list/ctx.rs index 875838a..d42f9c2 100644 --- a/nested/src/editors/list/ctx.rs +++ b/nested/src/editors/list/ctx.rs @@ -1,7 +1,4 @@ use { - r3vi::{ - view::{sequence::*} - }, crate::{ type_system::{Context, TypeTerm}, editors::list::{ListEditor, PTYListController, PTYListStyle} diff --git a/nested/src/editors/product/nav.rs b/nested/src/editors/product/nav.rs index d60a8a3..c339c97 100644 --- a/nested/src/editors/product/nav.rs +++ b/nested/src/editors/product/nav.rs @@ -179,7 +179,6 @@ impl TreeNav for ProductEditor { match e.goby(direction) { TreeNavResult::Exit => { // *cur_depth = 1; - drop(e); if direction.y < 0 { if depth <= (1-direction.y) as usize { diff --git a/nested/src/editors/typeterm/cmd.rs b/nested/src/editors/typeterm/cmd.rs index fba57be..f5b9aff 100644 --- a/nested/src/editors/typeterm/cmd.rs +++ b/nested/src/editors/typeterm/cmd.rs @@ -1,6 +1,6 @@ use { r3vi::{ - view::{singleton::*, sequence::*} + view::{singleton::*} }, crate::{ type_system::{ReprTree}, diff --git a/nested/src/editors/typeterm/ctx.rs b/nested/src/editors/typeterm/ctx.rs index 59ebafb..8036e72 100644 --- a/nested/src/editors/typeterm/ctx.rs +++ b/nested/src/editors/typeterm/ctx.rs @@ -1,7 +1,4 @@ use { - r3vi::{ - view::{singleton::*, sequence::*} - }, crate::{ type_system::{Context, TypeTerm, MorphismTypePattern}, terminal::{TerminalStyle, TerminalProjections}, diff --git a/nested/src/editors/typeterm/mod.rs b/nested/src/editors/typeterm/mod.rs index 6e8c086..d018c81 100644 --- a/nested/src/editors/typeterm/mod.rs +++ b/nested/src/editors/typeterm/mod.rs @@ -6,8 +6,7 @@ pub use ctx::init_ctx; use { r3vi::{ - buffer::{singleton::*}, - view::{singleton::*, sequence::*} + buffer::{singleton::*} }, crate::{ type_system::{Context, TypeID, TypeTerm, ReprTree}, @@ -122,17 +121,13 @@ impl TypeTermEditor { editor.set_state( State::Char ); editor.send_cmd_obj(ReprTree::from_char(&ctx, *c)); } - - _ => {} } node.goto(TreeCursor::none()); node } - - fn set_state(&mut self, new_state: State) { - let old_node = self.cur_node.get(); + fn set_state(&mut self, new_state: State) { let mut node = match new_state { State::Any => { Context::make_node( &self.ctx, (&self.ctx, "( List Char )").into(), self.depth ).unwrap() @@ -168,9 +163,6 @@ impl TypeTermEditor { Context::make_node( &self.ctx, (&self.ctx, "( Char )").into(), self.depth ).unwrap() .morph( (&self.ctx, "( Type::Lit::Char )").into() ) } - _ => { - old_node - } }; node.goto(TreeCursor::home());