| Index: pkg/front_end/lib/src/fasta/errors.dart
|
| diff --git a/pkg/front_end/lib/src/fasta/errors.dart b/pkg/front_end/lib/src/fasta/errors.dart
|
| index b12eddee31394da4e8ae333ff5b4d2334cc17b51..624d8f0fc5ffa66c2cf67e01366ab49f9b80dad6 100644
|
| --- a/pkg/front_end/lib/src/fasta/errors.dart
|
| +++ b/pkg/front_end/lib/src/fasta/errors.dart
|
| @@ -56,6 +56,11 @@ class InputError {
|
| // Windows.
|
| String message = red("Error: ${safeToString(error)}");
|
| if (uri != null) {
|
| + String uri = "${this.uri}";
|
| + String base = "${Uri.base}";
|
| + if (uri.startsWith(base)) {
|
| + uri = uri.substring(base.length);
|
| + }
|
| String position = charOffset == -1 ? "" : "$charOffset:";
|
| return "${uri}:$position $message";
|
| } else {
|
|
|