Skip to content

Log resolution trace and lookups#2975

Open
jaschdoc wants to merge 1 commit into
mainfrom
log-dep-graph
Open

Log resolution trace and lookups#2975
jaschdoc wants to merge 1 commit into
mainfrom
log-dep-graph

Conversation

@jaschdoc

@jaschdoc jaschdoc commented Jun 10, 2026

Copy link
Copy Markdown
Collaborator

This PR adds a new log file to the logs for incremental builds including which symbols were looked up by which files. Additionally, the lookup graph is now both written as a log and as a graphviz file.

@jaschdoc jaschdoc force-pushed the log-dep-graph branch 13 times, most recently from 671862b to 02a36a8 Compare June 12, 2026 09:39
@jaschdoc jaschdoc changed the title Log resolution trace lookups Log resolution trace and lookups Jun 12, 2026
@jaschdoc jaschdoc marked this pull request as ready for review June 12, 2026 09:51
@jaschdoc jaschdoc requested a review from troelsbjerre as a code owner June 12, 2026 09:51
@troelsbjerre

Copy link
Copy Markdown
Collaborator

All this logging is based on naked calls to File.appendText. Wouldn't it be preferable to buffer these writes, and perhaps wrap the logger destination in a PrintStream?

@troelsbjerre troelsbjerre left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All this logging is based on naked calls to File.appendText. Wouldn't it be preferable to buffer these writes, and perhaps wrap the logger destination in a PrintStream?

Comment on lines +540 to +545
if (it.exists()) {
it.delete()
it.createNewFile()
} else {
it.createNewFile()
}

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

File.delete() just returns false when the file doesn't exist, so the if-else can be replaced by the first branch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants