From 4c008d258f6fd23fd64e2a6b059448748d7f7d24 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Mon, 13 Jul 2026 17:02:34 -0400
Subject: every type has access to its parent

---
 docs/type_system/ir.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'docs/type_system/ir.md')

diff --git a/docs/type_system/ir.md b/docs/type_system/ir.md
index 77c6139..4b9ea44 100644
--- a/docs/type_system/ir.md
+++ b/docs/type_system/ir.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Ir[[IR_NAME] Address[3]]
+Ir[[IR_NAME] Address[6]]
 ```
 
 `IR_NAME` is a single value
@@ -12,6 +12,7 @@ Ir[[IR_NAME] Address[3]]
 
 ```c
 typedef struct {
-    kpl_type *address[3];
+    ssize_t label;
+    kpl_type *address[6];
 } kpl_type_body_ir;
 ```
-- 
cgit v1.2.3