diff --git a/src/etc/indenter b/src/etc/indenter new file mode 100755 index 00000000000..db0009fd0b6 --- /dev/null +++ b/src/etc/indenter @@ -0,0 +1,17 @@ +#!/usr/bin/perl -w + +$ident = 0; +while (<>) { + if (/^rust: ">>/) { + $indent += 1; + } elsif (/^rust: "<(op: fn() -> R) -> R { + // Use in conjunction with the log post-processor like `src/etc/indenter` + // to make debug output more readable. + #debug[">>"]; + let r <- op(); + #debug["<< (Result = %?)", r]; + ret r; +} + +resource _indenter(_i: ()) { + #debug["<<"]; +} + +fn indenter() -> _indenter { + #debug[">>"]; + _indenter(()) +} + type flag = hashmap; fn def_eq(a: ast::def_id, b: ast::def_id) -> bool {