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

feat(input)!: validate INPUT and read whole lines into STRING

2026-10-22T15:35:05Z

Scalar INPUT now reads one whitespace-delimited token through module-local IR helpers instead of scanf, then skips spaces and tabs and consumes one newline. INTEGER, REAL, BOOLEAN (TRUE or FALSE in any case) and CHAR are validated, and bad input or end of input is a runtime error. STRING INPUT reads the rest of the line. The unused scanf and REAL printf format globals are removed. Co-Authored-By: Claude Sonnet 5.5

fix(codegen): skip IR verification after reported errors

2026-10-22T15:21:11Z

Verify the module only when no error was reported, and let defineRecord skip bad fields and still set the record body, marking it Invalid so later missing-field lookups stay silent. Co-Authored-By: Claude Sonnet 5.5

feat(codegen): accept pointer types to any C type in EXTERN

2026-10-22T13:56:44Z

A pseudocode pointer type now counts as a C type, in EXTERN signatures and as a C-struct field, when it finally points to a non-void C type or a C struct, as in TYPE PInt = ^C_INT. A pointer cycle such as TYPE P = ^P and a pointer to a pseudocode type stay rejected. Co-Authored-By: Claude Opus 5.5

feat(codegen): accept pointers to C-struct records in EXTERN signatures

2026-10-22T13:27:15Z

A TYPE record whose fields are all C types, C structs or pointer types to C structs now crosses the EXTERN "C" boundary through a pointer type. Records by value are rejected for now, and a pointer to a record with a non-C field names that field. Co-Authored-By: Claude Opus 5.5

refactor(codegen): make importCType private and reuse registerType's entry

2026-10-22T03:58:36Z

importCType is only called from TypeSystem's own methods. declareUserType now sets IsClass through the entry registerType returns instead of looking the name up again. 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(codegen): instantiate class templates

2026-10-21T06:14:00Z

Co-Authored-By: Claude Opus 5.5

refactor(strings): replace compiler builtins with the STRING library

2026-10-20T11:57:16Z

Construct literals as STRING values and route string operations through ordinary library functions and operators. Preserve value ownership in records, arrays, constants and file I/O. Co-Authored-By: Claude Opus 5.5

feat(codegen): GLOBAL variables as LLVM globals

2026-10-17T09:15:18Z

Co-Authored-By: Claude Opus 5.5

feat(driver): compile multiple source files with INCLUDE visibility

2026-10-17T09:13:32Z

Reject builds without an entry program and duplicate cross-file definitions. Preserve source order for each unit's own constants and import visible exports. Co-Authored-By: Claude Opus 5.5