Skip to content

Conversation

@emilio
Copy link
Member

@emilio emilio commented Jun 2, 2023

This fixes issues that were found when enabling nesting by default on Nightly.

It matches the spec (see new link) more closely. The places where we diverge (continuing rather than stopping when hitting right-curly, etc) are not really observable because of how our other APIs work (parse_nested_block in particular, for that case).

This fixes issues that were found when enabling nesting by default on
Nightly.

It matches the spec (see new link) more closely. The places where we
diverge (continuing rather than stopping when hitting right-curly, etc)
are not really observable because of how our other APIs work
(parse_nested_block in particular, for that case).
@emilio
Copy link
Member Author

emilio commented Jun 2, 2023

r? @tiaanl

@tiaanl
Copy link
Collaborator

tiaanl commented Jun 3, 2023

@bors-servo r+

@bors-servo
Copy link
Contributor

@tiaanl: 🔑 Insufficient privileges: Not in reviewers

Copy link
Collaborator

@tiaanl tiaanl left a comment

Choose a reason for hiding this comment

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

Looks good.

@emilio
Copy link
Member Author

emilio commented Jun 3, 2023

@bors-servo r=tiaanl

@bors-servo
Copy link
Contributor

📌 Commit a01848b has been approved by tiaanl

@bors-servo
Copy link
Contributor

⌛ Testing commit a01848b with merge 2a46b64...

@bors-servo
Copy link
Contributor

☀️ Test successful - checks-github
Approved by: tiaanl
Pushing 2a46b64 to master...

@bors-servo bors-servo merged commit 2a46b64 into master Jun 3, 2023
@emilio emilio deleted the nesting branch June 3, 2023 18:08
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