| ... | @@ -224,7 +224,7 @@ fn renderErrorMessageToWriter( | ... | @@ -224,7 +224,7 @@ fn renderErrorMessageToWriter( |
| 224 | // TODO basic unicode code point monospace width | 224 | // TODO basic unicode code point monospace width |
| 225 | const before_caret = src.data.span_main - src.data.span_start; | 225 | const before_caret = src.data.span_main - src.data.span_start; |
| 226 | // -1 since span.main includes the caret | 226 | // -1 since span.main includes the caret |
| 227 | const after_caret = src.data.span_end - src.data.span_main -| 1; | 227 | const after_caret = src.data.span_end -| src.data.span_main -| 1; |
| 228 | try stderr.writeByteNTimes(' ', src.data.column - before_caret); | 228 | try stderr.writeByteNTimes(' ', src.data.column - before_caret); |
| 229 | try ttyconf.setColor(stderr, .green); | 229 | try ttyconf.setColor(stderr, .green); |
| 230 | try stderr.writeByteNTimes('~', before_caret); | 230 | try stderr.writeByteNTimes('~', before_caret); |