Grammar Toolbox

Coverage: 0.00% (0/271)

Frequent Errors mapped to Diagnostics

Error	Rule	Expected Diagnostic
Missing module path after space	`space_decl`	top-level parse error: expected module path
Malformed proc signature	`proc_decl`	signature parse error: expected ) or parameter
Missing const identifier	`const_decl`	declaration parse error: expected identifier
Missing at in entry declaration	`entry_decl`	entry parse error: expected keyword at
Operator placement invalid	`expr`	expression parse error: unexpected operator token

Syntax Constructor Matrix

declaration	`space_decl`, `use_decl`, `export_decl`, `const_decl`, `static_decl`, `global_decl`, `type_alias_decl`, `opaque_type_decl`, `extern_type_decl`, `form_decl`, `class_decl`, `union_decl`, `bits_decl`, `pick_decl`, `flags_decl`, `trait_decl`, `associated_type_decl`, `impl_decl`, `proc_decl`, `extern_proc_decl`, `intrinsic_decl`, `macro_decl`, `comptime_decl`, `static_assert_decl`, `test_decl`, `bench_decl`, `entry_decl`, `compiler_decl`, `compiler_phase_decl`, `compiler_stage_decl`, `compiler_artifact_decl`, `compiler_pipeline_decl`, `compiler_cache_decl`, `compiler_target_decl`, `query_decl`, `pass_decl`, `backend_decl`, `diagnostic_decl`
statement	`stmt`, `local_const_stmt`, `let_stmt`, `set_stmt`, `give_stmt`, `try_stmt`, `defer_stmt`, `asm_stmt`, `unsafe_stmt`, `emit_stmt`, `assert_stmt`, `panic_stmt`, `unreachable_stmt`, `if_stmt`, `while_stmt`, `loop_stmt`, `for_stmt`, `break_stmt`, `continue_stmt`, `select_stmt`, `match_stmt`, `when_match_stmt`, `with_stmt`, `critical_stmt`, `expr_stmt`
expression	`expr`, `assign_expr`, `ternary_expr`, `coalesce_expr`, `range_expr`, `or_expr`, `and_expr`, `bit_or_expr`, `bit_xor_expr`, `bit_and_expr`, `eq_expr`, `rel_expr`, `shift_expr`, `add_expr`, `mul_expr`, `cast_expr`, `unary_expr`, `postfix_expr`, `index_expr`, `slice_expr`, `path_expr`, `if_expr`, `proc_expr`, `match_expr`, `lambda_expr`, `unsafe_expr`, `builtin_expr`, `sizeof_expr`, `alignof_expr`, `offsetof_expr`, `typeof_expr`, `nameof_expr`, `type_expr`

By Keyword

proc

proc_signature, proc_decl, proc_name, proc_modifier, proc_suffix, extern_proc_decl, proc_expr, proc_type

form

form_decl, form_items, form_item, backend_format

pick

pick_decl

macro

macro_decl, macro_param_list, macro_param, macro_kind

trait

trait_decl, trait_item, trait_bound, impl_trait_type

impl

impl_decl, impl_head, impl_item, impl_trait_type

entry

entry_decl

query

query_decl, query_body

backend

backend_decl, backend_items, backend_item, backend_format, backend_output

compiler

compiler_decl, compiler_items, compiler_item, compiler_phase_decl, compiler_stage_decl, compiler_artifact_decl, compiler_pipeline_decl, compiler_cache_decl, compiler_target_decl

Rule to Tests Traceability

Rule	Tests
`program`	none
`toplevel`	none
`space_decl`	none
`use_decl`	none
`use_glob`	none
`use_group`	none
`import_items`	none
`import_item`	none
`export_decl`	none
`const_decl`	none
`static_decl`	none
`global_decl`	none
`type_alias_decl`	none
`opaque_type_decl`	none
`extern_type_decl`	none
`form_decl`	none
`class_decl`	none
`union_decl`	none
`form_items`	none
`form_item`	none
`class_items`	none
`class_item`	none
`field_list`	none
`field_item`	none
`bits_decl`	none
`bitfield_list`	none
`bitfield_item`	none
`pick_decl`	none
`case_list`	none
`case_item`	none
`case_payload`	none
`case_field`	none
`flags_decl`	none
`flag_list`	none
`flag_item`	none
`trait_decl`	none
`trait_item`	none
`associated_type_decl`	none
`impl_decl`	none
`impl_head`	none
`impl_item`	none
`proc_signature`	none
`proc_decl`	none
`proc_name`	none
`operator_symbol`	none
`proc_modifier`	none
`proc_suffix`	none
`extern_block`	none
`extern_item`	none
`extern_proc_decl`	none
`extern_clause`	none
`extern_abi`	none
`callconv`	none
`intrinsic_decl`	none
`macro_decl`	none
`macro_param_list`	none
`macro_param`	none
`macro_kind`	none
`comptime_decl`	none
`static_assert_decl`	none
`test_decl`	none
`bench_decl`	none
`entry_decl`	none
`visibility`	none
`visibility_scope`	none
`generic_params`	none
`generic_param_list`	none
`generic_param`	none
`where_clause`	none
`where_bounds`	none
`where_bound`	none
`trait_bound`	none
`param_list`	none
`param`	none
`self_param`	none
`normal_param`	none
`variadic_param`	none
`param_mode`	none
`effects_clause`	none
`requires_clause`	none
`capability_list`	none
`capability`	none
`module_path`	none
`package_path`	none
`relative`	none
`package_parts`	none
`ident_list`	none
`compiler_decl`	none
`compiler_items`	none
`compiler_item`	none
`compiler_phase_decl`	none
`compiler_stage_decl`	none
`compiler_artifact_decl`	none
`compiler_pipeline_decl`	none
`pipeline_step`	none
`compiler_cache_decl`	none
`cache_item`	none
`compiler_target_decl`	none
`target_item`	none
`query_decl`	none
`query_body`	none
`pass_decl`	none
`pass_items`	none
`pass_item`	none
`backend_decl`	none
`backend_items`	none
`backend_item`	none
`backend_format`	none
`backend_output`	none
`diagnostic_decl`	none
`diagnostic_code`	none
`diagnostic_items`	none
`diagnostic_item`	none
`diagnostic_level`	none
`attr_prefix`	none
`inner_attribute`	none
`outer_attribute`	none
`doc_comment`	none
`docstring`	none
`attr_path`	none
`attr_arg_list`	none
`attr_arg`	none
`block`	none
`stmt`	none
`stmt_end`	none
`local_const_stmt`	none
`let_stmt`	none
`set_stmt`	none
`assign_target`	none
`give_stmt`	none
`try_stmt`	none
`defer_stmt`	none
`asm_stmt`	none
`asm_arg_list`	none
`asm_arg`	none
`unsafe_stmt`	none
`emit_stmt`	none
`assert_stmt`	none
`panic_stmt`	none
`unreachable_stmt`	none
`if_stmt`	none
`while_stmt`	none
`loop_stmt`	none
`for_stmt`	none
`break_stmt`	none
`continue_stmt`	none
`select_stmt`	none
`match_stmt`	none
`match_arm_body`	none
`when_match_stmt`	none
`with_stmt`	none
`critical_stmt`	none
`expr_stmt`	none
`expr`	none
`assign_expr`	none
`assign_op`	none
`ternary_expr`	none
`coalesce_expr`	none
`range_expr`	none
`or_expr`	none
`and_expr`	none
`bit_or_expr`	none
`bit_xor_expr`	none
`bit_and_expr`	none
`eq_expr`	none
`rel_expr`	none
`rel_op`	none
`shift_expr`	none
`add_expr`	none
`mul_expr`	none
`cast_expr`	none
`unary_expr`	none
`postfix_expr`	none
`call_suffix`	none
`member_suffix`	none
`index_suffix`	none
`try_suffix`	none
`await_suffix`	none
`index_expr`	none
`slice_expr`	none
`primary`	none
`path_expr`	none
`arg_list`	none
`arg`	none
`tuple_lit`	none
`set_lit`	none
`map_lit`	none
`map_items`	none
`map_item`	none
`bytes_lit`	none
`resource_lit`	none
`resource_items`	none
`resource_item`	none
`struct_lit`	none
`type_path`	none
`field_init_list`	none
`field_init`	none
`if_expr`	none
`proc_expr`	none
`match_expr`	none
`lambda_expr`	none
`unsafe_expr`	none
`builtin_expr`	none
`sizeof_expr`	none
`alignof_expr`	none
`offsetof_expr`	none
`typeof_expr`	none
`nameof_expr`	none
`pattern`	none
`pattern_or`	none
`pattern_atom`	none
`pattern_bind`	none
`pattern_ctor`	none
`pattern_head`	none
`pattern_args`	none
`pattern_struct`	none
`pattern_fields`	none
`pattern_field`	none
`pattern_tuple`	none
`pattern_list`	none
`pattern_range`	none
`type_expr`	none
`type_union`	none
`type_prefix`	none
`type_qualifier`	none
`type_qual`	none
`addr_space`	none
`type_atom`	none
`reference_type`	none
`pointer_type`	none
`optional_type`	none
`fixed_array_type`	none
`slice_type`	none
`tuple_type`	none
`proc_type`	none
`type_list`	none
`type_param`	none
`dyn_type`	none
`impl_trait_type`	none
`type_primary`	none
`lifetime`	none
`primitive_type`	none
`literal`	none
`list_lit`	none
`list_comp`	none
`bool_lit`	none
`null_lit`	none
`int_lit`	none
`float_lit`	none
`exponent`	none
`char_lit`	none
`char_char`	none
`string_lit`	none
`string_char`	none
`escape_seq`	none
`raw_string_lit`	none
`raw_string_char`	none
`line_comment`	none
`block_comment`	none
`zone_comment`	none
`ident`	none
`suffix`	none
`WS`	none
`WS1`	none
`NEWLINE`	none
`LETTER`	none
`DIGIT`	none
`BINDIGIT`	none
`OCTDIGIT`	none
`HEXDIGIT`	none
`EOF`	none

Local Search

Lint your snippet (heuristic)

Railroad (key rules)

Pocket print / PDF

Open printable pocket reference

Playground examples (static)

proc_decl

proc main() -> int { give 0 }

const_decl

const VERSION: string = "1.0"

space_decl

space vitte/bootstrap/stage2

use_decl

use vitte/io

expr

a + b * c

Version Diff

Open vN vs vN+1 diff

Grammar Toolbox

Frequent Errors mapped to Diagnostics

Syntax Constructor Matrix

By Keyword

Rule to Tests Traceability

Local Search

Lint your snippet (heuristic)

Railroad (key rules)

Pocket print / PDF

Playground examples (static)

Version Diff

API and Exports