| 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(']');
|
| }
|
| }
|
| }
|
|
|