1 files changed, 14 insertions, 0 deletions
diff --git a/src/ortho/oread/tests/run_case7.on b/src/ortho/oread/tests/run_case7.on
new file mode 100644
index 000000000..708029c22
--- /dev/null
+++ b/src/ortho/oread/tests/run_case7.on
@@ -0,0 +1,14 @@
+type __ghdl_index_type is unsigned (32);
+type __ghdl_bool_type is boolean {false, true};
+
+public function main (a : __ghdl_index_type) return __ghdl_index_type
+declare
+  local var b : __ghdl_index_type;
+begin
+     case __ghdl_bool_type'(a > 10) is
+       when __ghdl_bool_type'[true] =>
+          b := 5;
+       when __ghdl_bool_type'[false] =>
+     end case;
+  return 5;
+end;