Initial support for tooltips: parse tree visualizations. #1305
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Dex has a reactive notebook and literate programming environment in `dex web`. Tooltips add additional IDE information to the web environment, shown when hovering the cursor over code. This initial PR adds infrastructure for tooltips, with parse tree visualizations as the first feature. - Backend: compiler computes a `SpanTree` describing all nested expression spans, based on concrete syntax trees. - Frontend: HTML rendering uses `SpanTree` to augment HTML elements with class attributes about span ranges. These span range attributes are highlighted on mouse hover. Co-Authored-By: Dougal <d.maclaurin@gmail.com>
|
Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA). View this failed invocation of the CLA check for more information. For the most up to date status, view the checks section at the bottom of the pull request. |
|
I think this PR is ready for review. I spent some time this week cleaning the code.
I'm happy to take a look later this week, or in a follow-up PR. |
dougalm
approved these changes
Jun 15, 2023
`Typeable` instances were added to implement an older version of TraverseSourceInfo using reflection to find all nested `SrcPosCtx` values. This is no longer needed, as TraverseSourceInfo now only uses `Generic`, which is more lightweight.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Dex has a reactive notebook and literate programming environment in
dex web.Tooltips add additional IDE information to the web environment, visible when hovering the cursor over code.
This initial PR adds infrastructure for tooltips, with parse tree visualizations as the first feature.
SpanTreedescribing all nested expression spans, based on concrete syntax trees.SpanTreeto augment HTML elements with class attributes about span ranges. These span range attributes are highlighted on mouse hover.First step towards #1304.
Demo
dex webdex --prelude /dev/null web lib/prelude.dx 2>&/dev/nullDex tooltips demo video
Exported HTML
Created via
make docs.prelude.html behaves exactly the same as the live demo above.