Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

delete unnecessary isHead plumbing through RspFile #960

Closed
wants to merge 1 commit into from

Conversation

mitchellwrosen
Copy link
Contributor

This PR deletes what appears to be some unnecessary isHead :: Bool plumbing via the RspFile constructor.

Where the isHead field was referenced, we also have method in scope, from which isHead was originally derived. We can just use that.

@mitchellwrosen
Copy link
Contributor Author

Looks like a CI fluke? It passed on everything except stack nightly Windows.

@kazu-yamamoto
Copy link
Contributor

I restarted CI.

@kazu-yamamoto kazu-yamamoto self-requested a review December 22, 2023 00:51
Copy link
Contributor

@kazu-yamamoto kazu-yamamoto left a comment

Choose a reason for hiding this comment

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

CI passed.
LGTM

kazu-yamamoto added a commit to kazu-yamamoto/wai that referenced this pull request Dec 22, 2023
@kazu-yamamoto
Copy link
Contributor

Rebased and merged.
Thank you for your contribution!

@mitchellwrosen
Copy link
Contributor Author

Thank you!

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