You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If you use debug-time-function-bodies to determine which parts of your code are slow to compile you might notice the numbers don't add up. For me, it only added up to half the amount of time in the profile trace. This is because it rounds to only one decimal place! We should print with two, or even more, decimal places so the time adds up correctly.
The text was updated successfully, but these errors were encountered:
Additional Detail from JIRA
md5: a841b95419429fa37d43c78e96c6bee6
Issue Description:
If you use debug-time-function-bodies to determine which parts of your code are slow to compile you might notice the numbers don't add up. For me, it only added up to half the amount of time in the profile trace. This is because it rounds to only one decimal place! We should print with two, or even more, decimal places so the time adds up correctly.
The text was updated successfully, but these errors were encountered: