Use Ada-like syntax for case ranges

Ref. #907
AdaCore · Jul 12, 2022 · a4fc8ca · a4fc8ca
1 parent 3e7568b
commit a4fc8ca
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/rflx/expression.py b/rflx/expression.py
@@ -2873,7 +2873,7 @@ def _check_integer(self) -> RecordFluxError:
                     ),
                     *[
                         (
-                            f"missing range {r[0]}-{r[1]}"
+                            f"missing range {r[0]} .. {r[1]}"
                             if r[0] != r[1]
                             else f"missing value {r[0]}",
                             Subsystem.MODEL,

diff --git a/tests/unit/expression_test.py b/tests/unit/expression_test.py
@@ -2595,7 +2595,7 @@ def test_case_invalid() -> None:
             location=Location((2, 2)),
         ),
         '^<stdin>:2:2: model: error: case expression does not cover full range of "P::Tiny"\n'
-        "<stdin>:1:2: model: info: missing range 2-3$",
+        "<stdin>:1:2: model: info: missing range 2 .. 3$",
     )
     assert_type_error(
         CaseExpr(