Repository navigation
Move the error catalog to a page of the language - #248
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Refs #66.
Moves §8 of
SPECIFICATION.md, the errors, into a page of the language,BELOCH-ERRORS.md, and deletes it there. The page states how a rejected program is reported, lists the errors of §8 in tables that quote message and hint in separate columns, as ADR 0028 asked, and points at the page that states each rule; every error a program on the page can reach has one, held by the build with; expect error. The pointer in ADR 0028 to the error table now names the page.Two claims of §8 do not match the kernel. A
betweenextent that dangles mid-face at both ends is no error: the kernel records it as one mark.SPECIFICATION.md§4.6 still calls it an error in its own prose, which this change leaves for the move of §4.6. An extent that crosses a folded crease is an error only whenonnames the flap; withouton, the mark writes a piece onto every flap under the extent (ADR 0036).