Roadmap search
Versions, deliverables, workstreams, tasks, and pages
Deliverable
Analysis and parser foundation
Established the Pecan compiler analysis spine: workspace bootstrap, semantic-analysis specification, HIR phase-indexed shared-core documentation, module-graph resolver, Pest plus staged semantic rules, normalization and desugar passes, visitor-based control-flow and type checking, HirQuery traversal, a 60+ variant diagnostic catalog, string-interpolation desugar, attribute/lambda grammar support, and migration from monolithic src/ to crates/ including beskid_abi. ## Provenance - **Repository:** `pekan` - **Commit:** [`33eaa35`](https://github.com/Cyber-Nomad-Collective/pekan/commit/33eaa35) - **Subject:** Update semantic analysis docs with current diagnostic codes, rule integration status, and type system progress - **Closed:** 2026-02-23 ## Catalog scope - **Delivery version:** v0.0 (Pecan prototype) - **Deliverable:** `v00-analysis-foundation` ## Relation Groups v0.0 seed tasks for **Analysis and parser foundation** (see `data/v0.0/article.md`).
v0.0 · v00-analysis-foundation
Tasks in scope
- Bootstrap Pecan repositoryDonehigh
- Author semantic analysis specification and workspace layoutDonehigh
- Document HIR phase-indexed shared-core modelDonehigh
- Resolver module graph, scopes, and resolution tablesDonehigh
- Research: Pest parser plus staged semantic rule pipelineDonehigh
- HIR normalization pass (for-loop desugaring)Donemedium
- Reorganize workspace from src/ to crates/ and add beskid_abiDonehigh
- Analysis services module (input/project resolution and parsing utilities)Donehigh
- Visitor-pattern refactors for control flow and type checkingDonemedium
- HirQuery-based staged analysis traversalDonemedium
- SemanticIssueKind diagnostic catalog (60+ variants)Donemedium
- String interpolation desugaring to concatenationDonemedium
- Grammar and HIR support for attributes and lambdasDonemedium