cie-pseudocode-compiler.git/include/cps/FunctionGen.h, branch main

feat(types): support implicit single-argument constructors

2026-10-30T14:23:32Z

Co-Authored-By: Claude Opus 5.5

feat(overload): support default return types

2026-10-28T13:36:16Z

Co-Authored-By: Claude Opus 5.5

feat(overload): select overloads by return type as well as parameters

2026-10-24T18:01:36Z

Co-Authored-By: Claude Opus 5.5

fix(codegen): raise a runtime error when a FUNCTION ends without RETURN

2026-10-22T15:21:11Z

Report the function and its header line, then throw, instead of silently returning zero. FUNCTION MAIN keeps its implicit result. Co-Authored-By: Claude Sonnet 5.5

feat(codegen): pass C-struct records by value as variadic arguments

2026-10-22T13:51:44Z

A variadic EXTERN call is now arranged by clang per call, from the fixed parameter count and the promoted argument types. C-struct records pass unchanged in variadic positions, as C11 6.5.2.2p6-7 and 7.16.1.1p2 allow; a record that is not a C struct names the offending field. Co-Authored-By: Claude Opus 5.5

feat(codegen): arrange EXTERN signatures with clang's C ABI

2026-10-22T13:43:50Z

Every EXTERN "C" signature is now arranged by clang's CodeGen (arrangeFreeFunctionCall) for the host triple and applied by one generic lowering routine, replacing the hand-written signext/zeroext rule. clangCodeGen is linked statically into CPSCodeGen. Records still cross only through pointer types, so generated code is unchanged. Co-Authored-By: Claude Opus 5.5

refactor(codegen): extract FunctionGen prototype validation

2026-10-22T03:58:26Z

Move the copy-constructor, operator, MAIN OVERLOAD and reserved, builtin, enum and type name checks at the start of emitPrototype into a private validatePrototype helper. Co-Authored-By: Claude Opus 5.5

refactor(codegen): narrow FunctionGen's call and type helpers

2026-10-22T03:58:26Z

Make getLLVMType and the link-name emitCall overload private, inline the single-use GenerateCall helper into that overload, and drop the argument setName calls in createArgumentAllocas that repeat the names emitPrototype already assigned. The undefined-function diagnostic stays: a link name can be shadowed by another module global (e.g. FUNCTION stderr). Co-Authored-By: Claude Opus 5.5

refactor(codegen): remove dead parameters, fields and branches

2026-10-22T03:58:26Z

Drop the never-read StackObject::IsCopy flag and registerStackObject parameter, the unused NewExprAST forward declaration, the unused Ret parameter of FunctionGen::emitReturn and CG parameter of ArrayHandler::loadElement, unused includes, and the coerceValueToType early returns already covered by the exact LLVM type check (builtin kinds always map to double/i64/i1/i8). Co-Authored-By: Claude Opus 5.5

feat(diagnostics): print source diagnostics in gcc file:line: layout

2026-10-21T14:03:31Z

Lexer, parser, driver and codegen diagnostics now read ":: error: " instead of "error: at line N in ". The path is always printed as given on the command line. Call sites pass the bare message to cps::sourceError/sourceWarning, which carry printf format checking; reportError routes through the same helper. The suite iii harness parses the new layout and matches the reason against the message only. iii/template-class-pack-field passed only because its reason regex matched the case path, so it is now case-insensitive. Co-Authored-By: Claude Opus 5.5