add a TODO on using only the order and remove the types

oflatt · Jan 24, 2024 · a49ded1 · a49ded1
1 parent 1ee1cab
commit a49ded1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/actions.rs b/src/actions.rs
@@ -161,6 +161,7 @@ impl EGraph {
         binding: &IndexSet<ResolvedVar>,
         actions: &GenericCoreActions<ResolvedCall, ResolvedVar>,
     ) -> Result<Program, Vec<TypeError>> {
+        // TODO: delete types and just keep the ordering
         let mut types = IndexMap::default();
         for var in binding {
             types.insert(var.name, var.sort.clone());
@@ -189,6 +190,7 @@ impl EGraph {
         actions: &ResolvedCoreActions,
         target: &ResolvedAtomTerm,
     ) -> Result<Program, Vec<TypeError>> {
+        // TODO: delete types and just keep the ordering
         let mut types = IndexMap::default();
         for var in binding {
             types.insert(var.name, var.sort.clone());