Forbid protected types in elements or designated types.

1 files changed, 9 insertions, 1 deletions

diff --git a/src/vhdl/sem_types.adb b/src/vhdl/sem_types.adb
index 8cf5265..e626fb1 100644
--- a/src/vhdl/sem_types.adb
+++ b/src/vhdl/sem_types.adb
@@ -480,7 +480,10 @@ package body Sem_Types is
       case Get_Kind (El_Type) is
          when Iir_Kind_File_Type_Definition =>
             Error_Msg_Sem
-              ("element of file type is not allowed in a composite type", Loc);
+              ("file type element not allowed in a composite type", Loc);
+         when Iir_Kind_Protected_Type_Declaration =>
+            Error_Msg_Sem
+              ("protected type element not allowed in a composite type", Loc);
          when others =>
             null;
       end case;
@@ -1074,6 +1077,11 @@ package body Sem_Types is
                --  LRM 3.3
                --  The designated type must not be a file type.
                Error_Msg_Sem ("designated type must not be a file type", Def);
+            when Iir_Kind_Protected_Type_Declaration =>
+               --  LRM02 3.3
+               --  [..] or a protected type.
+               Error_Msg_Sem
+                 ("designated type must not be a protected type", Def);
             when others =>
                null;
          end case;