Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Grammar: Reduce and rename for clarity #6127
Spin-off from #6116.
How Has This Been Tested?
Screenshots (jpeg or gifs if applicable):
Types of changes
referenced this pull request
Apr 11, 2018
Thanks for the review and confidence, Dennis. Your comment on void/empty makes a lot of sense.
Apr 17, 2018
The point is that void blocks aren’t empty blocks but thy are blocks that cannot contain content. Maybe we muddy that in our parser/serializer. If it ends up that actually we use it as a shorthand then we may actually want to rename it. Nice work in any case!