From 66ff3d7d0c2b776137ba84a198a3835ba4ad5384 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 18 Nov 2021 14:38:44 +0100
Subject: Remove the automatic derivation of Yojson (de)serializers

---
 src/Expressions.ml | 15 ++++-----------
 1 file changed, 4 insertions(+), 11 deletions(-)

(limited to 'src/Expressions.ml')

diff --git a/src/Expressions.ml b/src/Expressions.ml
index 0a8c9d35..66cf5197 100644
--- a/src/Expressions.ml
+++ b/src/Expressions.ml
@@ -4,22 +4,20 @@ open Values
 type field_proj_kind =
   | ProjAdt of TypeDefId.id * VariantId.id option
   | ProjTuple of int
-[@@deriving yojson]
 
 type projection_elem =
   | Deref
   | DerefBox
   | Field of field_proj_kind * FieldId.id
   | Downcast of VariantId.id
-[@@deriving yojson]
 
-type projection = projection_elem list [@@deriving yojson]
+type projection = projection_elem list
 
-type place = { var_id : VarId.id; projection : projection } [@@deriving yojson]
+type place = { var_id : VarId.id; projection : projection }
 
-type borrow_kind = Shared | Mut | TwoPhaseMut [@@deriving yojson]
+type borrow_kind = Shared | Mut | TwoPhaseMut
 
-type unop = Not | Neg [@@deriving yojson]
+type unop = Not | Neg
 
 (** A binary operation
 
@@ -45,7 +43,6 @@ type binop =
   | Mul
   | Shl
   | Shr
-[@@deriving yojson]
 
 (** Constant value for an operand
 
@@ -64,18 +61,15 @@ type operand_constant_value =
   | ConstantValue of constant_value
   | ConstantAdt of TypeDefId.id
   | Unit
-[@@deriving yojson]
 
 type operand =
   | Copy of place
   | Move of place
   | Constant of ety * operand_constant_value
-[@@deriving yojson]
 
 type aggregate_kind =
   | AggregatedTuple
   | AggregatedAdt of TypeDefId.id * VariantId.id option
-[@@deriving yojson]
 
 type rvalue =
   | Use of operand
@@ -84,4 +78,3 @@ type rvalue =
   | BinaryOp of binop * operand * operand
   | Discriminant of place
   | Aggregate of aggregate_kind * operand list
-[@@deriving yojson]
-- 
cgit v1.2.3