nomen-lang 0.7.1 → 0.9.0

package/core/System/int8.nm

@@ -2,6 +2,17 @@
  * An 8-bit signed integer
  **/
 pub struct int8: Stringable, Hashable, Equatable {
+
+	// The divisor contract (SPEC, Division and Modulo by Zero): scalar
+	// arithmetic lowers natively, so these declarations are the contract
+	// signatures the checker enforces at every `/` and `%` site.
+	func #op_div = (self, int8 divisor: divisor != 0, out int8) {
+		return self / divisor
+	}
+
+	func #op_mod = (self, int8 divisor: divisor != 0, out int8) {
+		return self % divisor
+	}
 	pub func hash = (self, out uint) {
 		return self as uint
 	}

package/core/System/uint.nm

@@ -2,6 +2,17 @@
  * An unsigned integer
  **/
 pub struct uint: Stringable, Hashable, Equatable {
+
+	// The divisor contract (SPEC, Division and Modulo by Zero): scalar
+	// arithmetic lowers natively, so these declarations are the contract
+	// signatures the checker enforces at every `/` and `%` site.
+	func #op_div = (self, uint divisor: divisor != 0, out uint) {
+		return self / divisor
+	}
+
+	func #op_mod = (self, uint divisor: divisor != 0, out uint) {
+		return self % divisor
+	}
 	pub func hash = (self, out uint) {
 		return self
 	}

package/core/System/uint16.nm

@@ -2,6 +2,17 @@
  * A 16-bit unsigned integer
  **/
 pub struct uint16: Stringable, Hashable, Equatable {
+
+	// The divisor contract (SPEC, Division and Modulo by Zero): scalar
+	// arithmetic lowers natively, so these declarations are the contract
+	// signatures the checker enforces at every `/` and `%` site.
+	func #op_div = (self, uint16 divisor: divisor != 0, out uint16) {
+		return self / divisor
+	}
+
+	func #op_mod = (self, uint16 divisor: divisor != 0, out uint16) {
+		return self % divisor
+	}
 	pub func hash = (self, out uint) {
 		return self as uint
 	}

package/core/System/uint32.nm

@@ -2,6 +2,17 @@
  * A 32-bit unsigned integer
  **/
 pub struct uint32: Stringable, Hashable, Equatable {
+
+	// The divisor contract (SPEC, Division and Modulo by Zero): scalar
+	// arithmetic lowers natively, so these declarations are the contract
+	// signatures the checker enforces at every `/` and `%` site.
+	func #op_div = (self, uint32 divisor: divisor != 0, out uint32) {
+		return self / divisor
+	}
+
+	func #op_mod = (self, uint32 divisor: divisor != 0, out uint32) {
+		return self % divisor
+	}
 	pub func hash = (self, out uint) {
 		return self as uint
 	}

package/core/System/uint64.nm

@@ -2,6 +2,17 @@
  * A 64-bit unsigned integer
  **/
 pub struct uint64: Stringable, Hashable, Equatable {
+
+	// The divisor contract (SPEC, Division and Modulo by Zero): scalar
+	// arithmetic lowers natively, so these declarations are the contract
+	// signatures the checker enforces at every `/` and `%` site.
+	func #op_div = (self, uint64 divisor: divisor != 0, out uint64) {
+		return self / divisor
+	}
+
+	func #op_mod = (self, uint64 divisor: divisor != 0, out uint64) {
+		return self % divisor
+	}
 	pub func hash = (self, out uint) {
 		return self as uint
 	}

package/core/System/uint8.nm

@@ -2,6 +2,17 @@
  * An 8-bit unsigned integer
  **/
 pub struct uint8: Stringable, Hashable, Equatable {
+
+	// The divisor contract (SPEC, Division and Modulo by Zero): scalar
+	// arithmetic lowers natively, so these declarations are the contract
+	// signatures the checker enforces at every `/` and `%` site.
+	func #op_div = (self, uint8 divisor: divisor != 0, out uint8) {
+		return self / divisor
+	}
+
+	func #op_mod = (self, uint8 divisor: divisor != 0, out uint8) {
+		return self % divisor
+	}
 	pub func hash = (self, out uint) {
 		return self as uint
 	}

package/core/docs/System/StringBuilder.md

@@ -8,5 +8,11 @@ A growable byte buffer for incrementally building strings (O(1) amortized append
 
 - `ensure(int needed)`
 - `append_char(char c)`
+- `append_int(int n)`
+- `append_float(float f)`
 - `append_string(string s)`
+- `append(view string s)`
+- `append(int n)`
+- `append(float f)`
+- `append(char c)`
 - `to_string() -> string`

package/core/docs/System/Text/JsonTree.md

@@ -2,12 +2,11 @@
 
 ## `struct JsonTree`
 
-A flat, buffer-backed pool of JSON tree nodes — the parsed representation `Json.parse` produces
+A flat, pool-backed set of JSON tree nodes — the parsed representation `Json.parse` produces
 
 **Members:**
 
 - `alloc_node() -> int`
-- `free_text(int idx)`
 - `reset()`
 - `set_text(int idx, string text)`
 - `set_kind(int idx, int val)`
@@ -16,6 +15,8 @@ A flat, buffer-backed pool of JSON tree nodes — the parsed representation `Jso
 - `set_val(int idx, int val)`
 - `get_kind(int idx) -> int`
 - `get_text(int idx) -> string`
+- `get_text_view(int idx) -> view string`
+- `take_text(int idx, ref StringBuilder sb)`
 - `get_child(int idx) -> int`
 - `get_next(int idx) -> int`
 - `get_val(int idx) -> int`