From 2170a860420b458c2a4daa32cf05fef5d3044226 Mon Sep 17 00:00:00 2001 From: Hadrien Renaud Date: Tue, 29 Oct 2024 15:39:50 +0000 Subject: [PATCH] [asl] fix a few error messages. --- asllib/error.ml | 34 +++++++------- asllib/tests/ASLSemanticsReference.t/run.t | 10 ++-- asllib/tests/division.t/run.t | 20 ++++---- asllib/tests/print.t | 2 +- asllib/tests/recursive.t/run.t | 8 ++-- asllib/tests/regressions.t/run.t | 40 ++++++++-------- asllib/tests/typing.t/run.t | 53 ++++++++++++---------- 7 files changed, 87 insertions(+), 80 deletions(-) diff --git a/asllib/error.ml b/asllib/error.ml index e43555e18..b217803c6 100644 --- a/asllib/error.ml +++ b/asllib/error.ml @@ -167,12 +167,12 @@ module PPrint = struct | UndefinedIdentifier s -> fprintf f "ASL Error: Undefined identifier:@ '%s'" s | MismatchedReturnValue s -> - fprintf f "ASL Error: Mismatched use of return value from call to '%s'" + fprintf f "ASL Error: Mismatched use of return value from call to '%s'." s | BadArity (name, expected, provided) -> fprintf f "ASL Error: Arity error while calling '%s':@ %d arguments expected \ - and %d provided" + and %d provided." name expected provided | NotYetImplemented s -> pp_print_text f @@ "ASL Internal error: Not yet implemented: " ^ s @@ -186,23 +186,23 @@ module PPrint = struct (pp_comma_list pp_type_desc) expected | AssertionFailed e -> - fprintf f "ASL Execution error: Assertion failed:@ %a" pp_expr e + fprintf f "ASL Execution error: Assertion failed:@ %a." pp_expr e | CannotParse -> pp_print_string f "ASL Error: Cannot parse." | UnknownSymbol -> pp_print_string f "ASL Error: Unknown symbol." | NoCallCandidate (name, types) -> fprintf f "ASL Typing error: No subprogram declaration matches the \ - invocation:@ %s(%a)" + invocation:@ %s(%a)." name (pp_comma_list pp_ty) types | TooManyCallCandidates (name, types) -> fprintf f "ASL Typing error: Too many subprogram declaration match the \ - invocation:@ %s(%a)" + invocation:@ %s(%a)." name (pp_comma_list pp_ty) types | BadTypesForBinop (op, t1, t2) -> fprintf f "ASL Typing error: Illegal application of operator %s on types@ %a@ \ - and %a" + and %a." (binop_to_string op) pp_ty t1 pp_ty t2 | CircularDeclarations x -> fprintf f @@ -211,7 +211,7 @@ module PPrint = struct x | ImpureExpression e -> fprintf f - "ASL Typing error:@ a pure expression was expected,@ found@ %a" + "ASL Typing error:@ a pure expression was expected,@ found@ %a." pp_expr e | UnreconciliableTypes (t1, t2) -> fprintf f @@ -228,33 +228,33 @@ module PPrint = struct | BadReturnStmt None -> pp_print_text f "ASL Typing error: cannot return something from a procedure." - | UnexpectedSideEffect s -> fprintf f "Unexpected side-effect: %s" s - | UncaughtException s -> fprintf f "Uncaught exception: %s" s + | UnexpectedSideEffect s -> fprintf f "Unexpected side-effect: %s." s + | UncaughtException s -> fprintf f "Uncaught exception: %s." s | OverlappingSlices slices -> fprintf f "ASL Typing error:@ overlapping slices@ @[%a@]." pp_slice_list slices | BadLDI ldi -> fprintf f "Unsupported declaration:@ @[%a@]." pp_local_decl_item ldi | BadRecursiveDecls decls -> - fprintf f "ASL Typing error:@ multiple recursive declarations:@ @[%a@]" + fprintf f "ASL Typing error:@ multiple recursive declarations:@ @[%a@]." (pp_comma_list (fun f -> fprintf f "%S")) decls | UnrespectedParserInvariant -> fprintf f "Parser invariant broke." | ConstrainedIntegerExpected t -> fprintf f - "ASL Typing error:@ constrained@ integer@ expected,@ provided@ %a" + "ASL Typing error:@ constrained@ integer@ expected,@ provided@ %a." pp_ty t | ParameterWithoutDecl s -> fprintf f "ASL Typing error:@ explicit@ parameter@ %S@ does@ not@ have@ a@ \ - corresponding@ defining@ argument" + corresponding@ defining@ argument." s | BaseValueEmptyType t -> - fprintf f "ASL Typing error: base value of empty type %a" pp_ty t + fprintf f "ASL Typing error: base value of empty type %a." pp_ty t | BaseValueNonStatic (t, e) -> fprintf f - "ASL Typing error: base value of type %a containing non-static value \ - %a" + "ASL Typing error:@ base@ value@ of@ type@ %a@ containing@ \ + non-static@ value@ %a." pp_ty t pp_expr e | BadATC (t1, t2) -> fprintf f @@ -262,7 +262,7 @@ module PPrint = struct %a@ by@ %a." pp_ty t1 pp_ty t2 | SettingIntersectingSlices bitfields -> - fprintf f "ASL Typing error:@ setting@ intersecting@ bitfields@ [%a]" + fprintf f "ASL Typing error:@ setting@ intersecting@ bitfields@ [%a]." pp_bitfields bitfields | SetterWithoutCorrespondingGetter func -> let ret, args = @@ -272,7 +272,7 @@ module PPrint = struct in fprintf f "ASL Typing error:@ setter@ \"%s\"@ does@ not@ have@ a@ \ - corresponding@ getter@ of@ signature@ @[@[%a@]@ ->@ %a@]" + corresponding@ getter@ of@ signature@ @[@[%a@]@ ->@ %a@]." func.name (pp_comma_list pp_ty) args pp_ty ret | UnexpectedATC -> pp_print_text f "ASL Typing error: unexpected ATC." | BadReturnStmt (Some t) -> diff --git a/asllib/tests/ASLSemanticsReference.t/run.t b/asllib/tests/ASLSemanticsReference.t/run.t index f92b36164..ce10b1644 100644 --- a/asllib/tests/ASLSemanticsReference.t/run.t +++ b/asllib/tests/ASLSemanticsReference.t/run.t @@ -22,7 +22,7 @@ ASL Semantics Reference: File SemanticsRule.EBinopDIVBackendDefinedError.asl, line 4, characters 10 to 17: ASL Typing error: Illegal application of operator DIV on types integer {3} - and integer {0} + and integer {0}. [1] $ aslref --no-type-check SemanticsRule.EBinopDIVBackendDefinedError.asl File SemanticsRule.EBinopDIVBackendDefinedError.asl, line 4, @@ -35,7 +35,7 @@ ASL Semantics Reference: $ aslref SemanticsRule.ECondFALSE.asl $ aslref SemanticsRule.ECondUNKNOWN3or42.asl File SemanticsRule.ECondUNKNOWN3or42.asl, line 10, characters 9 to 13: - ASL Execution error: Assertion failed: (x == 3) + ASL Execution error: Assertion failed: (x == 3). [1] $ aslref SemanticsRule.ESlice.asl $ aslref SemanticsRule.ECall.asl @@ -50,13 +50,13 @@ ASL Semantics Reference: $ aslref SemanticsRule.EUnknownInteger0.asl $ aslref SemanticsRule.EUnknownInteger3.asl File SemanticsRule.EUnknownInteger3.asl, line 5, characters 9 to 13: - ASL Execution error: Assertion failed: (x == 3) + ASL Execution error: Assertion failed: (x == 3). [1] $ aslref SemanticsRule.EUnknownIntegerRange3-42-3.asl $ aslref SemanticsRule.EUnknownIntegerRange3-42-42.asl File SemanticsRule.EUnknownIntegerRange3-42-42.asl, line 5, characters 9 to 14: - ASL Execution error: Assertion failed: (x == 42) + ASL Execution error: Assertion failed: (x == 42). [1] $ aslref SemanticsRule.EPatternFALSE.asl $ aslref SemanticsRule.EPatternTRUE.asl @@ -157,7 +157,7 @@ ASL Semantics Reference: $ aslref SemanticsRule.SAssertOk.asl $ aslref SemanticsRule.SAssertNo.asl File SemanticsRule.SAssertNo.asl, line 4, characters 10 to 17: - ASL Execution error: Assertion failed: (42 == 3) + ASL Execution error: Assertion failed: (42 == 3). [1] $ aslref SemanticsRule.LEDiscard.asl $ aslref SemanticsRule.LDDiscard.asl diff --git a/asllib/tests/division.t/run.t b/asllib/tests/division.t/run.t index a2665d5d4..57944cf9d 100644 --- a/asllib/tests/division.t/run.t +++ b/asllib/tests/division.t/run.t @@ -8,7 +8,7 @@ Division by zero: constraints {0} would fail with op DIV, operation will always fail. File static-div-zero.asl, line 3, characters 19 to 26: ASL Typing error: Illegal application of operator DIV on types integer {6} - and integer {0} + and integer {0}. [1] $ aslref static-divrm-zero.asl @@ -16,7 +16,7 @@ Division by zero: constraints {0} would fail with op DIVRM, operation will always fail. File static-divrm-zero.asl, line 3, characters 19 to 28: ASL Typing error: Illegal application of operator DIVRM on types integer {6} - and integer {0} + and integer {0}. [1] $ aslref static-mod-zero.asl @@ -24,7 +24,7 @@ Division by zero: constraints {0} would fail with op MOD, operation will always fail. File static-mod-zero.asl, line 3, characters 19 to 26: ASL Typing error: Illegal application of operator MOD on types integer {6} - and integer {0} + and integer {0}. [1] Unsupported divisions (caught at type-checking time): @@ -34,7 +34,7 @@ Unsupported divisions (caught at type-checking time): constraints {(- 3)} would fail with op DIV, operation will always fail. File static-div-neg.asl, line 3, characters 19 to 27: ASL Typing error: Illegal application of operator DIV on types integer {6} - and integer {(- 3)} + and integer {(- 3)}. [1] $ aslref static-divrm-neg.asl @@ -42,7 +42,7 @@ Unsupported divisions (caught at type-checking time): constraints {(- 3)} would fail with op DIVRM, operation will always fail. File static-divrm-neg.asl, line 3, characters 19 to 29: ASL Typing error: Illegal application of operator DIVRM on types integer {6} - and integer {(- 3)} + and integer {(- 3)}. [1] $ aslref static-mod-neg.asl @@ -50,7 +50,7 @@ Unsupported divisions (caught at type-checking time): constraints {(- 3)} would fail with op MOD, operation will always fail. File static-mod-neg.asl, line 3, characters 19 to 27: ASL Typing error: Illegal application of operator MOD on types integer {6} - and integer {(- 3)} + and integer {(- 3)}. [1] $ aslref --no-exec static-div-undiv.asl @@ -58,21 +58,21 @@ Unsupported divisions (caught at type-checking time): constraints {(5 DIV 3)} would fail with op DIV, operation will always fail. File static-div-undiv.asl, line 3, characters 19 to 26: ASL Typing error: Illegal application of operator DIV on types integer {5} - and integer {3} + and integer {3}. [1] $ aslref --no-exec static-div-undiv-bis.asl File static-div-undiv-bis.asl, line 3, characters 11 to 18: All values in constraints {(1 DIV 2)} would fail with op DIV, operation will always fail. File static-div-undiv-bis.asl, line 3, characters 11 to 18: ASL Typing error: Illegal application of operator DIV on types integer {1} - and integer {2} + and integer {2}. [1] $ aslref static-div-undiv-bis.asl File static-div-undiv-bis.asl, line 3, characters 11 to 18: All values in constraints {(1 DIV 2)} would fail with op DIV, operation will always fail. File static-div-undiv-bis.asl, line 3, characters 11 to 18: ASL Typing error: Illegal application of operator DIV on types integer {1} - and integer {2} + and integer {2}. [1] $ aslref --no-exec static-div-undiv-ter.asl File static-div-undiv-ter.asl, line 4, characters 10 to 17: @@ -155,7 +155,7 @@ Other polynomial equations: $ aslref rat-poly-00.asl File rat-poly-00.asl, line 15, characters 9 to 19: ASL Typing error: Illegal application of operator == on types bits((7 DIV 2)) - and bits(3) + and bits(3). [1] $ aslref rat-poly-01.asl diff --git a/asllib/tests/print.t b/asllib/tests/print.t index 5837596af..ad5a655cd 100644 --- a/asllib/tests/print.t +++ b/asllib/tests/print.t @@ -24,6 +24,6 @@ $ aslref printer2.asl File printer2.asl, line 2, characters 16 to 24: ASL Typing error: Illegal application of operator + on types integer {2} - and real + and real. [1] diff --git a/asllib/tests/recursive.t/run.t b/asllib/tests/recursive.t/run.t index 35f2aa62a..b2833936f 100644 --- a/asllib/tests/recursive.t/run.t +++ b/asllib/tests/recursive.t/run.t @@ -9,7 +9,7 @@ $ aslref double-recursive-constant.asl File double-recursive-constant.asl, line 2, characters 0 to 19: - ASL Typing error: multiple recursive declarations: "y", "x" + ASL Typing error: multiple recursive declarations: "y", "x". [1] $ aslref recursive-type.asl @@ -19,17 +19,17 @@ $ aslref double-recursive-types.asl File double-recursive-types.asl, line 2, characters 0 to 29: - ASL Typing error: multiple recursive declarations: "node", "tree" + ASL Typing error: multiple recursive declarations: "node", "tree". [1] $ aslref fn-val-recursive.asl File fn-val-recursive.asl, line 1, characters 0 to 17: - ASL Typing error: multiple recursive declarations: "f", "x" + ASL Typing error: multiple recursive declarations: "f", "x". [1] $ aslref type-val-recursive.asl File type-val-recursive.asl, line 3, characters 0 to 24: - ASL Typing error: multiple recursive declarations: "MyT", "x" + ASL Typing error: multiple recursive declarations: "MyT", "x". [1] $ aslref enum-fn-recursive.asl diff --git a/asllib/tests/regressions.t/run.t b/asllib/tests/regressions.t/run.t index e3ca503af..da3336873 100644 --- a/asllib/tests/regressions.t/run.t +++ b/asllib/tests/regressions.t/run.t @@ -49,7 +49,7 @@ Global ignored: $ aslref global_ignored.asl File global_ignored.asl, line 1, characters 8 to 13: ASL Typing error: Illegal application of operator / on types integer {3} - and integer {0} + and integer {0}. [1] Constrained-type satisfaction: @@ -208,7 +208,7 @@ Parameterized integers: $ aslref unreachable.asl File ASL Standard Library, line 321, characters 9 to 14: - ASL Execution error: Assertion failed: FALSE + ASL Execution error: Assertion failed: FALSE. [1] $ aslref assign-to-global-immutable.asl @@ -220,13 +220,13 @@ Parameterized integers: $ aslref bad-equality.asl File bad-equality.asl, line 3, characters 8 to 23: ASL Typing error: Illegal application of operator == on types - (integer {1}, integer {2}) and (integer {1}, integer {2}) + (integer {1}, integer {2}) and (integer {1}, integer {2}). [1] $ aslref setter_without_getter.asl File setter_without_getter.asl, line 1, character 0 to line 4, character 3: ASL Typing error: setter "f" does not have a corresponding getter of - signature integer -> integer + signature integer -> integer. [1] $ aslref tuple_items.asl @@ -242,7 +242,7 @@ Parameterized integers: $ aslref rdiv_checks.asl File rdiv_checks.asl, line 3, characters 12 to 25: - ASL Typing error: Illegal application of operator / on types real and string + ASL Typing error: Illegal application of operator / on types real and string. [1] $ aslref record-getfields.asl @@ -265,19 +265,19 @@ Arrays indexed by enumerations Parameters bugs: $ aslref bug1.asl File bug1.asl, line 5, characters 21 to 29: - ASL Typing error: constrained integer expected, provided integer + ASL Typing error: constrained integer expected, provided integer. [1] $ aslref bug2.asl - ASL Typing error: constrained integer expected, provided integer + ASL Typing error: constrained integer expected, provided integer. [1] $ aslref bug3.asl File bug3.asl, line 4, characters 10 to 18: - ASL Typing error: constrained integer expected, provided integer + ASL Typing error: constrained integer expected, provided integer. [1] $ aslref bug4.asl File bug4.asl, line 5, characters 11 to 31: ASL Typing error: Illegal application of operator OR on types bits(3) - and bits(4) + and bits(4). [1] $ aslref arg-as-param-call.asl File arg-as-param-call.asl, line 8, characters 4 to 21: @@ -319,11 +319,11 @@ Required tests: $ aslref concat03.asl $ aslref constrained-integer-types-example.asl File constrained-integer-types-example.asl, line 59, characters 10 to 18: - ASL Typing error: base value of type bits(w1) containing non-static value w1 + ASL Typing error: base value of type bits(w1) containing non-static value w1. [1] $ aslref constrained-types-example.asl File constrained-types-example.asl, line 8, characters 11 to 18: - ASL Typing error: base value of type bits(M) containing non-static value M + ASL Typing error: base value of type bits(M) containing non-static value M. [1] $ aslref division.asl $ aslref exceptions.asl @@ -339,17 +339,17 @@ Required tests: $ aslref lexpr-concat.asl $ aslref --no-exec lexpr-concat-2.asl File lexpr-concat-2.asl, line 5, characters 13 to 25: - ASL Typing error: base value of type bits((4 * N)) containing non-static value ( - 4 * N) + ASL Typing error: base value of type bits((4 * N)) containing non-static + value (4 * N). [1] $ aslref masks.asl $ aslref more-assignments-examples.asl File more-assignments-examples.asl, line 15, characters 28 to 35: - ASL Typing error: base value of type bits(N) containing non-static value N + ASL Typing error: base value of type bits(N) containing non-static value N. [1] $ aslref more-invocation-examples.asl File more-invocation-examples.asl, line 29, characters 9 to 16: - ASL Typing error: base value of type bits(N) containing non-static value N + ASL Typing error: base value of type bits(N) containing non-static value N. [1] $ aslref named-types-example.asl $ aslref nested-bitfields.asl @@ -374,12 +374,14 @@ Required tests: Base values $ aslref base_values.asl File base_values.asl, line 5, characters 9 to 27: - ASL Typing error: base value of type integer {N..M, 42} containing non-static value N + ASL Typing error: base value of type integer {N..M, 42} containing non-static + value N. [1] $ aslref base_values_empty.asl File base_values_empty.asl, line 3, characters 9 to 23: - ASL Typing error: base value of type integer {N..M} containing non-static value N + ASL Typing error: base value of type integer {N..M} containing non-static + value N. [1] Empty getters/setters @@ -400,13 +402,13 @@ Empty getters/setters File empty-setter-nonempty-getter.asl, line 6, character 0 to line 9, character 3: ASL Typing error: setter "f1" does not have a corresponding getter of - signature -> integer + signature -> integer. [1] $ aslref nonempty-setter-empty-getter.asl File nonempty-setter-empty-getter.asl, line 6, character 0 to line 9, character 3: ASL Typing error: setter "f1" does not have a corresponding getter of - signature -> integer + signature -> integer. [1] $ aslref empty-setter-called-with-slices.asl File empty-setter-called-with-slices.asl, line 13, characters 2 to 6: diff --git a/asllib/tests/typing.t/run.t b/asllib/tests/typing.t/run.t index 4e93a449c..4baa6bccb 100644 --- a/asllib/tests/typing.t/run.t +++ b/asllib/tests/typing.t/run.t @@ -1,43 +1,44 @@ H Examples $ aslref --no-exec HExample1.asl File HExample1.asl, line 19, characters 17 to 29: - ASL Typing error: base value of type bits((8 * size)) containing non-static value ( - 8 * size) + ASL Typing error: base value of type bits((8 * size)) containing non-static + value (8 * size). [1] $ aslref --no-exec HExample2.asl $ aslref --no-exec HExample3.asl File HExample3.asl, line 6, characters 17 to 29: - ASL Typing error: base value of type bits((8 * size)) containing non-static value ( - 8 * size) + ASL Typing error: base value of type bits((8 * size)) containing non-static + value (8 * size). [1] $ aslref --no-exec HExample4.asl File HExample4.asl, line 6, characters 16 to 29: - ASL Typing error: base value of type bits((8 * bytes)) containing non-static value ( - 8 * bytes) + ASL Typing error: base value of type bits((8 * bytes)) containing non-static + value (8 * bytes). [1] $ aslref --no-exec HExample5.asl File HExample5.asl, line 24, characters 18 to 36: - ASL Typing error: base value of type bits((4 * size)) containing non-static value ( - 4 * size) + ASL Typing error: base value of type bits((4 * size)) containing non-static + value (4 * size). [1] $ aslref --no-exec HExample6.asl File HExample6.asl, line 5, characters 13 to 25: - ASL Typing error: base value of type bits(p2bits) containing non-static value p2bits + ASL Typing error: base value of type bits(p2bits) containing non-static value + p2bits. [1] $ aslref --no-exec HExample7.asl File HExample7.asl, line 4, characters 17 to 24: - ASL Typing error: base value of type bits(N) containing non-static value N + ASL Typing error: base value of type bits(N) containing non-static value N. [1] $ aslref --no-exec HExample8.asl $ aslref --no-exec HExample9.asl $ aslref --no-exec HExample10.asl $ aslref --no-exec HExample11.asl File HExample11.asl, line 7, characters 12 to 19: - ASL Typing error: base value of type bits(N) containing non-static value N + ASL Typing error: base value of type bits(N) containing non-static value N. [1] $ aslref --no-exec HExample12.asl File HExample12.asl, line 22, characters 12 to 19: - ASL Typing error: base value of type bits(x) containing non-static value x + ASL Typing error: base value of type bits(x) containing non-static value x. [1] $ aslref --no-exec HExample13.asl $ aslref --no-exec HExample15.asl @@ -118,11 +119,11 @@ Use of global vars in constraints [1] $ aslref --no-exec TNegative4.asl File TNegative4.asl, line 5, characters 25 to 41: - ASL Typing error: a pure expression was expected, found VAR_ALLOWED_NUMS + ASL Typing error: a pure expression was expected, found VAR_ALLOWED_NUMS. [1] $ aslref --no-exec TNegative4-bis.asl File TNegative4-bis.asl, line 5, characters 25 to 41: - ASL Typing error: a pure expression was expected, found VAR_ALLOWED_NUMS + ASL Typing error: a pure expression was expected, found VAR_ALLOWED_NUMS. [1] Asserted type conversions @@ -195,7 +196,7 @@ Bit vector widths defined by constrained integers [1] $ aslref --no-exec TNegative9-3.asl File TNegative9-3.asl, line 3, characters 26 to 34: - ASL Typing error: constrained integer expected, provided integer + ASL Typing error: constrained integer expected, provided integer. [1] $ aslref --no-exec TNegative9-4.asl File TNegative9-4.asl, line 3, characters 4 to 35: @@ -208,7 +209,7 @@ Symbolic execution of bit vector widths expressions $ aslref --no-exec TPositive10-1.asl $ aslref --no-exec TNegative10.asl File TNegative10.asl, line 8, characters 32 to 38: - ASL Typing error: a pure expression was expected, found widthN + ASL Typing error: a pure expression was expected, found widthN. [1] $ aslref --no-exec TNegative10-0.asl File TNegative10-0.asl, line 16, characters 4 to 53: @@ -278,19 +279,19 @@ Bit slice expressions $ aslref --no-exec TPositive15.asl $ aslref --no-exec TReconsider15.asl $ aslref --no-exec TNegative15-0.asl - ASL Typing error: constrained integer expected, provided integer + ASL Typing error: constrained integer expected, provided integer. [1] $ aslref --no-exec TNegative15-1.asl File TNegative15-1.asl, line 6, characters 36 to 37: - ASL Typing error: constrained integer expected, provided integer + ASL Typing error: constrained integer expected, provided integer. [1] $ aslref --no-exec TNegative15-2.asl File TNegative15-2.asl, line 6, characters 36 to 37: - ASL Typing error: constrained integer expected, provided integer + ASL Typing error: constrained integer expected, provided integer. [1] $ aslref --no-exec TNegative15-3.asl File TNegative15-3.asl, line 7, characters 20 to 28: - ASL Typing error: constrained integer expected, provided integer + ASL Typing error: constrained integer expected, provided integer. [1] C Tests @@ -308,7 +309,8 @@ C Tests $ aslref --no-exec CPositive4.asl $ aslref --no-exec CPositive5.asl File CPositive5.asl, line 4, characters 12 to 25: - ASL Typing error: base value of type integer {0..N} containing non-static value N + ASL Typing error: base value of type integer {0..N} containing non-static + value N. [1] $ aslref --no-exec CPositive6.asl $ aslref --no-exec CPositive7.asl @@ -357,15 +359,18 @@ C Tests [1] $ aslref --no-exec CNegative8.asl File CNegative8.asl, line 4, characters 12 to 25: - ASL Typing error: base value of type integer {0..N} containing non-static value N + ASL Typing error: base value of type integer {0..N} containing non-static + value N. [1] $ aslref --no-exec CNegative10.asl File CNegative10.asl, line 4, characters 12 to 25: - ASL Typing error: base value of type integer {0..N} containing non-static value N + ASL Typing error: base value of type integer {0..N} containing non-static + value N. [1] $ aslref --no-exec CNegative11.asl File CNegative11.asl, line 4, characters 11 to 24: - ASL Typing error: base value of type integer {0..N} containing non-static value N + ASL Typing error: base value of type integer {0..N} containing non-static + value N. [1] $ aslref --no-exec CNegative12.asl File CNegative12.asl, line 2, characters 56 to 57: