Skip to content

Check TypeScript app markup with the TypeScript view compiler - #735

Merged
ctate merged 2 commits into
mainfrom
ctate/check-typescript-app-6007d3
Oct 16, 2026
Merged

ctate merged 2 commits into
mainfrom
ctate/check-typescript-app-6007d3

Conversation

@ctate

@ctate ctate commented Oct 16, 2026

Copy link
Copy Markdown
Collaborator
  • native check now compiles a TypeScript core's views (src/app.native and src/windows/*.native) against the core's contract with the same view compiler the build uses. A view that checks is a view that builds, and there is no artifact to refresh after changing the model. Unused Model fields, helpers and Msg kinds are still reported as warnings (viewUnbound opts out; --strict fails on them).
  • TypeScript apps no longer build or read the Zig model-contract.zon artifact, so a stale one can no longer produce false errors. Zig-core apps keep the existing model-contract check unchanged.
  • Docs and skills describe the check for both app shapes.

- `native check` compiles a TypeScript core's views against its contract with the build's own view compiler, and reports unused Model state and Msg kinds from that compile.
- TypeScript apps no longer build or read the Zig model-contract artifact; Zig cores keep it.
- Update the check docs and skills for both app shapes.
@vercel

vercel Bot commented Oct 16, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
native-sdk Ready Ready Preview, v0 Oct 16, 2026 9:50am UTC
native-sdk-schema Ready Ready Preview, v0 Oct 16, 2026 9:50am UTC

Comment thread packages/core/src/view_check.ts
- Name the real file for `native check` errors in secondary-window views and the files they import.
- Cover root, window and imported-file errors, and location-free bundle errors, in tests.
@ctate
ctate merged commit c0f3d43 into main Oct 16, 2026
36 checks passed

This branch was successfully deployed

2 active deployments
Preview – native-sdk — 78b45b27 Deployed Oct 16, 2026 by vercel[bot]
Preview – native-sdk-schema — 78b45b27 Deployed Oct 16, 2026 by vercel[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant