Skip to content

Add RoadC syntax checks without executing source - #8

Merged
blackboxprogramming merged 2 commits into
mainfrom
codex/roadc-check-20260921
Sep 23, 2026
Merged

blackboxprogramming merged 2 commits into
mainfrom
codex/roadc-check-20260921

Conversation

@blackboxprogramming

@blackboxprogramming blackboxprogramming commented Sep 21, 2026

Copy link
Copy Markdown
Owner

RoadC lacked a command for editors and automation to check syntax without executing source. This adds check / --check for one or more UTF-8 files, with optional structured JSON diagnostics.

The command never constructs an interpreter or evaluates statements or record defaults. It reports read, lexing, parsing and nesting errors, continues checking later files, and rejects unfinished match/spawn parser branches without hanging. Success means parser acceptance only, not runtime support, type correctness, or C compiler parity.

Integrated with current main after the record-types merge. Consolidates the overlapping PR #9 documentation and nested/export failure coverage into the broader batch interface; #9 can be closed as superseded after merge. Added actual-example batch checks and record-default non-execution regressions. Existing CI configuration is preserved.

Validation: 274 local tests passed with PYTHONPATH=/tmp/roadc-short-circuit-deps python3 -m pytest tests -q; git diff --check passed. Published tree 913172ac9c0a914022b55c865687536dddf76ac6 matches the tested local tree. Commits use [skip ci]; no hosted CI verification is claimed.

blackboxprogramming added a commit that referenced this pull request Sep 22, 2026
Guard unfinished statement parsers in check mode, including nested blocks and exports. Preserve run/parse behavior and the single-file CLI.

Verified four unittest regression methods and all five existing CLI test functions locally. Full pytest unavailable in this environment. Document overlap with PR #8 before integration.
@blackboxprogramming
blackboxprogramming marked this pull request as ready for review September 23, 2026 06:35
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 23, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review Completed 2026-09-23T06:37:10.016738Z a32866f Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@blackboxprogramming
blackboxprogramming merged commit f85ebd0 into main Sep 23, 2026
1 check passed
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