From 4cb0d9b196008bc55dbfcdac1f9211dbbc879895 Mon Sep 17 00:00:00 2001
From: _ov4 <ov4@ov4.org>
Date: Fri, 30 Oct 2026 14:23:32 +0000
Subject: feat(types): support implicit single-argument constructors

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 lib/CodeGen/FunctionGen.cc | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'lib/CodeGen/FunctionGen.cc')

diff --git a/lib/CodeGen/FunctionGen.cc b/lib/CodeGen/FunctionGen.cc
index a0c520d..7aa5d46 100644
--- a/lib/CodeGen/FunctionGen.cc
+++ b/lib/CodeGen/FunctionGen.cc
@@ -130,6 +130,15 @@ const FuncSig *FunctionGen::selectDefaultReturn(const std::vector<const FuncSig
 // Copy-constructor, operator, MAIN and name-collision rules for a
 // FUNCTION/PROCEDURE prototype; reports the first violation.
 bool FunctionGen::validatePrototype(PrototypeAST *Proto) {
+    if (Proto->isImplicit()) {
+        const auto &P = Proto->getParams();
+        if (Proto->getOwnerClass().empty() || !sameIdentifier(Proto->getName(), "NEW") ||
+            !sameIdentifier(Proto->getReturnType(), "VOID") || P.size() != 1 ||
+            P[0].Mode != PassMode::ByVal || P[0].IsArray || P[0].IsPack) {
+            reportError("IMPLICIT requires a CLASS constructor NEW with one BYVAL non-array parameter");
+            return false;
+        }
+    }
     if (Proto->isDefaultReturn()) {
         const TypeInfo *Return = Types.resolve(Proto->getReturnType());
         if (!Proto->isOverload() || (Return && Return->isVoid())) {
@@ -213,6 +222,7 @@ Function *FunctionGen::emitPrototype(PrototypeAST *Proto) {
     Sig.OwnerUnit = CurrentUnit;
     Sig.Name = Proto->getLinkName();
     Sig.IsOverload = Proto->isOverload();
+    Sig.IsImplicit = Proto->isImplicit();
     Sig.IsDefaultReturn = Proto->isDefaultReturn();
     Sig.Prototype = Proto;
     Sig.ReturnTypeName = Proto->getReturnType();
-- 
cgit v1.3.1-4-g156e