Skip to content

RFC Proposal: Make anchors unique#65

Closed
eemeli wants to merge 2 commits into
masterfrom
RFC-anchors-unique
Closed

RFC Proposal: Make anchors unique#65
eemeli wants to merge 2 commits into
masterfrom
RFC-anchors-unique

Conversation

@eemeli
Copy link
Copy Markdown
Member

@eemeli eemeli commented Jul 23, 2020

Requiring anchors to be defined before the alias node that refers to them creates restrictions on how nodes may be arranged within a document. These restrictions are surprising to users, as is the overriding behaviour of reused anchor names.

Comment thread rfc/RFC-anchors-unique.md Outdated
@ingydotnet ingydotnet added the RFC Request For Comment label Jul 23, 2020
@ingydotnet ingydotnet closed this May 2, 2021
@ingydotnet ingydotnet deleted the branch master May 2, 2021 21:48
@ingydotnet ingydotnet deleted the RFC-anchors-unique branch September 20, 2021 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

RFC Request For Comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants