Start working on formatter

src/haz3lformatter/Formatter.re

@@ -0,0 +1,11 @@
+open Haz3lcore;
+let format = (~inline: bool, s: string): string => {
+  let seg =
+    ExpToSegment.exp_to_segment(
+      ~settings=ExpToSegment.Settings.of_core(~inline, CoreSettings.on),
+      MakeTerm.from_zip_for_sem(Option.get(Printer.zipper_of_string(s))).
+        term,
+    );
+  let zipper = Zipper.unzip(seg);
+  Printer.zipper_to_string(~holes=Some("?"), zipper);
+};

src/haz3lformatter/FormatterMain.re

@@ -0,0 +1,3 @@
+open Haz3lformatter;
+
+print_endline(Formatter.format(~inline=false, In_channel.input_all(stdin)));

test/Test_Formatter.re

@@ -0,0 +1,27 @@
+
+open Alcotest;
+open Haz3lcore;
+open Haz3lformatter;
+
+let parse_exp = (s: string) =>
+  MakeTerm.from_zip_for_sem(Option.get(Printer.zipper_of_string(s))).term;
+let serialize = (exp: Exp.t): string => {
+  let seg =
+    ExpToSegment.exp_to_segment(
+      ~settings=ExpToSegment.Settings.of_core(~inline=true, CoreSettings.on),
+      exp,
+    );
+  let zipper = Zipper.unzip(seg);
+  Printer.zipper_to_string(~holes=Some("?"), zipper);
+};
+
+let tests = [
+  test_case("Incomplete Function Definition", `Quick, () => {
+    check(
+      string,
+      "let    = fun x ->   in  ",
+      "let ? = (fun x -> ?) in ?",
+      Formatter.format(~inline=true, "let    = fun x ->   in  "),
+    )
+  }),
+];

test/haz3ltest.re

@@ -10,6 +10,7 @@ let (suite, _) =
       ("Evaluator", Test_Evaluator.tests),
       ("MakeTerm", Test_MakeTerm.tests),
       ("ExpToSegment", Test_ExpToSegment.tests),
+      ("Formatter", Test_Formatter.tests),
     ],
   );
 Junit.to_file(Junit.make([suite]), "junit_tests.xml");