From fe70048b33baebdfbf7071059bd4742ec16ab408 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Thu, 22 Oct 2026 15:17:31 +0000 Subject: fix(classes): defer NEW for DECLARE without a parameterless constructor A plain DECLARE, field or array element now calls NEW only when the class has a parameterless one; otherwise the zeroed object waits for x <- NEW C(...), as in guide section 10.2. DECLARE with parentheses still requires a matching constructor. Co-Authored-By: Claude Sonnet 5.5 --- AGENTS/PITFALLS/classes.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'AGENTS/PITFALLS') diff --git a/AGENTS/PITFALLS/classes.md b/AGENTS/PITFALLS/classes.md index 82415d7..ff61439 100644 --- a/AGENTS/PITFALLS/classes.md +++ b/AGENTS/PITFALLS/classes.md @@ -20,8 +20,10 @@ Part of the [pitfalls index](../PITFALLS.md). ## Construction - PROCEDURE NEW is an ordinary case-insensitive member, also called automatically - after zero initialization by DECLARE and assignment-only keyword NEW. Fields and - array elements recursively require parameterless construction before the outer NEW. + after zero initialization by assignment-only keyword NEW and by DECLARE with + parentheses. A plain DECLARE (and fields and array elements, constructed before the + outer NEW) calls NEW only when a parameterless NEW exists (`emitDefaultConstruct`); + otherwise the zeroed object waits for `x <- NEW C(...)` (guide 10.2). - Class variables and BYVAL class parameters use reference slots: keyword NEW rebinds them, while ordinary assignment copies into their current object. - Fields, array elements, BYREF, this and pointer dereferences receive a value copy -- cgit v1.3.1-4-g156e