From 522742e9df7fc5ac596ce4aa53d41b31e4f6a030 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Fri, 16 Oct 2026 09:46:18 +0000 Subject: refactor(codegen): separate type checks from designator access Co-Authored-By: Claude Fable 5.1 --- include/cps/CodeGen.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'include/cps') diff --git a/include/cps/CodeGen.h b/include/cps/CodeGen.h index 4363126..72b96c6 100644 --- a/include/cps/CodeGen.h +++ b/include/cps/CodeGen.h @@ -74,7 +74,7 @@ class CodeGen { void emitCOutput(llvm::Value *Val, const TypeInfo *Info, bool AppendNewline); void emitCInput(const SymbolInfo *Symbol, const TypeInfo *Info); - // TYPE-system helpers (Designator.cc). + // TYPE-system registration (Designator.cc) and operators (TypeCheckGen.cc). void runTypePrePass(const std::vector> &Statements); llvm::Value *emitUserKindBinaryOp(BinaryExprAST *Bin, const TypeInfo *LT, const TypeInfo *RT); @@ -120,7 +120,7 @@ public: // Name-level admission gate for Enum/Record/Pointer plus the existing // representation coercion for builtin targets. The ONLY door through // which assignments, BYVAL args, RETURN values and file/builtin operands - // may produce a typed value. (Designator.cc) + // may produce a typed value. (TypeCheckGen.cc) llvm::Value *emitCoercedExpr(ExprAST *E, const TypeInfo *TargetInfo); const TypeInfo *resolveType(const std::string &TypeName) const; -- cgit v1.3.1-4-g156e