From 353c38e23108856daa2c5d0e86443ac5136dcaa7 Mon Sep 17 00:00:00 2001
From: _ov4 <ov4@ov4.org>
Date: Thu, 22 Oct 2026 15:02:29 +0000
Subject: fix(codegen): skip IR verification after reported errors

Verify the module only when no error was reported, and let defineRecord
skip bad fields and still set the record body, marking it Invalid so
later missing-field lookups stay silent.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 include/cps/TypeSystem.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'include')

diff --git a/include/cps/TypeSystem.h b/include/cps/TypeSystem.h
index f8427f3..0c7c888 100644
--- a/include/cps/TypeSystem.h
+++ b/include/cps/TypeSystem.h
@@ -45,6 +45,7 @@ struct RecordFieldInfo {
 
 struct RecordPayload {
     std::vector<std::pair<std::string, RecordFieldInfo>> Fields; // declaration order
+    bool Invalid = false; // a field was rejected and skipped
     const RecordFieldInfo *findField(const std::string &Name) const;
 };
 
-- 
cgit v1.3.1-4-g156e