1 files changed, 15 insertions, 1 deletions
diff --git a/src/main.ml b/src/main.ml
index 03522106..3fd2a311 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,5 +1,5 @@
 open Identifiers
-open CfimAst
+(*open CfimAst*)
 
 module Id0 = IdGen ()
 
@@ -13,3 +13,17 @@ let () =
   let _ = print_endline "Hello, world!" in
   let _ = print_endline (Id0.to_string x1) in
   ()
+
+type 'a test_struct = { x : 'a } [@@deriving of_yojson]
+
+type id0_t = Id0.id [@@deriving of_yojson]
+
+let id0_t_test_struct_of_yojson = test_struct_of_yojson id0_t_of_yojson
+
+type ty1 = int Id0.vector [@@deriving of_yojson]
+
+let () =
+  (*  let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in *)
+  let _json = Yojson.Safe.from_file "../charon/charon/tests/test1.cfim" in
+  let _test = ty1_of_yojson _json in
+  ()