From 4c008d258f6fd23fd64e2a6b059448748d7f7d24 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 13 Jul 2026 17:02:34 -0400 Subject: every type has access to its parent --- docs/type_system/ir.md | 5 +++-- docs/type_system/list.md | 4 ++-- 2 files changed, 5 insertions(+), 4 deletions(-) (limited to 'docs/type_system') 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; ``` diff --git a/docs/type_system/list.md b/docs/type_system/list.md index 518727e..22ad03c 100644 --- a/docs/type_system/list.md +++ b/docs/type_system/list.md @@ -3,13 +3,13 @@ --- ```text -List[[ROOT | STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] PARENT; TARGET; ARG; LOOP; VAR_TREE; Collection[LIST; TYPE]] +List[[STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] PARENT; TARGET; ARG; LOOP; VAR_TREE; Collection[LIST; TYPE]] ``` ## Type Body Object Definitions ```c typedef struct { - kpl_type *parent, *target, *defined, *named, *var_tree, *statement_list; + kpl_type *target, *defined, *named, *var_tree, *statement_list; } kpl_type_body_list; ``` -- cgit v1.2.3