From c56877035d6600b463a9cbf0e339f7548c0b46fd Mon Sep 17 00:00:00 2001
From: _ov4 <ov4@ov4.org>
Date: Wed, 21 Oct 2026 05:54:26 +0000
Subject: feat(codegen): instantiate function templates by deduction

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 include/cps/CodeGen.h | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

(limited to 'include/cps/CodeGen.h')

diff --git a/include/cps/CodeGen.h b/include/cps/CodeGen.h
index 283c4b1..124ead1 100644
--- a/include/cps/CodeGen.h
+++ b/include/cps/CodeGen.h
@@ -35,9 +35,30 @@ class CodeGen {
     const std::vector<SourceUnit> *Units = nullptr;
     size_t CurrentUnit = 0;
     size_t MainUnit = 0;
+    std::optional<size_t> VisibilityUnit;
     IdentifierMap<size_t> TypeOwners;
     struct TemplateDefinition { TemplateDeclAST *Decl; size_t OwnerUnit; };
     IdentifierMap<std::vector<TemplateDefinition>> Templates;
+    struct TemplateInstance {
+        TemplateDeclAST *Decl;
+        std::string Arguments;
+        std::unique_ptr<FunctionDefAST> Function;
+        const FuncSig *Signature;
+        size_t OwnerUnit;
+        size_t RequesterUnit;
+        unsigned Depth;
+    };
+    std::vector<TemplateInstance> TemplateInstances;
+    std::map<const TemplateDeclAST *, IdentifierMap<SymbolInfo>> TemplateSymbols;
+    size_t NextTemplateBody = 0;
+    unsigned TemplateDepth = 0;
+    bool hasCallable(const std::string &Name) const;
+    bool hasFunctionTemplate(const std::string &Name) const;
+    void validateTemplates();
+    void captureTemplateSymbols();
+    const FuncSig *instantiateFunction(const TemplateDefinition &Definition,
+        const IdentifierMap<std::vector<std::string>> &Bindings);
+    void drainTemplateBodies();
     std::vector<IdentifierMap<SymbolInfo>> Exports;
     bool isVisible(size_t Owner) const;
     void selectUnit(size_t Unit);
-- 
cgit v1.3.1-4-g156e