WIP: fix rebase with full history unhidding

idris-lang · Nov 28, 2024 · b08c6cc · b08c6cc
1 parent 583157c
commit b08c6cc
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/src/Core/Core.idr b/src/Core/Core.idr
@@ -855,14 +855,6 @@ namespace SnocList
 traverseFC : (a -> Core b) -> WithFC a -> Core (WithFC b)
 traverseFC f (MkFCVal fc x) = MkFCVal fc <$> f x
 
-namespace SnocList
-  export
-  traverse_ : (a -> Core b) -> SnocList a -> Core ()
-  traverse_ f [<] = pure ()
-  traverse_ f (xs :< x)
-      = Core.do ignore (f x)
-                traverse_ f xs
-
 namespace PiInfo
   export
   traverse : (a -> Core b) -> PiInfo a -> Core (PiInfo b)