summaryrefslogtreecommitdiff
path: root/docs/application
diff options
context:
space:
mode:
authornodist <kevin.comas.git@gmail.com>2026-07-16 17:50:07 -0400
committernodist <kevin.comas.git@gmail.com>2026-07-16 17:50:07 -0400
commite950f786e25967a222cfa7bce7327ffd458e8c95 (patch)
tree8c0cc77ac43806b146a49f74db2332a6181a2515 /docs/application
parent224c245a875a6f28c01e93d037329c708ef81dd4 (diff)
add generics
Diffstat (limited to 'docs/application')
-rw-r--r--docs/application/thread.md2
-rw-r--r--docs/application/type.md8
2 files changed, 6 insertions, 4 deletions
diff --git a/docs/application/thread.md b/docs/application/thread.md
index c0ad199..91fa168 100644
--- a/docs/application/thread.md
+++ b/docs/application/thread.md
@@ -22,8 +22,6 @@ typedef struct _task {
_Atomic bool join_ready;
} task;
-#define KPL_QUEUE_ASYNC -1
-
#define KPL_MAIN_THREAD 0
typedef struct {
diff --git a/docs/application/type.md b/docs/application/type.md
index 3a831b2..796d848 100644
--- a/docs/application/type.md
+++ b/docs/application/type.md
@@ -47,11 +47,15 @@ typedef struct _kpl_type {
kpl_native_id native_id;
int8_t process_state_id; // -1 not used
uint16_t tree_weight;
- struct _kpl_type *function;
+ struct _kpl_type *list;
} var;
} meta;
_Atomic ssize_t ref_count;
- struct _kpl_type *prev, *next, *parent;
+ struct _kpl_type *prev, *next;
kpl_type_body body;
} kpl_type;
```
+
+# Type Matching
+
+For type checking and evaluation