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/CfimOfJson.ml | |
parent | 8bd41664db7fbbe2d4df47ee20f21de712fa01d0 (diff) |
Remove the automatic derivation of Yojson (de)serializers
Diffstat (limited to '')
-rw-r--r-- | src/CfimOfJson.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml index b60c2247..cfe408f7 100644 --- a/src/CfimOfJson.ml +++ b/src/CfimOfJson.ml @@ -103,7 +103,7 @@ let region_var_of_json (js : json) : (region_var, string) result = let region_of_json (js : json) : (RegionVarId.id region, string) result = combine_error_msgs js "region_of_json" (match js with - | `String "Static" -> Ok Static (* TODO *) + | `String "Static" -> Ok Static | `Assoc [ ("Var", rid) ] -> let* rid = RegionVarId.id_of_json rid in Ok (Var rid) @@ -115,7 +115,7 @@ let erased_region_of_json (js : json) : (erased_region, string) result = let integer_type_of_json (js : json) : (integer_type, string) result = match js with - | `String "Isize" -> Ok Isize (* TODO *) + | `String "Isize" -> Ok Isize | `String "I8" -> Ok I8 | `String "I16" -> Ok I16 | `String "I32" -> Ok I32 |