diff options
| -rw-r--r-- | docs/type_system/index.md | 2 | ||||
| -rw-r--r-- | docs/type_system/object.md | 8 | ||||
| -rw-r--r-- | docs/type_system/var.md | 2 | ||||
| -rw-r--r-- | mkdocs.yml | 1 |
4 files changed, 12 insertions, 1 deletions
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] ``` @@ -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' |