Reject an out-of-range literal
ASPL 0.7.0 · Current release
Complete source and a checked ASPL 0.7.0 outcome.
On this page
Purpose and outcome
This is an intentional checking failure. Literal 256 does not fit u8. Execution never starts; the reason is numeric-literal-out-of-range.
See Exact numeric family.
Arabic source
This is a supplied complete source. Opening creates a new draft; Run requires an explicit action.
Execution: Browser and native · ASPL 0.7.0
Prerequisites:
- No prior knowledge is required to open and check it.
Input: No input lines are required.
دالة ابدأ_الرئيسية() -> ص64 {
دع بايت: ط8 = 256.
أرجع 0.
}
Expected outcomes
{
"browser": {
"check": "source-error",
"class": "source-error",
"output": "",
"reason": "numeric-literal-out-of-range"
},
"native": {
"check": 1,
"status": 1,
"output": "",
"reason": "numeric-literal-out-of-range"
}
}English source
This is a supplied complete source. Opening creates a new draft; Run requires an explicit action.
Execution: Browser and native · ASPL 0.7.0
Prerequisites:
- No prior knowledge is required to open and check it.
Input: No input lines are required.
fn start_main() -> i64 {
let byte: u8 = 256;
return 0;
}
Expected outcomes
{
"browser": {
"check": "source-error",
"class": "source-error",
"output": "",
"reason": "numeric-literal-out-of-range"
},
"native": {
"check": 1,
"status": 1,
"output": "",
"reason": "numeric-literal-out-of-range"
}
}Check the result
The source card shows hosts, input, and expected outcomes from the canonical catalog. Reading language changes neither source nor result.