feat: Phase 3+4 — Cassowary constraint solver + type system
Phase 3 — Constraint Layout:
- ds-layout crate: Gaussian elimination constraint solver
- eq, gte, lte, sum_eq, ratio constraints with strength priority
- get_rect() for resolving absolute (x,y,w,h) layouts
- 7 tests: simple eq, two-var eq, sums, rects, gte, ratio, 3-panel
Phase 4 — Type System:
- ds-types crate: Signal<T>, Derived<T>, Stream<T>, Spring<T>, View
- Effect types: Http, Storage, Time, Dom, Custom(name)
- Hindley-Milner type checker with signal-awareness
- Elm-inspired error messages (TYPE MISMATCH, UNHANDLED EFFECT, etc.)
- 11 tests: type display, reactive checks, mismatch errors, etc.
Total: 34 tests passing across 6 crates
2026-02-25 00:22:35 -08:00
|
|
|
[package]
|
|
|
|
|
name = "ds-types"
|
compiler: v0.8–v1.0 milestones — generics, traits, async/effects, production hardening
v0.8.0: Generics, Trait System, LSP Foundation (322 tests)
- ds-parser: GenericParam, TraitDecl, ImplBlock, WhereClause, DefaultParam, Destructure
- ds-types: GenericType, TraitRegistry, TypeExpander
- ds-analyzer: AdvancedAnalyzer (unused imports, memo, dep depth, hot paths)
- ds-codegen: CodeGenV2 (generic erasure, for-in/yield, tree shaking, minify)
- ds-layout: FlexLayout (gap, padding, margin, border, position, alignment)
- ds-diagnostic: LspDiagnostic, DiagnosticBatch (LSP format, suppression, dedup)
- ds-incremental: IncrementalV2 (content hash, compile queue, error cache)
v0.9.0: Async/Await, Effect System, Production Hardening (385 tests)
- ds-parser: AsyncFn, EffectDeclV2, TryCatch, PipelineExpr, Decorator
- ds-types: AsyncType (Promise/Future/Effect/Result), AdvancedType (intersection/mapped/conditional/branded)
- ds-analyzer: ProductionAnalyzer (async boundaries, purity, complexity, coverage)
- ds-codegen: CodeGenV3 (async/await, try/catch, pipeline, chunks, CSS, HMR)
- ds-layout: AdvancedLayout (scroll, sticky, flex grow/shrink, shadow, transition)
- ds-diagnostic: DiagnosticPipeline, DiagTag (file index, lint rules, escalation)
- ds-incremental: BuildPipeline (profiles, workers, artifacts, source maps)
v1.0.0: Production-Ready Compiler with Stable API (511 tests)
- ds-parser: ParseError1, PartialAst, VisibilityV2, Namespace, DocComment, Pragma, NumericLit, ParseStats
- ds-types: TypeInference (HM unification), SubtypeChecker, TypeSystemExt (opaque/existential/HKT)
- ds-analyzer: FullAnalyzer (call graph, dead code, tail call, borrow check, vectorize)
- ds-codegen: CodeGenFull (WASM, SSR, hydration, CSS modules, import maps, SIMD)
- ds-layout: Animation, TextLayout, MediaQuery, ColorSpace, Gradient, Filter, LayoutStats
- ds-diagnostic: DiagnosticSuite (SARIF, code frames, budgets, baselines, trending)
- ds-incremental: BuildSystem (remote cache, build graph, plugins, hermetic, signing)
2026-03-11 16:16:42 -07:00
|
|
|
version = "1.0.0"
|
feat: Phase 3+4 — Cassowary constraint solver + type system
Phase 3 — Constraint Layout:
- ds-layout crate: Gaussian elimination constraint solver
- eq, gte, lte, sum_eq, ratio constraints with strength priority
- get_rect() for resolving absolute (x,y,w,h) layouts
- 7 tests: simple eq, two-var eq, sums, rects, gte, ratio, 3-panel
Phase 4 — Type System:
- ds-types crate: Signal<T>, Derived<T>, Stream<T>, Spring<T>, View
- Effect types: Http, Storage, Time, Dom, Custom(name)
- Hindley-Milner type checker with signal-awareness
- Elm-inspired error messages (TYPE MISMATCH, UNHANDLED EFFECT, etc.)
- 11 tests: type display, reactive checks, mismatch errors, etc.
Total: 34 tests passing across 6 crates
2026-02-25 00:22:35 -08:00
|
|
|
edition = "2021"
|
|
|
|
|
|
|
|
|
|
[dependencies]
|
|
|
|
|
ds-parser = { path = "../ds-parser" }
|
feat(compiler): v0.4 + v0.5 — CLI modularity, diagnostic pipeline, test suite
v0.4 — CLI Modularity:
- Split monolithic main.rs (2,038 lines) into 8 command modules + slim dispatch (107 lines)
- Add 12 JS codegen tests (signals, derived, views, events, loops, match, enums, components, interpolation, springs, tree-shaking)
v0.5 — Diagnostic Quality + Analyzer Confidence:
- Add From<ParseError> for Diagnostic (E0001) in ds-diagnostic
- Add errors_as_diagnostics() to TypeChecker (E0100–E0110)
- Wire Elm-style diagnostics through dreamstack check and build commands
- Switch incremental compiler to parse_program_resilient() for multi-error collection
- Add 12 analyzer tests (chains, fan-out, diamond deps, empty programs, conditionals, handlers, views)
- Add 2 diagnostic conversion tests
Test suite: 97 → 123 tests (26 new, 0 failures)
2026-03-10 09:09:02 -07:00
|
|
|
ds-diagnostic = { path = "../ds-diagnostic" }
|