From 5ff58d77f3aa64d05108919326bbd9d3a5e99bac Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 18 Nov 2021 14:56:34 +0100
Subject: Cleanup a bit

---
 src/main.ml | 28 ----------------------------
 1 file changed, 28 deletions(-)

(limited to 'src')

diff --git a/src/main.ml b/src/main.ml
index 444a416e..436355bf 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -15,35 +15,7 @@ type rust_module = {
 }
 
 let () =
-  (* let json = Yojson.Basic.from_string "{\"Return\"}" in
-     print_endline (Yojson.Basic.show json)*)
   let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in
   match cfim_module_of_json json with
   | Error s -> Printf.printf "error: %s\n" s
   | Ok _ast -> print_endline "Ok"
-(*  let json = Yojson.Basic.from_string "{\"Statement\":\"Return\"}" in
-  print_endline (Yojson.Basic.show json)*)
-
-(*  let json = Yojson.Safe.from_file "../charon/charon/tests/test1.cfim" in
-  match cfim_module_of_json json with
-  | Error s -> Printf.printf "error: %s\n" s
-  | Ok _ast -> print_endline "Ok"*)
-
-(*  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 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 int_ty = Isize in
-  let int_ty_json = integer_type_to_yojson int_ty in
-  print_endline (Yojson.Safe.to_string int_ty_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"*)
-(*  match rust_module_of_yojson json with
-  | Error s -> Printf.printf "error: %s\n" s
-  | Ok _ast -> print_endline "ast"*)
-- 
cgit v1.2.3