-
Notifications
You must be signed in to change notification settings - Fork 7
Issues: rust-lang/spec
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Policy: Heading rule style
C-meta-formatting
Category: Meta discussions about how content should be formatted in raw markdown
#71
opened Jul 18, 2024 by
chorman0773
Where should "lowering" from Rust to Minirust go.
A-dynamic
Area: Related to the "Dynamic Semantics" Section
C-meta-technical
Category: Meta discussion about technical content
#57
opened Apr 26, 2024 by
chorman0773
Policy: Use of Minirust/DSLs to specify Semantics
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#55
opened Apr 19, 2024 by
chorman0773
Consider set up the CI to auto publishes mdbook output in html form when changed
C-tooling
Category: Discussion/Changes related to custom mdbook tooling
#50
opened Mar 10, 2024 by
crlf0710
Test suite
C-tests
Category: Discussion/Changes related to test tooling
#49
opened Mar 8, 2024 by
ehuss
Support glossary auto-links
C-tooling
Category: Discussion/Changes related to custom mdbook tooling
#47
opened Mar 8, 2024 by
ehuss
Specification Chapter/Topics
C-meta-technical
Category: Meta discussion about technical content
#43
opened Mar 5, 2024 by
JoelMarcey
31 tasks
Output of the lexer
A-syntax-lexing
Area: Related to the Lexing Chapter of the "Source code and Rust syntax tree" Section
#42
opened Mar 4, 2024 by
mattheww
Should there be a warning about being incomplete?
C-tooling
Category: Discussion/Changes related to custom mdbook tooling
#41
opened Mar 1, 2024 by
ehuss
Guidelines or policy on grammar and style
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#39
opened Mar 1, 2024 by
ehuss
Spelling
C-meta-formatting
Category: Meta discussions about how content should be formatted in raw markdown
#38
opened Mar 1, 2024 by
ehuss
Policy: Referring to Category: Meta discussion about the repository itself. We should refine each use of the policy label
rustc
lints
C-meta
#36
opened Mar 1, 2024 by
ehuss
Policy: Linking to other documentation
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#35
opened Mar 1, 2024 by
ehuss
Policy: Discussing past behavior
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#34
opened Mar 1, 2024 by
ehuss
Policy: Should deprecated things be called out?
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#33
opened Mar 1, 2024 by
ehuss
Policy: How to deal with bugs in rustc?
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#32
opened Mar 1, 2024 by
ehuss
Policy: Should the spec annotate or have callouts based on Rust release versions?
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#31
opened Mar 1, 2024 by
ehuss
Policy: How to deal with undecided rules?
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#30
opened Mar 1, 2024 by
ehuss
Policy: Implementation-specific rules?
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#29
opened Mar 1, 2024 by
ehuss
Policy: What can be left undefined?
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#28
opened Mar 1, 2024 by
ehuss
Policy: Documenting *why* something works in a particular way
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#27
opened Mar 1, 2024 by
ehuss
Normative vs non-normative or informational content
C-meta-technical
Category: Meta discussion about technical content
#26
opened Mar 1, 2024 by
ehuss
How to handle Editions?
C-meta
Category: Meta discussion about the repository itself. We should refine each use of the policy label
#24
opened Mar 1, 2024 by
ehuss
Guidelines on a glossary
C-meta-technical
Category: Meta discussion about technical content
#23
opened Mar 1, 2024 by
ehuss
Policy on referring to Category: Meta discussion about the repository itself. We should refine each use of the policy label
rustc
and other implementations
C-meta
#22
opened Mar 1, 2024 by
ehuss
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.