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 +- 3 files changed, 11 insertions(+), 1 deletion(-) create mode 100644 docs/type_system/object.md (limited to 'docs/type_system') 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] ``` -- cgit v1.2.3