From 1eb1121490f4331c36298f048c76f9f720206879 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 3 Dec 2021 14:43:29 +0100
Subject: Make minor modifications

---
 src/Values.ml | 6 +-----
 src/dune      | 2 +-
 2 files changed, 2 insertions(+), 6 deletions(-)

(limited to 'src')

diff --git a/src/Values.ml b/src/Values.ml
index f95cbc07..29a305aa 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -83,13 +83,12 @@ type ('r, 'sv, 'bc, 'lc) g_value =
   | Borrow of 'bc  (** A borrowed value *)
   | Loan of 'lc  (** A loaned value *)
   | Symbolic of 'sv  (** Unknown value *)
-[@@deriving show]
 
 and ('r, 'sv, 'bc, 'lc) g_adt_value = {
   variant_id : VariantId.id option;
   field_values : ('r, 'sv, 'bc, 'lc) g_typed_value list;
 }
-[@@deriving show]
+
 (** "Generic" ADT value (not "GADT" value) *)
 
 and ('r, 'sv, 'bc, 'lc) g_typed_value = {
@@ -100,12 +99,10 @@ and ('r, 'sv, 'bc, 'lc) g_typed_value = {
 
 type value =
   (erased_region, symbolic_proj_comp, borrow_content, loan_content) g_value
-[@@deriving show]
 (** "Regular" value *)
 
 and adt_value =
   (erased_region, symbolic_proj_comp, borrow_content, loan_content) g_adt_value
-[@@deriving show]
 
 and typed_value =
   ( erased_region,
@@ -130,7 +127,6 @@ and borrow_content =
           is well typed) of this value and replace the inactivated borrow with a
           mutable borrow.
        *)
-[@@deriving show]
 
 and loan_content =
   | SharedLoan of BorrowId.set_t * typed_value
diff --git a/src/dune b/src/dune
index ec9f2d2b..ac0480d3 100644
--- a/src/dune
+++ b/src/dune
@@ -1,6 +1,6 @@
 (executable
  (name main)
- (preprocess (pps ppx_deriving.show ppx_deriving.ord))
+ (preprocess (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
  (libraries ppx_deriving yojson zarith easy_logging))
 
 (env
-- 
cgit v1.2.3