Skip to content

Milestones

List view

  • Tooling

    `sploosh build|test|check`, manifest (`sploosh.toml`), package management, editor/LSP integration. Spec: docs/tooling, §13.3 (testing).

    No due date
    0% complete0 open0 closed

  • Runtime, Stdlib & Concurrency

    Actor runtime & supervision, iterators, strings/formatting, prelude, files. Spec: §7 (iterators), §8 (actors/concurrency), §9 (strings), §13 (prelude), §14 (files).

    No due date
    0% complete0 open0 closed

  • Code Generation & Targets

    Lowering to LLVM (native/wasm) and EVM/SVM backends; compiler intrinsics and math lowering; on-chain surface. Spec: §11 (web3), §13 (intrinsics & prelude). Targets: native/wasm/evm/svm.

    No due date
    0% complete0 open0 closed

  • Diagnostics

    Stable diagnostic model: E/W/L codes, severity, primary spans, suggested fixes, JSON NDJSON output (`schema: 1`). Cross-cutting; begins in the frontend. Spec: §18.

    No due date
    0% complete0 open0 closed

  • Ownership & Borrow Checking

    Move/copy/borrow analysis, lifetimes, `Shared<T>`, `Box<T>`, no static mutable state, integer-overflow semantics. Spec: §4 (ownership & math).

    No due date
    0% complete0 open0 closed

  • Type Checking & Inference

    Type system: types, generics, traits/supertraits, local inference (default i64/f64), dynamic dispatch. Spec: §3 (types) incl. §3.5–§3.9.

    No due date
    0% complete0 open0 closed

  • Name Resolution & Modules

    Module tree, path and `use` resolution, visibility, orphan rule. Spec: §10 (modules & visibility).

    No due date
    0% complete0 open0 closed

  • Frontend: Lexer & Parser

    Tokenizer and recursive-descent parser producing the AST. Spec: §2 (lexical structure), §16 (EBNF grammar). Goal: full §16 coverage with corpus fixtures and parse→print round-trip validation.

    No due date
    •0/10 issues closed
    0% complete10 open0 closed