leave a TODO: enumerated: make use of List abstractions

2022-08-23 23:51:03 -07:00
parent ab6496d5f6
commit cdb0c3eaaa
1 changed files with 2 additions and 0 deletions
--- a/crates/cross/src/compound/enumerated.rs
+++ b/crates/cross/src/compound/enumerated.rs
@@ -1,6 +1,8 @@
 use crate::compound::peano::{P0, Peano, PNext};
 use crate::compound::list::{self, Indexable, IntoList, List};

+// TODO: we can probably simplify a lot of this by using the newer List traits
+
 #[cfg(feature = "serde")]
 use serde::{Serialize, Deserialize};