From 0f63c779f4a290a82c94b876388e27df81b0ce2c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 01:00:01 +0100
Subject: Implement the backward case of translate_return

---
 src/Pure.ml | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'src/Pure.ml')

diff --git a/src/Pure.ml b/src/Pure.ml
index 068a2127..ea9687df 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -78,15 +78,6 @@ type scalar_value = V.scalar_value
 
 type constant_value = V.constant_value
 
-type value = Concrete of constant_value | Adt of adt_value
-
-and adt_value = {
-  variant_id : (VariantId.id option[@opaque]);
-  field_values : typed_value list;
-}
-
-and typed_value = { value : value; ty : ty }
-
 type var = { id : VarId.id; ty : ty }
 (** Because we introduce a lot of temporary variables, the list of variables
     is not fixed: we thus must carry all its information with the variable
-- 
cgit v1.2.3