summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2021-12-03 14:43:29 +0100
committerSon Ho2021-12-03 14:43:29 +0100
commit1eb1121490f4331c36298f048c76f9f720206879 (patch)
treeb7675e6f76926430040368b3868e1afd7aeeae61 /src
parent975b8a067bf6ff69256896f0b2cf7085c9ad142a (diff)
Make minor modifications
Diffstat (limited to '')
-rw-r--r--src/Values.ml6
-rw-r--r--src/dune2
2 files changed, 2 insertions, 6 deletions
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