cie-pseudocode-compiler.git/lib/CodeGen/RuntimeCheck.cc, branch main

feat(library)!: replace #LIB with __LIB source regions

2026-10-27T14:00:16Z

Track library mode by original source line, including deferred template bodies and automatic object cleanup. Update call lines from ordinary code and migrate the embedded standard library to PP_DEFINE __LIB. Co-Authored-By: Claude Opus 5.5

refactor(codegen): remove dead code in type system and runtime checks

2026-10-22T03:58:36Z

Drop the unused TypeInfo::isNumeric, pass emitCheck's format arguments straight to emitStderr, remove unused / includes and turn always-true trailing operator tests in ArithmeticHandler into plain returns. Co-Authored-By: Claude Opus 5.5

feat(driver): add #LIB directive hiding library lines in runtime errors

2026-10-18T08:04:15Z

Co-Authored-By: Claude Opus 5.5

refactor(runtime): write runtime diagnostics with fprintf(stderr)

2026-10-17T09:46:23Z

Replace snprintf+write(2) with a single fprintf call on the platform's stderr: the C library's stderr / __stderrp, or __acrt_iob_func(2) on Windows, which the embedded runner binds to the host shim. Co-Authored-By: Claude Sonnet 5.5

feat(runtime): write runtime diagnostics to stderr

2026-10-17T09:35:19Z

Runtime check messages and the unhandled-exception message were printed to stdout by the generated program, so `cpsc x.cps -r >out.txt` captured them. They are now formatted with snprintf and written with write(2). Test expectations and docs are updated accordingly. Co-Authored-By: Claude Sonnet 5.5

fix(codegen): restore runtime diagnostics before throwing

2026-10-15T02:41:11Z

Reuse historical runtime messages and source-line reporting for arithmetic, array, enum, pointer and file checks while preserving anonymous exceptions. Update the manuals and subsystem guidance to describe diagnostic output. Co-Authored-By: Claude Fable 5.1

feat(codegen): support C scalar arithmetic and input output

2026-10-14T03:36:21Z

Co-Authored-By: Claude Fable 5.1

feat(compiler)!: add try-catch with C++ stack unwinding

2026-10-13T14:52:57Z

Add TRY/CATCH/ENDTRY and anonymous THROW statements. Use LLVM exception handling and the C++ ABI to propagate exceptions across function calls, clean up catch state, and handle uncaught exceptions at the program boundary. Register exception runtime symbols for the statically linked embedded runner. Verify runtime checks, nested catches, returns, loops, and invalid syntax with smoke programs; exercise unwinding with MCJIT, lli, and native binaries. BREAKING CHANGE: Runtime check failures now throw anonymous exceptions and print only a generic message when uncaught. Native binaries require linking the C++ runtime. Co-Authored-By: Claude Fable 5.1

fix: check division and modulo for zero divisors

2026-10-13T08:43:17Z

Co-Authored-By: Claude Fable 5.1

feat: whole arrays (and records) as FUNCTION/PROCEDURE parameters

2026-07-26T17:42:08Z

- Parameter syntax lands end-to-end: ARRAY OF T (rank 1, bounds travel with the argument) and ARRAY[l:u,...] OF T (any rank, literal bounds as a checked contract). Element type and rank must match exactly. - Flattened ABI: each rank-R array parameter becomes a data pointer plus kBoundArgsPerDim i64 bounds per dimension. The callee rebuilds ArrayMetadata from those bounds (ArrayHandler::bindArrayParameter via a binder callback injected by CodeGen, so FunctionGen stays ignorant of the array subsystem); the checked-indexing pipeline is reused unchanged. - BYVAL (the CIE default) copies the whole buffer at callee entry (malloc+memcpy, never freed — consistent with the string policy) so callee writes stay invisible; BYREF binds the caller's buffer. - Bounded-parameter contract: compile-time comparison when the caller's bounds are constants, else a runtime [Fatal] check (RuntimeCheck::emitArrayArgBoundsCheck). - marshalCallArgs gains the array branch and a call-site line number (CallStmtAST now carries one); whole-array-to-scalar keeps a clear error, FUNCTION RETURNS ARRAY is a dedicated parse error. - Verified: BYREF fill/sort-style mutation, BYVAL copy invisibility, 2-D bounded params, ARRAY OF with field writes through the parameter, bounds-contract mismatches at compile time and run time. Co-Authored-By: Claude Fable 5