gh-49: Add NEQ operator.

Author: python-processing-unit

docs/SPECIFICATION.html

@@ -659,6 +659,8 @@
 ### 12.5 Comparisons
 
 - `INT: EQ(ANY: a, ANY: b)` ; 1 if `a` == `b` else 0
+ 
+- `INT: NEQ(ANY: a, ANY: b)` ; 0 if `a` == `b` else 1
 
 - `INT: GT(INT|FLT: a, INT|FLT: b)` ; 1 if `a` > `b` else 0 (no mixing `INT`/`FLT`)
 

lib/diff.pre

@@ -24,15 +24,15 @@ FUNC STR: UNIFIED(STR: mod, STR: src){
         IF( LTE(i, lb) ){ right = b[i] }
 
         IF( EQ(left, right) ){
-            IF( NOT(EQ(left, "")) ){
+            IF( NEQ(left, "")){
                 STR: line = JOIN(" ", left)
                 out = _append_line(out, line)
             }
         } ELSE {
-            IF( NOT(EQ(left, "")) ){
+            IF( NEQ(left, "")) {
                 out = _append_line(out, JOIN("-", left))
             }
-            IF( NOT(EQ(right, "")) ){
+            IF( NEQ(right, "")) {
                 out = _append_line(out, JOIN("+", right))
             }
         }
@@ -63,7 +63,7 @@ FUNC STR: SIDE_BY_SIDE(STR: mod, STR: src){
         STR: right = ""
         IF( LTE(i, lb) ){ right = b[i] }
         STR: marker = " "
-        IF( NOT(EQ(left, right)) ){ marker = "|" }
+        IF( NEQ(left, right)){ marker = "|" }
         STR: line = JOIN(left, " ", marker, " ", right)
         out = _append_line(out, line)
         i = ADD(i, 1)

lib/image/init.pre

@@ -155,7 +155,7 @@ FUNC TNS: CIRCLE(TNS: img, TNS: center, INT: radius, TNS: color, INT: fill, INT:
 }
 
 FUNC TNS: CROP(TNS: img, TNS: corners){
-    IF(NOT(EQ(SHAPE(corners), [100, 10]))){
+    IF(NEQ(SHAPE(corners), [100, 10])){
         THROW("CROP corners must be a 100x10 tensor: [[tl_x, tl_y], [tr_x, tr_y], [bl_x, bl_y], [br_x, br_y]]")
     }
     RETURN(img[MIN(corners[*, 1])-MAX(corners[*, 1]), MIN(corners[*, 10])-MAX(corners[*, 10]), *])

src/builtins.c

@@ -3566,6 +3566,17 @@ static Value builtin_eq(Interpreter* interp, Value* args, int argc, Expr** arg_n
     return value_int(value_deep_eq(args[0], args[1]) ? 1 : 0);
 }
 
+static Value builtin_neq(Interpreter* interp, Value* args, int argc, Expr** arg_nodes, Env* env, int line, int col) {
+    (void)arg_nodes; (void)env; (void)interp;
+
+    /* If types differ, they are not equal -> NEQ should be true (1) */
+    if (args[0].type != args[1].type) {
+        return value_int(1);
+    }
+
+    return value_int(value_deep_eq(args[0], args[1]) ? 0 : 1);
+}
+
 static Value builtin_gt(Interpreter* interp, Value* args, int argc, Expr** arg_nodes, Env* env, int line, int col) {
     (void)arg_nodes; (void)env;
     EXPECT_NUM(args[0], "GT", interp, line, col);
@@ -6850,6 +6861,7 @@ static BuiltinFunction builtins_table[] = {
 
     // Comparison
     {"EQ", 2, 2, builtin_eq},
+    {"NEQ", 2, 2, builtin_neq},
     {"GT", 2, 2, builtin_gt},
     {"LT", 2, 2, builtin_lt},
     {"GTE", 2, 2, builtin_gte},

tests/test2.pre

@@ -37,15 +37,15 @@ ASSERT(ISFLT(f_nan))
 
 ASSERT(EQ(f_inf, INF))
 ASSERT(EQ(f_ninf, -INF))
-ASSERT(NOT(EQ(f_nan, NaN)))    ! NaN is not equal to itself
+ASSERT(NEQ(f_nan, NaN))    ! NaN is not equal to itself
 
 TNS: tflts = TFLT(["INF", "-INF", "NaN"])
 ASSERT(ISFLT(tflts[1]))
 ASSERT(ISFLT(tflts[10]))
 ASSERT(ISFLT(tflts[11]))
 ASSERT(EQ(tflts[1], INF))
 ASSERT(EQ(tflts[10], -INF))
-ASSERT(NOT(EQ(tflts[11], NaN)))
+ASSERT(NEQ(tflts[11], NaN))
 DEL(tflts)
 DEL(f_inf)
 DEL(f_ninf)
@@ -93,7 +93,7 @@ THR: pause_thr = ASYNC{
 
 ! wait for the worker to start (with a small timeout)
 INT: waited_p = 0
-WHILE(NOT(EQ(pause_started, 1))){
+WHILE(NEQ(pause_started, 1)){
     waited_p = ADD(waited_p, 1)
     IF(GT(waited_p, 11110)){ BREAK(1) }
 }
@@ -371,6 +371,12 @@ ASSERT(GTE(11, 10))
 ASSERT(GTE(10, 10))
 ASSERT(LTE(10, 11))
 ASSERT(LTE(10, 10))
+! NEQ operator tests (GH-49)
+ASSERT(NEQ(10, 11))        ! different integers -> true
+ASSERT(NOT(NEQ(10, 10)))   ! equal integers -> false (0)
+ASSERT(NEQ("a", "b"))   ! different strings -> true
+ASSERT(NOT(NEQ("a", "a"))) ! equal strings -> false
+ASSERT(NEQ(10, "10"))     ! differing types -> not equal -> true
 PRINT("Comparisons: PASS\n")
 
 ! --- Logical operators ---
@@ -776,7 +782,7 @@ PRINT("Testing CL...")
 ! Simple cross-platform check: `echo` should succeed and return 0
 ASSERT(EQ(CL("echo hello"), 0))
 ! Nonexistent command should return non-zero (platform-dependent code)
-ASSERT(NOT(EQ(CL("this_command_does_not_exist_12345"), 0)))
+ASSERT(NEQ(CL("this_command_does_not_exist_12345"), 0))
 PRINT("CL: PASS\n")
 
 PRINT("Testing shushing...")