Corrected mutable binding

Purpose and outcome

The correction replaces دع / let with متغير / var. The program succeeds and returns 1 without output. Nonzero status is neither a source error nor a trap.

See Diagnostics and correction.

Arabic source

This is a supplied complete source. Opening creates a new draft; Run requires an explicit action.

دالة ابدأ_الرئيسية() -> ص64 {
    متغير قيمة = 0.
    قيمة = 1.
    أرجع قيمة.
}

{
  "browser": {
    "check": "success",
    "class": "success",
    "output": "",
    "processStatus": 1
  },
  "native": {
    "check": 0,
    "status": 1,
    "output": ""
  }
}

English source

This is a supplied complete source. Opening creates a new draft; Run requires an explicit action.

fn start_main() -> i64 {
    var value = 0;
    value = 1;
    return value;
}

{
  "browser": {
    "check": "success",
    "class": "success",
    "output": "",
    "processStatus": 1
  },
  "native": {
    "check": 0,
    "status": 1,
    "output": ""
  }
}

Check the result

The source card shows hosts, input, and expected outcomes from the canonical catalog. Reading language changes neither source nor result.