a06303c58a58 — Leonard Ritter a month ago
* more additions to typeschema
1 files changed, 21 insertions(+), 1 deletions(-)

M testing/test_typeschema2.sc
M testing/test_typeschema2.sc +21 -1
@@ 389,15 389,35 @@ struct VM
     bit * count = unsigned integer
     (sign = bit, magnitude = bit * count) = signed integer
 
+
     tukan types:
 
     none
+        # 0 byte
     boolean
-    number #
+        # byte: false/true
+    number
+        # sign: i32
+        # exponent: i32
+        # data: u64 * ?
     string
+        # i8 * ?
     symbol
+        # i8 * ?
     function
     table
+        # tree or cons?
+        
+        content:
+            head: count, metatable
+                N x fields
+                    N x fields
+                        ...
+
+        type sig:
+            metatable
+            N x field types
+