From a1e24c2a13713b015abc9a93e6915b6d4a6f22fe Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 2 Aug 2023 14:10:15 +0200
Subject: Make progress

---
 compiler/ValuesUtils.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'compiler/ValuesUtils.ml')

diff --git a/compiler/ValuesUtils.ml b/compiler/ValuesUtils.ml
index abbfad31..d748cc2e 100644
--- a/compiler/ValuesUtils.ml
+++ b/compiler/ValuesUtils.ml
@@ -3,6 +3,7 @@ open TypesUtils
 open Types
 open Values
 module TA = TypesAnalysis
+include PrimitiveValuesUtils
 
 (** Utility exception *)
 exception FoundSymbolicValue of symbolic_value
-- 
cgit v1.2.3


From c6f0a8c8bfe04e83de4692a389daf8cde47b74d5 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Aug 2023 00:24:02 +0200
Subject: Fix issues

---
 compiler/ValuesUtils.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'compiler/ValuesUtils.ml')

diff --git a/compiler/ValuesUtils.ml b/compiler/ValuesUtils.ml
index d748cc2e..527434c1 100644
--- a/compiler/ValuesUtils.ml
+++ b/compiler/ValuesUtils.ml
@@ -17,6 +17,9 @@ let mk_bottom (ty : ety) : typed_value = { value = Bottom; ty }
 let mk_abottom (ty : rty) : typed_avalue = { value = ABottom; ty }
 let mk_aignored (ty : rty) : typed_avalue = { value = AIgnored; ty }
 
+let value_as_symbolic (v : value) : symbolic_value =
+  match v with Symbolic v -> v | _ -> raise (Failure "Unexpected")
+
 (** Box a value *)
 let mk_box_value (v : typed_value) : typed_value =
   let box_ty = mk_box_ty v.ty in
-- 
cgit v1.2.3