Skip to content

Amend RFC 550 with (expanded) abstract specification rather than algorithm #1384

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.

Sign up for GitHub

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

Merged
pnkfelix merged 6 commits into from
Dec 17, 2015
Merged

Amend RFC 550 with (expanded) abstract specification rather than algorithm #1384

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
3c4f0f6
Massive redo of Detailed Design; expanded parts of spec in passing.
pnkfelix Nov 23, 2015
2077d8d
Add the self-referential PR number for the amendment.
pnkfelix Nov 27, 2015
13fcc38
current macro_rules.rs has { if, in } \subset FOLLOW(pat)
pnkfelix Nov 30, 2015
fa24ae5
fix typo noted by cmr. thanks!
pnkfelix Nov 30, 2015
602bb54
updated edit history section to account for commit 13fcc384211ddbafad…
pnkfelix Nov 30, 2015
5aefeb5
fixed poor wording in edit history
pnkfelix Nov 30, 2015
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
updated edit history section to account for commit 13fcc38
  • Loading branch information
@pnkfelix
pnkfelix committed Nov 30, 2015
commit 602bb545c829d9a425614aa8edcbd9b08542386a
2 changes: 1 addition & 1 deletion text/0550-macro-future-proofing.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -477,7 +477,7 @@ reasonable freedom and can be extended in the future.
* replaced detailed design with a specification-oriented presentation rather than an implementation-oriented algorithm.
* fixed some oversights in the specification (that led to matchers like `break { stuff }` being accepted),
* expanded the follows sets for `ty` to include `OpenDelim(Brace), Ident(where), Or` (since Rust's grammar already requires all of `|foo:TY| {}`, `fn foo() -> TY {}` and `fn foo() -> TY where {}` to work).
* expanded the follow set for `pat` to include `Or` (since Rust's grammar already requires `match (true,false) { PAT | PAT => {} }` and `|PAT| {}` to work). See also [RFC issue 1336][].
* expanded the follow set for `pat` to include `Or` (since Rust's grammar already requires `match (true,false) { PAT | PAT => {} }` and `|PAT| {}` to work); see also [RFC issue 1336][]. Also added `If` and `In` to follow set for `pat` (to make the specifiation match the old implementation).

[RFC issue 1336]: https://github.com/rust-lang/rfcs/issues/1336

Expand Down