cie-pseudocode-compiler.git/tests/i/extern-c-struct/lib.c, branch main

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 record pointers as variadic arguments

2026-10-22T13:30:00Z

Pointer types to C-struct records now pass unchanged as variadic EXTERN arguments. Pseudocode values still need a cast to a C type, and records by value 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