From bb912b081ed339e4a5419bd3d2ffd7465f2f72d3 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 27 Jul 2026 17:17:56 -0400 Subject: bottom up redesign --- docs/type_system/generic.md | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 docs/type_system/generic.md (limited to 'docs/type_system/generic.md') diff --git a/docs/type_system/generic.md b/docs/type_system/generic.md deleted file mode 100644 index e028788..0000000 --- a/docs/type_system/generic.md +++ /dev/null @@ -1,33 +0,0 @@ -# Generic - ---- - -```text -Generic[[TYPE | SYMBOL] TARGET; Collection[VAR_TREE_LIST; TYPE.SYMBOL]] -``` - -## Type Body Object Definitions - -```c -typedef struct { - kpl_type *target, *var_tree, *var_list; - kpl_identifier identifier; -} kpl_type_body_generic; -``` - -# Example - -```text -ints : Set[I64] $ () -/* -ints -> Name[[DATA] Var[[LOCAL] Generic[[TYPE] REF_SET; Var[[GENERIC] REF_I64; T]; ints]; ints] -REF_SET -> Name[[ALIAS] Map[Generic[[SYMBOL] T]; Void]; Set] -REF_I64 -> Name[[Alias] Bit[[BIT64 | INT_SIGNED]]; I64] -*/ -floats : Array[F64] $ () -/* -floats -> Name[[DATA] Var[[LOCAL] Generic[[TYPE] REF_ARRAY; Var[[GENERIC] REF_F64; T]; floats]; floats] -REF_ARRAY -> Name[[ALIAS] Buffer[[TYPE] Generic[[SYMBOL]; T]; Array] -REF_F64 -> Name[[Alias] Bit[BIT64 | FLOAT]; F64] -*/ -``` -- cgit v1.2.3