From ee2ea784ad7488d540226d0ad4c4da21af7b5382 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 30 Jul 2022 23:22:25 -0400
Subject: [PATCH] remove Vec_unit

---
 src/util/Sidekick_util.ml |  1 -
 src/util/Vec_unit.ml      | 34 ----------------------------------
 src/util/Vec_unit.mli     |  5 -----
 3 files changed, 40 deletions(-)
 delete mode 100644 src/util/Vec_unit.ml
 delete mode 100644 src/util/Vec_unit.mli

diff --git a/src/util/Sidekick_util.ml b/src/util/Sidekick_util.ml
index aa84faad..a492a241 100644
--- a/src/util/Sidekick_util.ml
+++ b/src/util/Sidekick_util.ml
@@ -4,7 +4,6 @@ module Util = Util
 module Vec = Vec
 module Veci = Veci
 module Vec_float = Vec_float
-module Vec_unit = Vec_unit
 module Vec_sig = Vec_sig
 module Bitvec = Bitvec
 module Int_id = Int_id
diff --git a/src/util/Vec_unit.ml b/src/util/Vec_unit.ml
deleted file mode 100644
index 0f61168c..00000000
--- a/src/util/Vec_unit.ml
+++ /dev/null
@@ -1,34 +0,0 @@
-type elt = unit
-
-(* no need to store anything so we don't even provide an actual vector
-   since unit is a "zero sized type" as rustaceans would say. *)
-type t = { mutable size: int }
-
-let create ?cap:_ () : t = { size = 0 }
-let clear self = self.size <- 0
-let copy { size } = { size }
-let get (_self : t) _ = ()
-let size self = self.size
-let iter ~f:_ (_self : t) = ()
-let iteri ~f:_ (_self : t) = ()
-let is_empty self = self.size = 0
-let push (self : t) _ = self.size <- 1 + self.size
-let fast_remove (self : t) _ = self.size <- self.size - 1
-let ensure_size (self : t) i = self.size <- max self.size i
-let set _ _ _ = ()
-
-let pop self =
-  self.size <- self.size - 1;
-  ()
-
-let filter_in_place _ _ = ()
-let shrink (self : t) i = self.size <- i
-
-let to_iter self k =
-  for _i = 0 to self.size - 1 do
-    k ()
-  done
-
-let to_array self = Iter.to_array (to_iter self)
-let fold_left f acc self = Iter.fold f acc (to_iter self)
-let pp ppx out self = Iter.pp_seq ppx out (to_iter self)
diff --git a/src/util/Vec_unit.mli b/src/util/Vec_unit.mli
deleted file mode 100644
index abda0bf9..00000000
--- a/src/util/Vec_unit.mli
+++ /dev/null
@@ -1,5 +0,0 @@
-(** Fake vector of unit.
-
-  This just retains the size, as 0 bits of actual storage are required. *)
-
-include Vec_sig.S with type elt = unit