Start deriving formatters for debugging

1 files changed, 4 insertions, 0 deletions

diff --git a/src/main.ml b/src/main.ml
index 36b5dd71..52fd8ea4 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -5,6 +5,10 @@ module T = Types
 module A = CfimAst
 module I = Interpreter
 
+type test = Test [@@deriving show]
+
+let _ = show_test Test
+
 (* This is necessary to have a backtrace when raising exceptions - for some
  * reason, the -g option doesn't work *)
 let () = Printexc.record_backtrace true