Revision history for static
0.0.1 2026-10-22T01:08:37+01:00
- Disable Mi6 README generation from Pod to preserve the maintained README.md.
- Hide the warning emission callback from diagnostic backtraces.
- Infer possible element returns of no-argument CORE pick/roll on built-in lists/arrays.
- Check each inferred body return alternative against declared return contracts.
- Add opt-in CHECK-time RakuAST type analysis of the current compilation unit.
- Add warning/failure policies for mismatches and inconclusive checks.
- Infer local routine returns with .are and bounded recursive summaries.
- Check assignments, calls, methods, multis, returns and typed collections.
- Report fatal diagnostics as native compilation errors at the offending expression.
- Analyze bounded pure where/subset predicates using propagated constants.
- Bind direct generic captures, rank nominal multi candidates and check hash keys.
- Track native integer storage, lexical aliases and conservative mutation effects.
- Expand policy, signature, primitive type, dynamic syntax and safety coverage.
- Check missing methods on exact invocants by default; add :check-methods option.
- Add bin/static-check.raku for compile-only validation of files or stdin,
with selectable policies and the existing checker options.
- Accept repeatable -I/-M CLI options and forward interpreter repositories.
- Validate readonly/rw parameter contracts, finite destructuring and fixed
array dimensions, with lexical and element binding checks.
- Analyze given/when paths, exception handlers, deferred producer payloads,
supply callback contracts and finite hyper operations conservatively.