Tracker
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 - 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
13 tasks← Overview
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