Merge pull request #9913 from 9999years/debugger-positions

Print positions in `--debugger`, instead of pointers
This commit is contained in:
Eelco Dolstra 2024-02-03 09:27:09 +01:00 committed by GitHub
commit 49cf090cb2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -232,7 +232,7 @@ static std::ostream & showDebugTrace(std::ostream & out, const PosTable & positi
: positions[dt.expr.getPos() ? dt.expr.getPos() : noPos];
if (pos) {
out << pos;
out << *pos;
if (auto loc = pos->getCodeLines()) {
out << "\n";
printCodeLines(out, "", *pos, *loc);