Search results

Where should "lowering" from Rust to Minirust go.

A-dynamicArea: Related to the "Dynamic Semantics" SectionArea: Related to the "Dynamic Semantics" Section

C-meta-technicalCategory: Meta discussion about technical contentCategory: Meta discussion about technical content

Status: Open.

#57 In rust-lang/spec;

· chorman0773 opened on Apr 26, 2024

Policy: Use of Minirust/DSLs to specify Semantics

C-metaCategory: Meta discussion about the repository itself. We should refine each use of the policy labelCategory: Meta discussion about the repository itself. We should refine each use of the policy label

Status: Open.

#55 In rust-lang/spec;

· chorman0773 opened on Apr 19, 2024

Test suite

C-testsCategory: Discussion/Changes related to test toolingCategory: Discussion/Changes related to test tooling

Status: Open.

#49 In rust-lang/spec;

· ehuss opened on Mar 8, 2024

Support glossary auto-links

C-toolingCategory: Discussion/Changes related to custom mdbook toolingCategory: Discussion/Changes related to custom mdbook tooling

Status: Open.

#47 In rust-lang/spec;

· ehuss opened on Mar 8, 2024

Specification Chapter/Topics

C-meta-technicalCategory: Meta discussion about technical contentCategory: Meta discussion about technical content

Status: Open.

#43 In rust-lang/spec;

· JoelMarcey opened on Mar 5, 2024

Output of the lexer

A-syntax-lexingArea: Related to the Lexing Chapter of the "Source code and Rust syntax tree" SectionArea: Related to the Lexing Chapter of the "Source code and Rust syntax tree" Section

Status: Open.

#42 In rust-lang/spec;

· mattheww opened on Mar 4, 2024

Guidelines or policy on grammar and style

C-metaCategory: Meta discussion about the repository itself. We should refine each use of the policy labelCategory: Meta discussion about the repository itself. We should refine each use of the policy label

Status: Open.

#39 In rust-lang/spec;

· ehuss opened on Mar 1, 2024

Spelling

C-meta-formattingCategory: Meta discussions about how content should be formatted in raw markdownCategory: Meta discussions about how content should be formatted in raw markdown

Status: Open.

#38 In rust-lang/spec;

· ehuss opened on Mar 1, 2024

Policy: Referring to <code>rustc</code> lints

C-metaCategory: Meta discussion about the repository itself. We should refine each use of the policy labelCategory: Meta discussion about the repository itself. We should refine each use of the policy label

Status: Open.

#36 In rust-lang/spec;

· ehuss opened on Mar 1, 2024

Policy: Linking to other documentation

C-metaCategory: Meta discussion about the repository itself. We should refine each use of the policy labelCategory: Meta discussion about the repository itself. We should refine each use of the policy label

Status: Open.

#35 In rust-lang/spec;

· ehuss opened on Mar 1, 2024

Policy: Discussing past behavior

C-metaCategory: Meta discussion about the repository itself. We should refine each use of the policy labelCategory: Meta discussion about the repository itself. We should refine each use of the policy label

Status: Open.

#34 In rust-lang/spec;

· ehuss opened on Mar 1, 2024

Policy: Should deprecated things be called out?

C-metaCategory: Meta discussion about the repository itself. We should refine each use of the policy labelCategory: Meta discussion about the repository itself. We should refine each use of the policy label

Status: Open.

#33 In rust-lang/spec;

· ehuss opened on Mar 1, 2024