From 4bcf730d97de848b5d87671bf04beaf78905649b Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sat, 17 Oct 2026 15:22:23 +0000 Subject: docs: describe EXTERN redeclaration and verified lli runs Co-Authored-By: Claude Opus 5.5 --- doc/language/keyword/cpsc-keyword-extern.7.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/language/keyword/cpsc-keyword-extern.7.md b/doc/language/keyword/cpsc-keyword-extern.7.md index db1bde4..5797a4f 100644 --- a/doc/language/keyword/cpsc-keyword-extern.7.md +++ b/doc/language/keyword/cpsc-keyword-extern.7.md @@ -19,7 +19,7 @@ Parameters list only types. Parameter and result types must be C types: C_INT, C A final `...` makes the function variadic. Variadic arguments must also be C values; they receive C default argument promotions (float to double, narrow integers and _Bool to int or unsigned int). -Every EXTERN symbol must be defined by an object named with INCLUDE_OBJ, otherwise compilation fails. EXTERN cannot be combined with OVERLOAD, and a name may be declared once across all input files; put shared declarations in one file and INCLUDE it. +Every EXTERN symbol must be defined by an object named with INCLUDE_OBJ, otherwise compilation fails. EXTERN cannot be combined with OVERLOAD or share a name with a FUNCTION or PROCEDURE. As in C, the same function may be declared again in the same or another input file when the signature is identical (equivalent C aliases match); conflicting declarations are errors. Each file sees its own declarations and those of the files it includes. # EXAMPLE -- cgit v1.3.1-4-g156e