DanielXMoore / Hera

100%

main: 100%

LAST BUILD ON BRANCH type-infer

branch: SELECT

CHANGE BRANCH

x

• No branch selected
• add-claude-github-actions-1775321862461
• add-typechecking-grammar
• adjust-dts
• build
• changelog
• civet-docs
• claude/issue-16-20260406-0227
• claude/pr-65-20260406-1559
• cleanup
• codeblocks
• comments-after-types
• compiling-to-typescript
• depend-on-previous-hera
• doc-return
• edemaine-patch-1
• emit-declaration
• emit-esbuild-plugin-types
• esbuild-options
• esbuild-with-loader
• even-more-typed-samples
• export-parse-error
• expose-sourcemap
• fix-register-default-targets
• github-claude
• github-publish-oidc
• hera_v0_8-types
• hybrid-compiler
• lsp
• lsp-civet
• main
• mjs
• more-ts-compiling
• more-typed-samples
• multi-language-handlers
• optimizer
• optional
• pnpm
• publish-tags
• publish-test
• reentrant
• refs/tags/v0.8.19
• refs/tags/v0.8.20
• refs/tags/v0.9.0
• regexp-types-moved-to-definitions
• register-load-ts
• self-hosting
• simpler-handler
• sourcemap
• sourcemap-codeblock
• sourcemap-indent
• speculative-optimization
• structural-sourcemap
• type-infer
• type-only-single
• typecheck-parser-samples
• typed-hera
• update-mocha
• update-register
• upgrade-typescript
• use-civet-sourcemap-util
• use-tsc-loader
• v2
• windows-build

Build # 24964915217

Build Type

Pull #75

github

Committed by STRd6

Commit Message

PR feedback: simplify rValueCast, ts-expect-style tests, CHANGELOG

- compiler.civet: $$final's `: MaybeResult<typeof $$m>` annotation does
  the typing work; the cast on the assignment from $$r is just bypassing
  TS's view of $$r.value pre-mutation, so `as any` is sufficient
  there too (edemaine).
- inference.test-d.ts: rewrite using `expectType<T>(_: T)` and
  `TypeEqual<A, B>` from TypeStrong/ts-expect's tiny core, so each
  assertion's intent is explicit (edemaine).
- CHANGELOG: document the migration path — recursive grammars now need
  a `::Type` annotation in the cycle, and grammar authors opt into
  literal-type discriminators with `as const` (edemaine).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Pull Request Pull Request #75: Infer AST types from grammar rules

Coverage Stats

328 of 328 branches covered (100.0%)

Branch coverage included in aggregate %.

54 of 54 new or added lines in 1 file covered. (100.0%)

1466 of 1466 relevant lines covered (100.0%)

97.55 hits per line