Ship a language-focused preview where syntax, semantics, typing, and backend behavior are stable and conformance-tested.
- Core grammar/AST forms are stable and tested.
- Type checker enforces generic + control-flow semantics for supported features.
- Match semantics are type-safe and exhaustive where required.
- C and Zig backend outputs are behaviorally aligned on language conformance tests.
- Freeze core syntax forms in parser tests.
- Keep AST node contracts explicit for declarations, expressions, and patterns.
- Ensure scope transitions are deterministic for blocks, loops, and match branches.
- Keep symbol-table behavior stable under nested control flow.
- Finalize generic constraints, substitutions, and inference behavior.
- Enforce assignment/call/operator compatibility without unsound fallbacks.
- Enforce pattern type compatibility.
- Enforce bool/enum exhaustiveness (or else/wildcard branch).
- Ensure exhaustive match contributes to return-path analysis.
- Move beyond basic
new/delshape checks to explicit ownership/lifetime rules. - Define boundary behavior for references and FFI interactions.
- Keep semantic behavior consistent across C and Zig backends.
- Add differential checks for language features as they are added.
- Added wildcard pattern parsing (
case _:). - Added match pattern type checking in semantic type checking.
- Added bool/enum exhaustiveness checks for match statements and match expressions.
- Added return-path support for exhaustive enum/bool matches without
else. - Added tests for wildcard parsing, pattern type mismatch, exhaustiveness, and return-path behavior.
- Add
fallsemantic rules and backend lowering. - Add unreachable/overlap diagnostics for match patterns.
- Start explicit lifetime rule design and validation tests.