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.

Sign up for GitHub

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

Jump to bottom

print: fix a couple bugs in the initial diagnostics PR. #27

Merged

eddyb merged 2 commits into main from pretty-diag

May 1, 2023

Contributor

eddyb commented May 1, 2023

the first commit is the same fix as Use .rsplit_once("/src/") instead of .split_once("/src/"). rust-gpu#1043
the second commit fixes a layout issue (where multi-line /* ... */ didn't indent at the right level)

Combined we have this example:
_{(the specific message is still a bit whacky but it's only a BUG)}

Before this PR	After this PR

eddyb added 2 commits

April 22, 2023 11:07


          print: use .rsplit_once("/src/") instead of .split_once("/src/").

a4587be


          print: move intendation for Diag into the /*...*/.

1c59176

eddyb merged commit 08b696b into main

eddyb deleted the pretty-diag branch

May 1, 2023 01:27

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

Labels

None yet