From 3c2de3a3fe4042967f59192286763ba648df01ec Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 24 Nov 2021 16:43:59 +0100
Subject: Implement eval_binary_op

---
 src/Values.ml | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index 90267ce1..5c31feef 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -31,24 +31,12 @@ let big_int_of_yojson (json : Yojson.Safe.t) : (big_int, string) result =
 
 let big_int_to_yojson (i : big_int) = `Intlit (Z.to_string i)
 
+type scalar_value = { value : big_int; int_ty : integer_type }
 (** A scalar value
 
     Note that we use unbounded integers everywhere.
     We then harcode the boundaries for the different types.
  *)
-type scalar_value =
-  | Isize of big_int
-  | I8 of big_int
-  | I16 of big_int
-  | I32 of big_int
-  | I64 of big_int
-  | I128 of big_int
-  | Usize of big_int
-  | U8 of big_int
-  | U16 of big_int
-  | U32 of big_int
-  | U64 of big_int
-  | U128 of big_int
 
 (** A constant value *)
 type constant_value =
-- 
cgit v1.2.3