[Omake] [0.9.8] Would it be reasonable to pretty-print internally executed command lines differently?

[Aleksey Nogin]

I was debugging something in 0.9.8 and I realized that in the 0.9.8 
setup it would be very easy to emphasize (in "+ ..." lines, etc) which 
commands are executed internally.

Jason, what would you think about the idea of doing something like

--- src/ir/omake_shell_type.ml  (revision 9253)
+++ src/ir/omake_shell_type.ml  (working copy)
@@ -237,7 +237,7 @@
              apply_append = append
            } = apply
        in
-         fprintf buf "@[<hv 3>%a%a%a%a%a@]" (**)
+         fprintf buf "@[<hv 3>%a%a(%a )%a%a@]" (**)
              pp_print_env env
              pp_print_symbol f
              pp_print_args args
@@ -302,12 +302,9 @@

Or may be even

--- src/ir/omake_shell_type.ml  (revision 9253)
+++ src/ir/omake_shell_type.ml  (working copy)
@@ -237,7 +237,7 @@
              apply_append = append
            } = apply
        in
-         fprintf buf "@[<hv 3>%a%a%a%a%a@]" (**)
+         fprintf buf "@[<hv 3>%aShell.%a(%a )%a%a@]" (**)
              pp_print_env env
              pp_print_symbol f
              pp_print_args args
@@ -302,12 +302,9 @@

-- 
Aleksey Nogin

Home Page: http://nogin.org/
E-Mail: nogin at cs.caltech.edu (office), aleksey at nogin.org (personal)
Office: Moore 04, tel: (626) 395-2200