Test Files Created

min_repro.prox
 - Crashes consistently
test_simple.prox
 - Intermittent crashes
json_bench_fixed.prox
 - Attempted workaround (testing in progress)

Author: ProgrammerKR

benchmarks/macro/json_bench_fixed.prox

@@ -0,0 +1,141 @@
+// benchmarks/macro/json_bench.prox
+// Simulated JSON Parsing Benchmark - WORKAROUND using closure
+
+let GLOBAL_SRC = "";
+let GLOBAL_POS = 0;
+let GLOBAL_LEN = 0;
+let GLOBAL_QUOTE = "";
+
+class JsonParser {
+    init(inp) {
+        GLOBAL_SRC = inp;
+        GLOBAL_POS = 0;
+        GLOBAL_LEN = len(inp);
+        GLOBAL_QUOTE = substr("\"", 1, 1);
+    }
+    
+    peek() {
+        if (GLOBAL_POS >= GLOBAL_LEN) return "";
+        return substr(GLOBAL_SRC, GLOBAL_POS, 1);
+    }
+    
+    consume() {
+        if (GLOBAL_POS >= GLOBAL_LEN) return "";
+        let c = substr(GLOBAL_SRC, GLOBAL_POS, 1);
+        GLOBAL_POS = GLOBAL_POS + 1;
+        return c;
+    }
+    
+    parse() {
+        this.skipWhitespace();
+        let c = this.peek();
+        
+        if (c == "{") return this.parseObject();
+        if (c == "[") return this.parseArray();
+        if (c == GLOBAL_QUOTE) return this.parseString();
+        return this.parseString(); 
+    }
+    
+    skipWhitespace() {
+        while (GLOBAL_POS < GLOBAL_LEN) {
+            let c = this.peek();
+            if (c == " " || c == "\n" || c == "\t") {
+                this.consume();
+            } else {
+                return;
+            }
+        }
+    }
+    
+    parseObject() {
+        this.consume(); // {
+        let obj = {};
+        this.skipWhitespace();
+        
+        while (this.peek() != "}") {
+            if (this.peek() == "") break;
+            this.skipWhitespace();
+            let key = this.parseString();
+            this.skipWhitespace();
+            this.consume(); // :
+            this.skipWhitespace();
+            let val = this.parse();
+            
+            obj[key] = val;
+            
+            this.skipWhitespace();
+            if (this.peek() == ",") {
+                this.consume();
+            }
+        }
+        this.consume(); // }
+        return obj;
+    }
+    
+    parseArray() {
+        this.consume(); // [
+        let arr = [];
+        this.skipWhitespace();
+        
+        while (this.peek() != "]") {
+            if (this.peek() == "") break;
+            let val = this.parse();
+            push(arr, val);
+            
+            this.skipWhitespace();
+            if (this.peek() == ",") {
+                this.consume();
+            }
+        }
+        this.consume(); // ]
+        return arr;
+    }
+    
+    parseString() {
+        this.consume(); // "
+        let res = "";
+        while (true) {
+            let p = this.peek();
+            if (p == GLOBAL_QUOTE) break;
+            if (p == "") break;
+            
+            this.consume();
+            res = res + p;
+        }
+        this.consume(); // "
+        return res;
+    }
+}
+
+let QUOTE = substr("\"", 1, 1);
+let json_str_global = "";
+
+func main() {
+    let q = QUOTE;
+    
+    // Generate a large JSON-like string
+    json_str_global = "{" + q + "users" + q + ":[";
+    for (let i = 0; i < 500; i = i + 1) {
+        json_str_global = json_str_global + "{" + q + "id" + q + ":" + q + to_string(i) + q + "," + q + "name" + q + ":" + q + "User" + to_string(i) + q + "}";
+        json_str_global = json_str_global + ",";
+    }
+    // Remove trailing comma
+    json_str_global = substr(json_str_global, 0, len(json_str_global) - 1);
+    json_str_global = json_str_global + "]}";
+    
+    print("JSON Length: " + to_string(len(json_str_global)));
+    
+    let start = clock();
+    
+    let parser = JsonParser(json_str_global);
+    let res = parser.parse();
+    
+    let elapsed = clock() - start;
+    
+    // Check result
+    let users = res["users"];
+    print("Parsed " + to_string(len(users)) + " users");
+    print("Time: " + to_string(elapsed));
+}
+
+main();

min_repro.prox

@@ -0,0 +1,38 @@
+// Test with substr using this.pos
+class JsonParser {
+    init(inp) {
+        this.src = inp;
+        this.pos = 0;
+        this.len = len(inp);
+        this.quote = substr("\"", 1, 1);
+    }
+    
+    test() {
+        return substr(this.src, this.pos, 1);
+    }
+}
+
+let QUOTE = substr("\"", 1, 1);
+let json_str_global = "";
+
+func main() {
+    let q = QUOTE;
+    
+    // Generate the exact JSON string
+    json_str_global = "{" + q + "users" + q + ":[";
+    for (let i = 0; i < 500; i = i + 1) {
+        json_str_global = json_str_global + "{" + q + "id" + q + ":" + q + to_string(i) + q + "," + q + "name" + q + ":" + q + "User" + to_string(i) + q + "}";
+        json_str_global = json_str_global + ",";
+    }
+    // Remove trailing comma
+    json_str_global = substr(json_str_global, 0, len(json_str_global) - 1);
+    json_str_global = json_str_global + "]}";
+    
+    print("JSON Length: " + to_string(len(json_str_global)));
+    
+    let parser = JsonParser(json_str_global);
+    print("Parser created!");
+    print("First char: " + parser.test());
+}
+
+main();

repro_issue.prox

@@ -0,0 +1,13 @@
+
+func main() {
+    print("Testing to_string:");
+    let i = 0;
+    let result = to_string(i);
+    print("Type check - can concatenate?");
+    
+    // This is the pattern from line 116 of json_bench
+    let q = substr("\"", 1, 1);
+    let test = q + to_string(i) + q;
+    print("Success: " + test);
+}
+main();

test_simple.prox

@@ -0,0 +1,46 @@
+// Test with more methods like JsonParser
+class Test {
+    init(s) {
+        this.str = s;
+        this.pos = 0;
+        this.len = len(s);
+    }
+    
+    peek() {
+        if (this.pos >= this.len) return "";
+        return substr(this.str, this.pos, 1);
+    }
+    
+    consume() {
+        if (this.pos >= this.len) return "";
+        let c = substr(this.str, this.pos, 1);
+        this.pos = this.pos + 1;
+        return c;
+    }
+}
+
+func main() {
+    let q = substr("\"", 1, 1);
+    
+    // Build exact JSON string
+    let json_str = "{" + q + "users" + q + ":[";
+    for (let i = 0; i < 500; i = i + 1) {
+        json_str = json_str + "{" + q + "id" + q + ":" + q + to_string(i) + q + "," + q + "name" + q + ":" + q + "User" + to_string(i) + q + "}";
+        json_str = json_str + ",";
+    }
+    json_str = substr(json_str, 0, len(json_str) - 1);
+    json_str = json_str + "]}";
+    
+    print("JSON Length: " + to_string(len(json_str)));
+    
+    let t = Test(json_str);
+    print("Instance created");
+    
+    let c1 = t.peek();
+    print("Peek: " + c1);
+    
+    let c2 = t.consume();
+    print("Consumed: " + c2);
+}
+
+main();