docs icon indicating copy to clipboard operation
docs copied to clipboard

Better document profile functionality

Open WardBrian opened this issue 4 years ago • 1 comments

Summary:

The use and syntax of profile blocks is under-documented. A section in the users guide would be great, especially addressing:

  • profiling overhead, if any
  • Are profiling blocks like regular blocks (e.g. local variables drop at the end)
  • How and when to use them

This will also be helpful for #396

WardBrian avatar Jan 10 '22 22:01 WardBrian

Thanks Brian, will address this during the feature freeze.

rok-cesnovar avatar Jan 11 '22 16:01 rok-cesnovar