ScopedSnocList: WIP: remove **unused** (unBinds) code from `Travers…

…als`.
idris-lang · Oct 4, 2024 · db9b3fd · db9b3fd
1 parent d73dc57
commit db9b3fd
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/Core/TT/Traversals.idr b/src/Core/TT/Traversals.idr
@@ -10,12 +10,6 @@ import Libraries.Data.SortedSet
 
 %default covering
 
-export
-unBinds : Term vars -> Exists (\ outer => Term (outer <>> vars))
-unBinds (Bind _ x _ scope) = let (Evidence outer t) = unBinds scope in
-                             Evidence (outer :< x) t
-unBinds t = Evidence [<] t
-
 export
 onPRefs : Monoid m =>
           (Name      -> m) ->