From 5ad671a0960692af1c00609fa6864c6f44ca299c Mon Sep 17 00:00:00 2001
From: Escherichia
Date: Thu, 28 Mar 2024 13:56:31 +0100
Subject: Should answer all comments, there are still some TODO: error message
 left

---
 compiler/ValuesUtils.ml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'compiler/ValuesUtils.ml')

diff --git a/compiler/ValuesUtils.ml b/compiler/ValuesUtils.ml
index 51c9e8cc..9c4b8b45 100644
--- a/compiler/ValuesUtils.ml
+++ b/compiler/ValuesUtils.ml
@@ -12,23 +12,23 @@ let mk_unit_value : typed_value =
   { value = VAdt { variant_id = None; field_values = [] }; ty = mk_unit_ty }
 
 let mk_typed_value (meta : Meta.meta) (ty : ty) (value : value) : typed_value =
-  cassert (ty_is_ety ty) meta "TODO: error message";
+  sanity_check (ty_is_ety ty) meta;
   { value; ty }
 
 let mk_typed_avalue (meta : Meta.meta) (ty : ty) (value : avalue) : typed_avalue =
-  cassert (ty_is_rty ty) meta "TODO: error message";
+  sanity_check (ty_is_rty ty) meta;
   { value; ty }
 
 let mk_bottom (meta : Meta.meta) (ty : ty) : typed_value =
-  cassert (ty_is_ety ty) meta "TODO: error message";
+  sanity_check (ty_is_ety ty) meta;
   { value = VBottom; ty }
 
 let mk_abottom (meta : Meta.meta) (ty : ty) : typed_avalue =
-  cassert (ty_is_rty ty) meta "TODO: error message";
+  sanity_check (ty_is_rty ty) meta;
   { value = ABottom; ty }
 
 let mk_aignored (meta : Meta.meta) (ty : ty) : typed_avalue =
-  cassert (ty_is_rty ty) meta "TODO: error message";
+  sanity_check (ty_is_rty ty) meta;
   { value = AIgnored; ty }
 
 let value_as_symbolic (meta : Meta.meta) (v : value) : symbolic_value =
-- 
cgit v1.2.3