diff options
author | Son Ho | 2021-11-17 14:26:43 +0100 |
---|---|---|
committer | Son Ho | 2021-11-17 14:26:43 +0100 |
commit | 7c62043ab195ee9844d29ade76efdf839a2e98d0 (patch) | |
tree | aa0aa45d5d11da055604fe7ec503a907bc47af82 /src/Identifiers.ml | |
parent | 25fe1a81758bcf25171beee849467b2fff673b20 (diff) |
Use [@@ëerive of_json] on all the types
Diffstat (limited to '')
-rw-r--r-- | src/Identifiers.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index 6140b7d4..51b6e473 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -33,6 +33,7 @@ end See [Id]. *) module IdGen () : Id = struct + (* TODO: use Int64.t *) type id = int [@@deriving of_yojson] type 'a vector = 'a list [@@deriving of_yojson] @@ -72,6 +73,6 @@ module IdGen () : Id = struct module Map = Map.Make (ord) *) end -type name = string list +type name = string list [@@deriving of_yojson] (** A name such as: `std::collections::vector` (which would be represented as [["std"; "collections"; "vector"]]) *) |