Module alt_kinds

plotnik_compiler::analyze::validation

Module alt_kinds 

Source
Expand description

Semantic validation for the typed AST.

Checks constraints that are easier to express after parsing:

  • Mixed tagged/untagged alternations

Functionsยง

validate_alt_kinds