summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2021-11-18 14:56:34 +0100
committerSon Ho2021-11-18 14:56:34 +0100
commit5ff58d77f3aa64d05108919326bbd9d3a5e99bac (patch)
tree7c83c47764f1dbcc5658bfb635b40dd780df7118 /src
parent7491a243038de5d6256c40d3587b304c1f4895e8 (diff)
Cleanup a bit
Diffstat (limited to 'src')
-rw-r--r--src/main.ml28
1 files changed, 0 insertions, 28 deletions
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"*)