From 45eebaae0f99cd96a85546fa6d01ea83f70bf10b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 26 Sep 2022 20:31:57 -0400
Subject: [PATCH] some todos

---
 src/base/Data_ty.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/base/Data_ty.ml b/src/base/Data_ty.ml
index 855cfd92..21a2f51b 100644
--- a/src/base/Data_ty.ml
+++ b/src/base/Data_ty.ml
@@ -106,10 +106,10 @@ let ops =
     | _ -> assert false
   in
   let ser _ser_t = function
-    | Data d -> assert false (* TODO *)
-    | Cstor c -> assert false (* TODO *)
-    | Select s -> assert false (* TODO *)
-    | Is_a c -> assert false (* TODO *)
+    | Data _d -> Error.errorf "cannot serialize data type" (* TODO *)
+    | Cstor _c -> Error.errorf "cannot serialize data cstor" (* TODO *)
+    | Select _s -> Error.errorf "cannot serialize data select" (* TODO *)
+    | Is_a _c -> Error.errorf "cannot serialize data is-a" (* TODO *)
     | _ -> assert false
   in