Skip to content

JS: Make Locatable.toString cached#12983

Closed
jbj wants to merge 1 commit intogithub:mainfrom
jbj:js-toString-cached
Closed

JS: Make Locatable.toString cached#12983
jbj wants to merge 1 commit intogithub:mainfrom
jbj:js-toString-cached

Conversation

@jbj
Copy link
Contributor

@jbj jbj commented May 2, 2023

This predicate was causing slowdowns when removing the standard order in the optimiser, and those slowdowns were amplified because the predicate was recomputed many times.

This was causing slowdowns when removing the standard order in the
optimiser, and those slowdowns were amplified because the predicate was
recomputed many times.
@github-actions github-actions bot added the JS label May 2, 2023
@jbj
Copy link
Contributor Author

jbj commented May 8, 2023

After #13044 or similar fixes, this PR may become uninteresting.

@jbj jbj closed this Aug 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant