🚚 Rename typedprog -> typed_tree

Zeta611 · Jun 7, 2024 · 4755c2c · 4755c2c
1 parent 19d2cf8
commit 4755c2c
Show file tree

Hide file tree

Showing 3 changed files with 887 additions and 1,042 deletions.
diff --git a/bin/main.ml b/bin/main.ml
@@ -37,7 +37,7 @@ let command : Command.t =
      and pp_opt = flag "-pp" no_arg ~doc:" Pretty print the program"
      and graph_opt = flag "-graph" no_arg ~doc:" Print the compiled graph" in
      fun () ->
-       let open Typedprog in
+       let open Typed_tree in
        if pp_opt then (
          printf "Pretty-print: %s\n" filename;
          print_s [%sexp (get_program filename : Program.program)]);