Index: frog/tree.dart |
diff --git a/frog/tree.dart b/frog/tree.dart |
index 7beba742f87f2694c98986683a12c37266376818..aef83a07f6e8a828c80baf0a3d400864dbd872a6 100644 |
--- a/frog/tree.dart |
+++ b/frog/tree.dart |
@@ -79,7 +79,8 @@ class TreeOutput { |
} |
void heading(String name, span) { |
- buf.add(name); |
+ write(name); |
+ buf.add(' (${span.locationText})'); |
buf.add('\n'); |
} |
@@ -117,7 +118,7 @@ class TreeOutput { |
} |
void writeNodeList(String label, List list) { |
- writeln(label + ':...'); |
+ writeln('${label} ['); |
if (list != null) { |
depth += 1; |
for (var node in list) { |
@@ -128,6 +129,7 @@ class TreeOutput { |
} |
} |
depth -= 1; |
+ writeln(']'); |
} |
} |
} |