From 730faa451fbc3e7ae37c8a3b32b9d4d99007c666 Mon Sep 17 00:00:00 2001 From: nodist Date: Sat, 11 Jul 2026 19:52:56 -0400 Subject: remove compressed pointers --- docs/type_system/function.md | 2 +- docs/type_system/group.md | 2 +- docs/type_system/ir.md | 2 +- docs/type_system/list.md | 2 +- docs/type_system/lock.md | 2 +- docs/type_system/map.md | 2 +- docs/type_system/name.md | 2 +- docs/type_system/op.md | 2 +- docs/type_system/overload.md | 2 +- docs/type_system/select.md | 2 +- docs/type_system/symbol.md | 2 +- docs/type_system/task.md | 2 +- docs/type_system/union.md | 2 +- docs/type_system/value.md | 5 ++--- docs/type_system/var.md | 5 ++--- 15 files changed, 17 insertions(+), 19 deletions(-) (limited to 'docs/type_system') diff --git a/docs/type_system/function.md b/docs/type_system/function.md index d972b57..bca4c7e 100644 --- a/docs/type_system/function.md +++ b/docs/type_system/function.md @@ -18,7 +18,7 @@ Function[[MODE | STATELESS | STATEFUL]; JIT; IR; Body; INVOCATION_LIST; RETURN_T ```c typedef struct { void *jit; - kpl_ptr ir, body, invocation_list, return_type, var_list; + kpl_type *ir, *body, *invocation_list, *return_type, *var_list; } kpl_type_body_function; ``` diff --git a/docs/type_system/group.md b/docs/type_system/group.md index 213e3e0..0664276 100644 --- a/docs/type_system/group.md +++ b/docs/type_system/group.md @@ -12,7 +12,7 @@ Group[[INDEX | SYMBOL] Collection[VAR_TREE_LIST; TYPE.SYMBOL]] ```c typedef struct { - kpl_ptr var_tree, var_list; + kpl_type *var_tree, *var_list; } kpl_type_body_group; ``` diff --git a/docs/type_system/ir.md b/docs/type_system/ir.md index 5593bc3..77c6139 100644 --- a/docs/type_system/ir.md +++ b/docs/type_system/ir.md @@ -12,6 +12,6 @@ Ir[[IR_NAME] Address[3]] ```c typedef struct { - kpl_ptr address[3]; + kpl_type *address[3]; } kpl_type_body_ir; ``` diff --git a/docs/type_system/list.md b/docs/type_system/list.md index b3c6dd7..518727e 100644 --- a/docs/type_system/list.md +++ b/docs/type_system/list.md @@ -10,6 +10,6 @@ List[[ROOT | STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] PARENT; ```c typedef struct { - kpl_ptr parent, target, defined, named, var_tree, statement_list; + kpl_type *parent, *target, *defined, *named, *var_tree, *statement_list; } kpl_type_body_list; ``` diff --git a/docs/type_system/lock.md b/docs/type_system/lock.md index d03dbfa..151c1aa 100644 --- a/docs/type_system/lock.md +++ b/docs/type_system/lock.md @@ -10,7 +10,7 @@ Lock[[] TARGET] ```c typedef struct { - kpl_ptr target; + kpl_type *target; } kpl_type_body_lock; ``` diff --git a/docs/type_system/map.md b/docs/type_system/map.md index 839d511..adf227d 100644 --- a/docs/type_system/map.md +++ b/docs/type_system/map.md @@ -10,7 +10,7 @@ Map[[] KEY_TYPE; VALUE_TYPE] ```c typedef struct { - kpl_ptr key, value; + kpl_type *key, *value; kpl_interface *interface; } kpl_type_body_map; ``` diff --git a/docs/type_system/name.md b/docs/type_system/name.md index 1f0c332..b329521 100644 --- a/docs/type_system/name.md +++ b/docs/type_system/name.md @@ -10,7 +10,7 @@ Name[[UNKNOWN | DATA_TYPE | ALIAS_TYPE | UNIQUE_TYPE] TYPE; IDENTIFIER] ```c typedef struct { - kpl_ptr type; + kpl_type *type; kpl_interface identifier; } kpl_type_body_name; ``` diff --git a/docs/type_system/op.md b/docs/type_system/op.md index f9b2173..f5b935a 100644 --- a/docs/type_system/op.md +++ b/docs/type_system/op.md @@ -12,5 +12,5 @@ Op[[OP_NAME] RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE] ```c typedef struct { - kpl_ptr return_type, statement_left, statement_right; + kpl_type *return_type, *statement_left, *statement_right; } kpl_type_body_op; diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md index bc083e2..467d898 100644 --- a/docs/type_system/overload.md +++ b/docs/type_system/overload.md @@ -12,7 +12,7 @@ Overload[[] Collection[VAR_LIST; Function[]]] ```c typedef struct { - kpl_ptr var_list; + kpl_type *var_list; } kpl_type_body_overload; ``` diff --git a/docs/type_system/select.md b/docs/type_system/select.md index e68fc32..85528e0 100644 --- a/docs/type_system/select.md +++ b/docs/type_system/select.md @@ -12,7 +12,7 @@ Select[[SINGLE | MULTIPLE] Type; Collection[VAR_TREE_LIST; .symbol : %const Valu ```c typedef struct { - kpl_ptr var_tree, var_list; + kpl_type *var_tree, *var_list; } kpl_type_body_select; ``` diff --git a/docs/type_system/symbol.md b/docs/type_system/symbol.md index ae5595f..da8faa7 100644 --- a/docs/type_system/symbol.md +++ b/docs/type_system/symbol.md @@ -10,7 +10,7 @@ Symbol[[] TYPE; TARGET; IDENTIFIER] ```c typedef struct { - kpl_ptr type, target; + kpl_type *type, *target; kpl_identifier identifier; } kpl_type_body_symbol; ``` diff --git a/docs/type_system/task.md b/docs/type_system/task.md index ae547b2..56d232c 100644 --- a/docs/type_system/task.md +++ b/docs/type_system/task.md @@ -12,7 +12,7 @@ Task[[] TYPE] ```c typedef struct { - kpl_ptr type; + kpl_type *type; kpl_interface *interface; } kpl_type_body_task; ``` diff --git a/docs/type_system/union.md b/docs/type_system/union.md index 1bc84da..26429f1 100644 --- a/docs/type_system/union.md +++ b/docs/type_system/union.md @@ -10,7 +10,7 @@ Union[TAG | TRANSIENT] Collection[VAR_TREE_LIST; TYPE.SYMBOL]] ```c typedef struct { - kpl_ptr var_tree, var_list; + kpl_type *var_tree, *var_list; } kpl_type_body_union; ``` diff --git a/docs/type_system/value.md b/docs/type_system/value.md index 19b150a..5f50794 100644 --- a/docs/type_system/value.md +++ b/docs/type_system/value.md @@ -3,15 +3,14 @@ --- ```text -Value[[] TYPE; ID; KPL_CLASS] +Value[[] TYPE; KPL_CLASS] ``` ## Type Body Object Definitions ```c typedef struct { - kpl_ptr type; - int32_t id; + kpl_type *type; kpl_class *class; } kpl_type_body_value; ``` diff --git a/docs/type_system/var.md b/docs/type_system/var.md index 1a5119f..8af2da5 100644 --- a/docs/type_system/var.md +++ b/docs/type_system/var.md @@ -3,15 +3,14 @@ --- ```text -Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; LEFT_VAR; RIGHT_VAR; TREE_WEIGHT; IDENTIFIER] +Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; LEFT_VAR; RIGHT_VAR; IDENTIFIER] ``` ## Type Body Object Definition ```c typedef struct { - kpl_ptr type, tree_left, tree_right; - uint32_t tree_weight; + kpl_type *type, *tree_left, *tree_right; kpl_identifier identifier; } kpl_type_body_var; ``` -- cgit v1.2.3