From 312a19c781da1c31ff1e3dc71c319663a8be9148 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Thu, 22 Oct 2026 13:56:44 +0000 Subject: feat(codegen): accept pointer types to any C type in EXTERN 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 --- tests/iii/extern-struct-rejected/program.cps | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tests/iii/extern-struct-rejected/program.cps') diff --git a/tests/iii/extern-struct-rejected/program.cps b/tests/iii/extern-struct-rejected/program.cps index ced6fee..80f965f 100644 --- a/tests/iii/extern-struct-rejected/program.cps +++ b/tests/iii/extern-struct-rejected/program.cps @@ -11,3 +11,5 @@ EXTERN "C" EXTERN_FUNCTION atoi(C_STRING) RETURNS Person EXTERN "C" EXTERN_FUNCTION printf(C_STRING, ...) RETURNS C_INT DECLARE Someone : Person OUTPUT printf((C_STRING)"%d", Someone) +TYPE PInteger = ^INTEGER +EXTERN "C" EXTERN_PROCEDURE srand(PInteger) -- cgit v1.3.1-4-g156e