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/main.ml | |
parent | 8bd41664db7fbbe2d4df47ee20f21de712fa01d0 (diff) |
Remove the automatic derivation of Yojson (de)serializers
Diffstat (limited to 'src/main.ml')
-rw-r--r-- | src/main.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/main.ml b/src/main.ml index d32d9d42..444a416e 100644 --- a/src/main.ml +++ b/src/main.ml @@ -7,14 +7,12 @@ type declaration = | Fun of FunDefId.id | RecTypes of TypeDefId.id list | RecFuns of FunDefId.id list -[@@deriving of_yojson] type rust_module = { declarations : declaration list; types : type_def TypeDefId.vector; functions : fun_def FunDefId.vector; } -[@@deriving of_yojson] let () = (* let json = Yojson.Basic.from_string "{\"Return\"}" in |