From 25eb1fd3c9d997e460dff3e03d87e398e616c726 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Thu, 24 Jun 2010 10:34:47 -0700 Subject: Add fmt module, move out some common format helpers, add instruction-selection tracing and make selection use queues rather than list refs. --- src/boot/driver/main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/boot/driver') diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml index c5199a82..18416590 100644 --- a/src/boot/driver/main.ml +++ b/src/boot/driver/main.ml @@ -90,7 +90,7 @@ let set_default_output_filename (sess:Session.sess) : unit = let dump_sig (filename:filename) : unit = let items = Lib.get_file_mod sess abi filename (ref (Node 0)) (ref (Opaque 0)) in - Printf.fprintf stdout "%s\n" (Ast.fmt_to_str Ast.fmt_mod_items items); + Printf.fprintf stdout "%s\n" (Fmt.fmt_to_str Ast.fmt_mod_items items); exit 0 ;; @@ -289,7 +289,7 @@ then begin Printf.fprintf stdout "Post-parse AST:\n"; Format.set_margin 80; - Printf.fprintf stdout "%s\n" (Ast.fmt_to_str Ast.fmt_crate crate) + Printf.fprintf stdout "%s\n" (Fmt.fmt_to_str Ast.fmt_crate crate) end let list_to_seq ls = Asm.SEQ (Array.of_list ls);; -- cgit v1.2.3