Update for traverse

clangml-transforms/dune

@@ -3,4 +3,4 @@
   (public_name clangml-transforms)
   (preprocess (pps refl.ppx))
   (wrapped false)
-  (libraries clangml refl dolog))
+  (libraries clangml refl dolog traverse))

clangml-transforms/for_memcad.ml

@@ -167,14 +167,16 @@ let plus_with_warning (a : accu) (b : accu) : accu =
   Free_monoid.plus a b
 
 module Applicative =
-  Refl.Visit.EnvT (struct type t = env end)
-    (Refl.Visit.ReduceT (struct
-      type t = accu
+  Traverse.Applicative.Env (struct type t = env end)
+    (Traverse.Applicative.Pair
+      (Traverse.Applicative.Map)
+      (Traverse.Applicative.Reduce (struct
+        type t = accu
 
-      let zero = Free_monoid.zero
+        let zero = Free_monoid.zero
 
-      let ( + ) = plus_with_warning
-    end) (Refl.Visit.Map))
+        let ( + ) = plus_with_warning
+      end)))
 
 module rec Visitor : Refl.Visit.VisitorS
 with type 'a Applicative.t = 'a Applicative.t = struct

dune-project

@@ -18,4 +18,5 @@
   (ocaml (and (>= 4.03.0) (< 4.11.0)))
   (dune (>= 2.2.0))
   (clangml (>= 4.1.0))
-  (dolog (>= 4.0.0))))
+  (dolog (>= 4.0.0))
+  (traverse (>= 0.1.0))))