Add regression test

Ref. eng/recordflux/RecordFlux#1365
AdaCore · Apr 16, 2024 · 1ad99e0 · 1ad99e0
1 parent f65feae
commit 1ad99e0
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/tests/compilation/integration_test.py b/tests/compilation/integration_test.py
@@ -980,3 +980,22 @@ def test_session_comparing_opaque_values_in_comprehension(
         match=r"^<stdin>:22:17: model: error: comparisons of opaque fields not yet supported$",
     ):
         utils.assert_compilable_code_string(spec, tmp_path)
+
+
+def test_boolean_condition(tmp_path: Path) -> None:
+    spec = """\
+package Test is
+
+   type T is range 0 .. 127 with Size => 7;
+
+   type M is
+      message
+         A : Boolean;
+         B : T
+            then null
+               if A;
+      end message;
+
+end Test;
+    """
+    utils.assert_compilable_code_string(spec, tmp_path)