From 8b09343ad1c3028a5892b50a87236cc66c447636 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 18 May 2026 13:09:32 -0400 Subject: object type --- docs/type_system/index.md | 2 ++ docs/type_system/object.md | 8 ++++++++ docs/type_system/var.md | 2 +- mkdocs.yml | 1 + 4 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 docs/type_system/object.md diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 4116068..91c5c16 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -44,6 +44,8 @@ Denotes that a field that does not resolve to anything * #### [Union](./union.md) +* #### [Object](./object.md) + * #### [Shared](./shared.md) * #### [Error](./error.md) diff --git a/docs/type_system/object.md b/docs/type_system/object.md new file mode 100644 index 0000000..6a4ec75 --- /dev/null +++ b/docs/type_system/object.md @@ -0,0 +1,8 @@ +# Object + +--- + +A representation of a native object + +```text +Object[IDENTIFIER; INTERFACE_TABLE] diff --git a/docs/type_system/var.md b/docs/type_system/var.md index 6fe78c2..62a7331 100644 --- a/docs/type_system/var.md +++ b/docs/type_system/var.md @@ -7,5 +7,5 @@ A unique identifier ```text Var_class `alias Enum[.arg; .local; .loop; .match] -Var[Var_class; TYPE; Value[U64;...]] +Var[Var_class; TYPE; IDENTIFIER] ``` diff --git a/mkdocs.yml b/mkdocs.yml index 48a4b47..93b37bc 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -21,6 +21,7 @@ nav: - Map: 'type_system/map.md' - Queue: 'type_system/queue.md' - Union: 'type_system/union.md' + - Object: 'type_system/object.md' - Shared: 'type_system/shared.md' - Error: 'type_system/error.md' - Const: 'type_system/const.md' -- cgit v1.2.3