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

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(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

feat(classes): allocate objects with NEW and rebind named class variables

2026-10-17T06:54:32Z

Co-Authored-By: Claude Opus 5.5

fix(compiler): correct CIE semantics and diagnostic locations

2026-10-16T13:21:05Z

Use standard WHILE headers and default-public class fields, resolve pseudocode identifiers without case sensitivity, and check signed i64 literal boundaries before conversion. Preserve source locations across recursive emission and function diagnostics. Add 22 regression cases and update compiler examples and documentation. Validated all 69 CTest entries with the original Linux Actions seed and verified the release package's embedded, native and IR output paths.