diff options
| author | Son Ho | 2021-11-18 14:38:44 +0100 |
|---|---|---|
| committer | Son Ho | 2021-11-18 14:38:44 +0100 |
| commit | 66ff3d7d0c2b776137ba84a198a3835ba4ad5384 (patch) | |
| tree | a92fce6ee331814416fb4a87de2bc5587c4858b1 /src/Values.ml | |
| parent | 8bd41664db7fbbe2d4df47ee20f21de712fa01d0 (diff) | |
Remove the automatic derivation of Yojson (de)serializers
Diffstat (limited to 'src/Values.ml')
| -rw-r--r-- | src/Values.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/Values.ml b/src/Values.ml index ba5c7628..e1205efc 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -10,7 +10,7 @@ type var = { (** The variable type - erased type, because variables are not used ** in function signatures *) } -[@@deriving yojson] + (** A variable *) type big_int = Z.t @@ -41,11 +41,9 @@ type scalar_value = | U32 of big_int | U64 of big_int | U128 of big_int -[@@deriving yojson] type constant_value = | Scalar of scalar_value | Bool of bool | Char of char | String of string -[@@deriving yojson] |