- | `Start_type_checking s -> ()
-(* prerr_endline ("Start: " ^ NUri.string_of_uri s) *)
- | `Type_checking_completed s -> ()
-(* prerr_endline ("End: " ^ NUri.string_of_uri s) *)
+ | `Start_type_checking s -> ();
+(* prerr_endline (do_indent () ^ "Start: " ^ NUri.string_of_uri s);
+ incr indent
+*)
+ | `Type_checking_completed s -> ();
+(*
+ decr indent;
+ prerr_endline (do_indent () ^ "End: " ^ NUri.string_of_uri s)
+*)