Skip to content

JS: Deprecate type extraction #19640

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

Draft
wants to merge 70 commits into
base: main
Choose a base branch
from
Draft

Conversation

asgerf
Copy link
Contributor

@asgerf asgerf commented Jun 2, 2025

No description provided.

asgerf added 30 commits May 20, 2025 13:19
@asgerf asgerf force-pushed the js/no-type-extraction branch from d5bb9b0 to 9521fbb Compare June 10, 2025 09:34
asgerf and others added 27 commits June 10, 2025 16:06
This query depended on the cons-hashing performed by type extraction to determine if two types are the same.

This is not trivial to restore, but not important enough to reimplement right now, so for now just simplifying the query's ability to recognise that two types are the same.
This was used in the very old dist-compare tool, but has no use anymore
@asgerf asgerf force-pushed the js/no-type-extraction branch from 9521fbb to 2035925 Compare June 11, 2025 08:48
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