Profiler

[berekuk]

Closes #1173.

This is done on top of #3267, so merging to that branch.

profile flag is implemented as the field in Environment and as a setting in configuration.

[vercel[bot]]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Updated (UTC)
quri-hub	✅ Ready (Inspect)	Visit Preview	Jun 6, 2024 6:57pm
quri-ui	✅ Ready (Inspect)	Visit Preview	Jun 6, 2024 6:57pm
squiggle-components	✅ Ready (Inspect)	Visit Preview	Jun 6, 2024 6:57pm
squiggle-website	✅ Ready (Inspect)	Visit Preview	Jun 6, 2024 6:57pm

[changeset-bot[bot]]

🦋 Changeset detected

Latest commit: d5f333593784f220b3bc8ca9765a1614b6388530

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 6 packages

| Name | Type | | ----------------------------------- | ----- | | @quri/squiggle-lang | Patch | | @quri/squiggle-components | Patch | | @quri/prettier-plugin-squiggle | Patch | | @quri/versioned-squiggle-components | Patch | | vscode-squiggle | Patch | | @quri/squiggle-textmate-grammar | Patch |

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[OAGr]

This is really neat, though kind of confusing. Can you at add an explanation of it in the docs? https://www.squiggle-language.com/docs/Guides/Debugging

I imagine later, if this gets used, it would be pretty useful to provide more information here - like info on the actual time these parts take, or a flame graph. Right now I'm not sure what to make of this, as a user.

[berekuk]

This is really neat, though kind of confusing. Can you at add an explanation of it in the docs? https://www.squiggle-language.com/docs/Guides/Debugging

Will do.

I imagine later, if this gets used, it would be pretty useful to provide more information here - like info on the actual time these parts take, or a flame graph.

Yep. The potential UI I have in mind is:

• show a new panel at the bottom when profiling mode is on
• change the behavior of hovers when it's active - show the percentage and absolute times, and highlight AST nodes if possible (this is somewhat hard, both UI-wise and because the current profiling behavior is per-character, but doable)
• allow to switch between "number of calls" and "time spent" submodes
• also, show per-line times in the gutter (I tried to do this but couldn't quickly figure out how to highlight the gutter lines separately, lineNumbers() is not very customizable)