summaryrefslogtreecommitdiff
path: root/src/Identifiers.ml
diff options
context:
space:
mode:
authorSon Ho2021-11-17 14:26:43 +0100
committerSon Ho2021-11-17 14:26:43 +0100
commit7c62043ab195ee9844d29ade76efdf839a2e98d0 (patch)
treeaa0aa45d5d11da055604fe7ec503a907bc47af82 /src/Identifiers.ml
parent25fe1a81758bcf25171beee849467b2fff673b20 (diff)
Use [@@ëerive of_json] on all the types
Diffstat (limited to 'src/Identifiers.ml')
-rw-r--r--src/Identifiers.ml3
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"]]) *)