Skip to content
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

move files from sources that are not used #2056

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

masinter
Copy link
Member

@masinter masinter commented Mar 6, 2025

the files moved are not loaded in any loadup or EVAL@COMPILE or otherwise referenced.

@masinter masinter force-pushed the lmm-obsolete-unused-sources branch from 3935983 to 510516e Compare March 6, 2025 15:22
@nbriggs
Copy link
Contributor

nbriggs commented Mar 7, 2025

Uh, "not used" in a loadup doesn't mean nobody ever needs to load them. Nobody will ever need to load SEDIT-DEBUG if they're working on SEDIT ??

@masinter
Copy link
Member Author

masinter commented Mar 7, 2025

SEDIT-DEBUG is interesting -- a set of utilities, e.g., changing FNS to FUNCTIONS.
There are no mentions of SEDIT-DEBUG anywhere (grep -lri sedit-debug ) in any documentation or other files.

I could see moving the file to the "internal" directory instead of "obsolete/sources/" but it is unlikely to be useful.

@rmkaplan
Copy link
Contributor

rmkaplan commented Mar 7, 2025 via email

@masinter masinter marked this pull request as draft March 10, 2025 18:32
@masinter
Copy link
Member Author

should triage and distinguish between 'unused' and 'obsolete'.

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

Successfully merging this pull request may close these issues.

3 participants