Also generate to_yojson functions

1 files changed, 7 insertions, 1 deletions

diff --git a/src/main.ml b/src/main.ml
index fc9e4efd..ce0a9269 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -18,7 +18,13 @@ type rust_module = {
 let () =
   (*  let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in *)
   let _json1 = Yojson.Safe.from_file "../charon/charon/tests/test1.cfim" in
-  let json2 = Yojson.Safe.from_file "../charon/charon/tests/test4.cfim" in
+  let st1 = Return in
+  let json1 = statement_to_yojson st1 in
+  print_endline (Yojson.Safe.to_string json1);
+  let e1 = Statement Return in
+  let e1_json = expression_to_yojson e1 in
+  print_endline (Yojson.Safe.to_string e1_json);
+  let json2 = Yojson.Safe.from_string "[\"Return\"]" in
   match statement_of_yojson json2 with
   | Error s -> Printf.printf "error: %s\n" s
   | Ok _ast -> print_endline "ast"