building integer

Author: takev

doc/language/builtin/int.md

@@ -0,0 +1,36 @@
+# Ranged integer
+
+The basic integer used in the language.
+
+```
+struct int[range : interval[long]] {
+    let N = make_number_of_digits(range, register_type)
+    let is_signed = range.low < 0
+    var _digits : array[register_type, N]
+}
+```
+
+```
+fn foo(x)
+{
+    return x * 2
+}
+
+var my_type = array[long, int[10..=12]];
+var foo = my_type();
+
+fn bar(x : int[5..=6]) {
+    foo[x * 2] = 42
+}
+
+var my_enum = enum {
+    red, green, blue
+};
+
+var my_color_table_type = my_type
+my_color_table_type.index_type = my_enum
+var my_color_table = my_color_table_type();
+my_color_table[red] = 5
+
+
+```

doc/language/builtin/interval.md

@@ -0,0 +1,10 @@
+# Interval
+
+```
+struct range[T : type] {
+    low : T
+    high : T
+};
+```
+
+A type performs interval arithmatic on numeric values.

doc/language/builtin/long.md

@@ -0,0 +1,21 @@
+# Long Integer
+
+A long integer is one that has a variable size.
+
+## Internal Representation
+
+```
+struct long {
+    _data : u64
+    _size : u32
+    _capacity : u32
+}
+```
+
+`_data` is a pointer to the a variable sized 2's compliment signed integer in
+native endian order. `_size` contains the number of 'digits' (a digit is
+an unsigned integer of the native register size). `_capacity` contains the
+number of bytes of the allocation.
+
+If `_capacity` is zero, then `_data` contains the integer itself SIO
+(Short Integer Optimization).