Tracker
Roadmap search
Versions, deliverables, workstreams, tasks, and pages
Typed emitter and transforms
featureStandard
src/content/docs/platform-spec/compiler/compiler-mods/typed-emitter-and-transforms/index.mdx
import SpecPageHeader from '@beskid/beskid-ui/platform-spec/SpecPageHeader.astro';
<SpecPageHeader status="Standard" ownerName="Piotr Mikstacki" ownerEmail="pmikstacki@cybernomad.it" submitterName="Piotr Mikstacki" submitterEmail="pmikstacki@cybernomad.it" />This feature hub defines the normative contract for Beskid.Compiler.Emit (typed emitter and transforms) and links detailed articles.
Language alignment
Only the emit phase may apply typed program contributions through this surface; the host validates merge against language rules.
Implementation anchors
compiler/crates/beskid_analysis/src/syntax/items/— patterns for well-formed item emission.compiler/crates/beskid_codegen/— downstream expectations after merge.
Decisions
No open decisions. Closed choices are normative ADRs under adr/ (D-COMP-MODS-0016 … D-COMP-MODS-0018); use the reader ADRs tab for expandable detail.