-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
Add optional description to @time
and new @showtime
macro
#42431
Add optional description to @time
and new @showtime
macro
#42431
Conversation
e885257
to
0564794
Compare
f686b09
to
923f693
Compare
923f693
to
15c001c
Compare
Maybe
Edit: I think it's fine.. It's like |
If we're expanding the We could also make it |
I think the arrow ( |
Like this? Note that I also removed a 2nd lpad space on the time output after the
|
@JeffBezanson @fredrikekre if the above looks good to you I'll PR it |
Formatting updated in #43255 |
Adds an optional description to
@time
and@timev
, and a new@showtime
macro that is supposed to mimic the way@show
prints the expr being evaluated first.Intends to optionally make it a little easier to associate time reports with their source when the macros are used in multiple places
Also, there might be a better print format than
message -> 0.797018 seconds (5 allocations: 144 bytes)
but I couldn't think of one that wouldn't be more confusing