summaryrefslogtreecommitdiff
path: root/docs/type_system
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system')
-rw-r--r--docs/type_system/enum.md2
-rw-r--r--docs/type_system/name.md2
-rw-r--r--docs/type_system/namespace.md2
-rw-r--r--docs/type_system/shared.md17
-rw-r--r--docs/type_system/var.md2
5 files changed, 8 insertions, 17 deletions
diff --git a/docs/type_system/enum.md b/docs/type_system/enum.md
index 6b06849..ebcaea6 100644
--- a/docs/type_system/enum.md
+++ b/docs/type_system/enum.md
@@ -12,5 +12,5 @@ Enum[TYPE; Collection[.symbol : Const[Value]]]
```text
E : Enum[I64; .a; .b; .c]
-`log E Enum[I64; .a : 0; .b : 1; .c : 2]
+`log E // Enum[I64; .a : 0; .b : 1; .c : 2]
```
diff --git a/docs/type_system/name.md b/docs/type_system/name.md
index 9d24f65..1b7c82c 100644
--- a/docs/type_system/name.md
+++ b/docs/type_system/name.md
@@ -3,7 +3,7 @@
---
```text
-Name_class `alias Enum[Void; .unknown; .data; .alias; .unique]
+Name_class `alias Enum[Void; .unknown; .is_type; .alias_type; .unique_type]
Name[Name_class; TYPE; NAME_IDENTIFIER]
```
diff --git a/docs/type_system/namespace.md b/docs/type_system/namespace.md
index 68a84b6..8879db4 100644
--- a/docs/type_system/namespace.md
+++ b/docs/type_system/namespace.md
@@ -4,7 +4,7 @@
```text
Namespace_class `alias Enum[Void; .native; .file]
-Namespace[Namespace_class; EXPORTS; PROCESS]
+Namespace[Namespace_class; NAMESPACE_IDENTIFIER]
```
A file with code
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md
index dd46afa..b6e9ded 100644
--- a/docs/type_system/shared.md
+++ b/docs/type_system/shared.md
@@ -3,22 +3,15 @@
---
```text
-Shared_collector `alias Enum[Void; .unknown; .counting; .tracing]
-Shared[Shared_collector; TYPE]
-
-Shared[TYPE] // Resolves to Shared[.unknown; TYPE]
+Shared[TYPE]
```
-# Garbage Collection Method
-
-## Unknown
-
-Counting or tracing will determined later on
+# Use in Asynchronous Functions
-## Counting
+# Garbage Collection
-## Tracing
+A tracing mark and sweep garbage collector is used
# Mutating
@@ -27,5 +20,5 @@ x : Shared[Array] $ (1; 2; 3)
^ x {[y]
y `push 4
}
-`log x // Shared[.counting; Array[I64]] $ (1; 2; 3; 4)
+`log x // Shared[Array[I64]] $ (1; 2; 3; 4)
```
diff --git a/docs/type_system/var.md b/docs/type_system/var.md
index 12ceace..1cab8ed 100644
--- a/docs/type_system/var.md
+++ b/docs/type_system/var.md
@@ -2,8 +2,6 @@
---
-A unique identifier
-
```text
Var_class `alias Enum[Void; .arg; .local; .loop; .match]