Skip to content

WISH: mold/trace #153

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

Open
hiiamboris opened this issue Oct 28, 2023 · 1 comment
Open

WISH: mold/trace #153

hiiamboris opened this issue Oct 28, 2023 · 1 comment

Comments

@hiiamboris
Copy link

To be considered a part of #134

I have a few needs so far:

  1. Native mold freezes the Spaces program with its huge useless output (all the time when working with Spaces)
  2. To provide specialized output for Space objects and some special values (when debugging to keep the output neat)
  3. To know in the resulting text where each original value starts and ends (in ParSEE to color any-block input regions inside displayed text)
@hiiamboris
Copy link
Author

hiiamboris commented Apr 6, 2025

Absence of this feature becomes a blocker for further ParSEE evolution (another one is red/red#4524 (comment)).

To support displaying list input modifications ParSEE needs to map incremental changes of input to incremental changes of this input's molded text (what the user sees).

For top-level input modifications each modification requires me to make two keyframes: before and after a modification. Each keyframe holding a copy of the molded input.

For deeper modifications I currently see no way of achieving this mapping. Using mold/trace I could have made a map where all input positions are located in the molded text, even for the deeper lists, and could then trivially reflect their removal into the molded text. Reflection of insertions would have been a bit more involved, but doable as long as mold of a single value is equivalent to its mold inside the container.

For now, I'll try to make my own mold-trace, which should be feasible since in ParSEE I don't need all the features of mold.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant