gh-9, gh-10: Add built-in tests to est.asmln, add DELETEFILE, fix doc\SPECIFICATION.html.

Fix minor error in SCAT.

Author: python-processing-unit

asm-lang.exe

@@ -558,31 +558,31 @@
 
 - `IN(ANY: value, TNS: tensor):INT` ; returns `1` if `value` is equal to any element of `tensor` (using the language's equality semantics), otherwise `0`.
 
-### 12.2 Arithmetic (`INT` only)
+### 12.2 Arithmetic (`INT` or `FLT`, no mixing)
 
-- `ADD(INT: a, INT: b):INT` ; a + b
+- `ADD(INT|FLT: a, INT|FLT: b):INT|FLT` ; a + b
 
-- `SUB(INT: a, INT: b):INT` ; a - b
+- `SUB(INT|FLT: a, INT|FLT: b):INT|FLT` ; a - b
 
-- `MUL(INT:a, INT:b):INT` ; a * b
+- `MUL(INT|FLT: a, INT|FLT: b):INT|FLT` ; a * b
 
-- `DIV(INT: a, INT: b):INT` ; floor(a / b)
+- `DIV(INT|FLT: a, INT|FLT: b):INT|FLT` ; floor(a / b)
 
-- `CDIV(INT: a, INT: b):INT` ; ceil(a / b)
+- `CDIV(INT|FLT: a, INT|FLT: b):INT|FLT` ; ceil(a / b)
 
-- `POW(INT: a, INT: b):INT` ; a ^ b
+- `POW(INT|FLT: a, INT|FLT: b):INT|FLT` ; a ^ b
 
 - `ROOT(INT|FLT: x, INT|FLT: n):INT|FLT` ; nth root of `x`. No mixing of `INT` and `FLT` is allowed. For `INT` arguments `n` must be non-zero; positive `n` returns the integer nth root (largest integer r with r^n <= x for x >= 0); negative `n` yields an integer result only for `x` equal to `1` or `-1` (reciprocal is integer), and `x < 0` requires odd `n`. For `FLT` arguments the result is `x^(1/n)` (negative `n` allowed); negative `x` is allowed only when `n` is an odd integer. Division by zero is an error.
 
-- `MOD(INT: a, INT: b):INT` ; remainder of a / b
+- `MOD(INT|FLT: a, INT|FLT: b):INT|FLT` ; remainder of a / b
 
-- `NEG(INT: a):INT` ; -a (additive inverse)
+- `NEG(INT|FLT: a):INT|FLT` ; -a (additive inverse)
 
-- `ABS(INT: a):INT` ; absolute value of a
+- `ABS(INT|FLT: a):INT|FLT` ; absolute value of a
 
-- `GCD(INT: a, INT: b):INT` ; greatest common divisor of a and b
+- `GCD(INT|FLT: a, INT|FLT: b):INT|FLT` ; greatest common divisor of a and b
 
-- `LCM(INT: a, INT: b):INT` ; least common multiple of a and b
+- `LCM(INT|FLT: a, INT|FLT: b):INT|FLT` ; least common multiple of a and b
 
 ### 12.3 Bitwise / Boolean
 
@@ -779,6 +779,8 @@
 
 - `EXISTFILE(STR: path):INT` — Returns `INT` 1 when a filesystem object exists at `path`, otherwise returns `INT` 0. The argument must be a `STR`.
 
+- `DELETEFILE(STR: path):INT` — Deletes the filesystem object at `path`. If no filesystem object exists at `path`, the interpreter raises a runtime error (rewrite: `DELETEFILE`). Permission errors and other filesystem failures also raise a runtime error (rewrite: `DELETEFILE`). On success `DELETEFILE` returns `INT` 1.
+
 ### 12.14 Symbol Freezing:
 
 - `FREEZE(SYMBOL: symbol):INT` — Marks the identifier `symbol` as frozen. The first argument must be an identifier (not a string literal). On success `FREEZE` returns `INT` 0. Once a binding is frozen, any attempt to reassign it (via `=` assignment) or to delete it (`DEL`) raises a runtime error (assign attempts signal rewrite: `ASSIGN`; deletion attempts signal rewrite: `DEL`). `FREEZE` locates the binding in the usual lexical environment chain and freezes that specific binding; if the identifier is undefined, the call raises a runtime error (rewrite: `FREEZE`).

docs/SPECIFICATION.html

@@ -549,6 +549,7 @@ def __init__(self) -> None:
         self._register_custom("READFILE", 1, 2, self._readfile)
         self._register_custom("BYTES", 1, 2, self._bytes)
         self._register_custom("WRITEFILE", 2, 3, self._writefile)
+        self._register_custom("DELETEFILE", 1, 1, self._deletefile)
         self._register_custom("EXISTFILE", 1, 1, self._existfile)
         self._register_custom("CL", 1, 1, self._cl)
         self._register_custom("EXIT", 0, 1, self._exit)
@@ -2865,6 +2866,26 @@ def _existfile(
         path = self._expect_str(args[0], "EXISTFILE", location)
         return Value(TYPE_INT, 1 if os.path.exists(path) else 0)
 
+    def _deletefile(
+        self,
+        interpreter: "Interpreter",
+        args: List[Value],
+        __: List[Expression],
+        ___: Environment,
+        location: SourceLocation,
+    ) -> Value:
+        path = self._expect_str(args[0], "DELETEFILE", location)
+        # If the path does not exist, signal an explicit runtime error.
+        if not os.path.exists(path):
+            raise ASMRuntimeError(f"DELETEFILE: '{path}' does not exist", location=location, rewrite_rule="DELETEFILE")
+        try:
+            # Attempt to remove the filesystem object. Use os.remove to
+            # fail on directories; caller must ensure target is a file.
+            os.remove(path)
+        except OSError as exc:
+            raise ASMRuntimeError(f"Failed to delete '{path}': {exc}", location=location, rewrite_rule="DELETEFILE")
+        return Value(TYPE_INT, 1)
+
     # Tensor helpers
     def _shape_from_tensor(self, tensor: Tensor, rule: str, location: SourceLocation) -> List[int]:
         if len(tensor.shape) != 1:
@@ -3384,8 +3405,8 @@ def _scatter(
             lo_raw = self._expect_int(pairs[axis, 0], "SCAT", location)
             hi_raw = self._expect_int(pairs[axis, 1], "SCAT", location)
             dim_len = dst.shape[axis]
-            lo = self._resolve_tensor_index(lo_raw, dim_len, "SCAT", location)
-            hi = self._resolve_tensor_index(hi_raw, dim_len, "SCAT", location)
+            lo = interpreter._resolve_tensor_index(lo_raw, dim_len, "SCAT", location)
+            hi = interpreter._resolve_tensor_index(hi_raw, dim_len, "SCAT", location)
             if lo > hi:
                 raise ASMRuntimeError("SCAT expects lo <= hi for each dimension", location=location, rewrite_rule="SCAT")
             span = hi - lo + 1