Skip to content

Rename exitfin, remove continue/return aliases, fix BMark parity#110

Merged
DanexCodr merged 2 commits into
mainfrom
copilot/fix-parity-test-failures-again
May 2, 2026
Merged

Rename exitfin, remove continue/return aliases, fix BMark parity#110
DanexCodr merged 2 commits into
mainfrom
copilot/fix-parity-test-failures-again

Conversation

Copilot AI commented May 2, 2026

Copy link
Copy Markdown
Contributor

Completes the exitfin keyword migration, removes backward-compat lexer aliases for continue and return, and fixes a parity test failure in BMark.cod caused by un-normalized timing output.

Keyword rename: exitfin

  • TokenType.Keyword.EXITFIN; Exit AST node → Fin; EarlyExitExceptionEarlyFinException
  • IR serialization tag updated: "Exit""Fin" (no backward compat needed; pre-release)
  • All parser, lowerer, visitor, and printer references updated

Alias removal (IdentifierLexer)

  • Dropped continueSKIP and returnFIN fallback aliases — only explicit skip / fin are valid control-flow keywords now

.cod source updates

All stdlib and demo files migrated to the new keywords:

// before
if done { return }
for i of 1 to n {
    if i == skip_val { continue }
    ...
}
exit

// after
if done { fin }
for i of 1 to n {
    if i == skip_val { skip }
    ...
}
fin

Files changed: std/json/Json.cod, std/scimath/SciMath.cod, demo/.../ControlFlow.cod, demo/.../JsonStandardLibraryComprehensive.cod

Parity fix

CodPTACParityRunner.normalize() now redacts timing values in "... at <N> ms" output lines, resolving the BMark.cod AST-vs-PTAC mismatch caused by non-deterministic timer() output.

Copilot AI and others added 2 commits May 2, 2026 22:17
…ix BMark parity, update changelog

Agent-Logs-Url: https://github.com/coderive-lang/Coderive/sessions/4c9cc787-87ae-43dc-9e0a-60c07a5c3323

Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com>
Agent-Logs-Url: https://github.com/coderive-lang/Coderive/sessions/4c9cc787-87ae-43dc-9e0a-60c07a5c3323

Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com>
@DanexCodr DanexCodr marked this pull request as ready for review May 2, 2026 22:21
@DanexCodr DanexCodr merged commit 6877685 into main May 2, 2026
@DanexCodr DanexCodr deleted the copilot/fix-parity-test-failures-again branch May 2, 2026 22:21
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.

2 participants