Skip to content

Allow linking to lower level in delta specs.#1598

Open
fantasai wants to merge 1 commit into
speced:mainfrom
fantasai:delta-self
Open

Allow linking to lower level in delta specs.#1598
fantasai wants to merge 1 commit into
speced:mainfrom
fantasai:delta-self

Conversation

@fantasai
Copy link
Copy Markdown
Contributor

No description provided.

@frivoal
Copy link
Copy Markdown
Contributor

frivoal commented Jun 3, 2020

Note: the merge conflict indicated by github is a trivially resolved one.

Copy link
Copy Markdown
Contributor

@nschonni nschonni left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copying over the suggestions from the formatter

Comment thread bikeshed/refs/ReferenceManager.py Outdated
Comment thread bikeshed/refs/ReferenceManager.py Outdated
@fantasai fantasai force-pushed the delta-self branch 2 times, most recently from f3d9b55 to 2054fbe Compare March 26, 2021 19:56
ignoreObsoletes=True,
)

if failure and self.isDelta:
Copy link
Copy Markdown
Collaborator

@tabatkins tabatkins Jun 18, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This block doesn't do what you want. latestOnly just finds, for each dfn from each shortname, the highest-level version and then suppresses lower-level versions; if this is a delta spec that doesn't contain a term's dfn, it won't have a dfn in the results anyway so this won't have any effect.

(Also, it would only trigger if the first try completely failed; a confusable reference from another spec would prevent this from activating.)

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What you instead want to alter is the ReferenceManager.removeSameSpecRefs() function; that's what unexports all dfns from specs with the same shortname.

(But make sure you still remove refs from the same or later level, so your local copy doesn't get confused with its version in the db, and doesn't link forward to a future version of itself either.)

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.

4 participants