* add section on overlap checks
* fix some typos
* merge piece on overlap checks with docs about coherence (based on review comments)
* fix comments after discussion
* Document inert vs active attributes
This PR adds a subsection to the 'Syntax and AST' section describing
inert vs active attributes.
For consistency, I've also updated the '#[test] implementation' page to
stop referring to `#[test]' as a 'built in' attribute, since that has a
specific meaning defined on this page.
* Update src/attributes.md
Co-authored-by: Noah Lev <camelidcamel@gmail.com>
* Update src/attributes.md
Co-authored-by: Noah Lev <camelidcamel@gmail.com>
* Update src/attributes.md
Co-authored-by: Noah Lev <camelidcamel@gmail.com>
* Update src/attributes.md
Co-authored-by: Noah Lev <camelidcamel@gmail.com>
* Update src/attributes.md
Co-authored-by: pierwill <19642016+pierwill@users.noreply.github.com>
* Update src/test-implementation.md
Co-authored-by: pierwill <19642016+pierwill@users.noreply.github.com>
* Update src/attributes.md
Co-authored-by: pierwill <19642016+pierwill@users.noreply.github.com>
* Update src/test-implementation.md
* Update src/test-implementation.md
* Update src/test-implementation.md
---------
Co-authored-by: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com>
Co-authored-by: Noah Lev <camelidcamel@gmail.com>
Co-authored-by: pierwill <19642016+pierwill@users.noreply.github.com>
* Add quickstart for how to build and run the compiler
The chapter is quite long, and a lot of the information is, while
valuable, not very important for newcomers. I think it makes sense to
have a condensed version for anyone just wanting to get started with
only the most important information.
* A few improvements to quickstart
* Extract Bootstrap into its own section
Add brief explanation for `Step` and `Builder::ensure` as core
Bootstrap internal concepts.
* Drop common commands page (use `x --help` instead)
* Add `make` as an alternative entry point
* Add src/bootstrap/README.md link